Чёрч
Выдающийся американский математик и логик, внесший значительный вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и кандидатскую в 1927 под руководством Освальда Веблена. ... стал профессором математики в Принстоне в 1929 году. (фамилия)