Алонзо Черч (14 июня 1903 - 11 августа 1995) был американцем математиком и логиком, внесший большой вклад в математическую логику и основы теоретической информатики. Он наиболее известен своими лямбда-исчислением, тезисом Черча – Тьюринга, доказывающим неразрешимость Entscheidungsproblem, онтологии Фреге – Черча, и теорема Черча – Россера. Он также работал над философией языка (см., Например, Church 1970).
Алонзо Черч родился 14 июня 1903 года в Вашингтоне, округ Колумбия, где его отец, Сэмюэл Роббинс Черч, был судьей муниципального суда по делам округ Колумбия. Семья позже переехала в Вирджинию после того, как его отец потерял эту должность из-за ухудшения зрения. С помощью своего дяди, которого также звали Алонзо Черч, сын посещал частную школу для мальчиков Риджфилд в Риджфилде, Коннектикут. После окончания Риджфилда в 1920 году Черч поступил в Принстонский университет, где был отличным студентом. Он опубликовал свою первую статью о преобразованиях Лоренца и окончил ее в 1924 году со степенью математика. Он остался в Принстоне для работы в аспирантуре, получив докторскую степень математики за три года под Освальдом Вебленом.
Он женился на Мэри Джулии Кучински в 1925 году. У пары было трое детей, Алонзо Черч, Младший (1929), Мэри Энн (1933) и Милдред (1938).
После получения докторской степени он некоторое время преподавал в качестве инструктора в Чикагском университете. Он получил двухлетнюю национальную исследовательскую стипендию, которая позволила ему поступить в Гарвардский университет в 1927–1928 гг., А также в Университет Геттингена и Университет Амстердам в следующем году.
Он преподавал философию и математику в Принстоне почти четыре десятилетия, с 1929 по 1967 год. Он преподавал в Калифорнийском университете, Лос-Анджелес, 1967–1990. Он был пленарным спикером на ICM в 1962 году в Стокгольме.
Он получил почетную степень доктора наук в Западном резервном университете Кейса в 1969, Принстон. Университет в 1985 году и Университет в Буффало, Государственный университет Нью-Йорка в 1990 году в связи с международным симпозиумом в его честь, организованным Джоном Коркораном.
глубоко религиозным человеком Церковь была пожизненным членом пресвитерианской церкви. Он умер в 1995 году и был похоронен на Принстонском кладбище.
Церковь известна следующими значительными достижениями:
появилось лямбда-исчисление в своей статье 1936 года, показывающей неразрешимость Entscheidungsproblem. Этот результат предшествовал работе Алана Тьюринга над проблемой остановки, которая также продемонстрировала существование проблемы, которую нельзя решить механическими средствами. Затем Черч и Тьюринг показали, что лямбда-исчисление и машина Тьюринга, использованные в задаче остановки Тьюринга, эквивалентны по возможностям, и впоследствии продемонстрировали множество альтернативных «механических процессов для вычислений». Это привело к тезису Черча – Тьюринга.
Усилия по автоматической генерации реализации контроллера из спецификаций исходят из его идей.
Лямбда-исчисление повлияло на разработку языка программирования LISP и функционального программирования языков в целом. Кодировка Чёрча названа в его честь.
В его честь награда Алонзо Черча за выдающийся вклад в логику и вычисления была учреждена в 2015 году Специальной группой по логике и вычислениям Ассоциации вычислительной техники (ACM SIGLOG ), Европейская ассоциация теоретической информатики (EATCS), Европейская ассоциация логики компьютерных наук (EACSL ) и Общество Курта Гёделя (KGS). Награда присуждается за выдающийся вклад в эту область, опубликованную за последние 25 лет, и еще не получила признания в виде другой крупной награды, такой как Премия Тьюринга, Премия Париса Канеллакиса, или Премия Гёделя.
Разработка Черчем методологии, включающей логистический метод, его философская критика номинализма и его защита реализма, его аргументация, приводящая к выводам о теории значения, и Подробное построение фрегевской и расселлианской интенсиональной логики более чем достаточно, чтобы поставить его на первое место среди самых важных философов этого века.
— К. Энтони АндерсонМногие из докторантов Черча сделали выдающуюся карьеру, в том числе К. Энтони Андерсон, Питер Б. Эндрюс, Джордж А. Барнард, Дэвид Берлински, Уильям У. Бун, Мартин Дэвис, Альфред Л. Фостер, Леон Хенкин, Джон Г. Кемени, Стивен К. Клини, Саймон Б. Кочен, Морис Л'Аббе, Исаак Малиц, Гэри Р. Мар, Майкл О. Рабин, Николас Решер, Хартли Роджерс-младший, Дж. Баркли Россер, Дана Скотт, Раймонд Смаллиан и Алан Тьюринг. Более полный список учеников Черча доступен на сайте Mathematics Genealogy Project.