Церковь Алонсо - Alonzo Church

Церковь Алонсо
Церковь Алонсо.jpg
Церковь Алонсо (1903–1995)
Родился ( 1903-06-14 )14 июня 1903 г.
Умер 11 августа 1995 г. (1995-08-11)(92 года)
Гражданство Соединенные Штаты
Альма-матер Университет Принстона
Известен Лямбда-исчисление
Простое типизированное лямбда-исчисление,
кодирующее
теорему
Чёрча Ординал Чёрча – Клини
Тезис Чёрча – Тьюринга
Онтология Фреге – Чёрча
Теорема Чёрча – Россера
Интенсиональная логика
Научная карьера
Поля Математика , логика
Учреждения Принстонский университет (1929–67)
UCLA (1967–95)
Тезис Альтернативы предположению Цермело  (1927)
Докторант Освальд Веблен
Докторанты К. Энтони Андерсон 1977
Питер Эндрюс 1964
Биджан Арбаб 1988
Джордж Альфред Барнард 1936
Джеймс Беннетт 1962
Уильям У. Бун 1952
Энрике Бустаменте-Ллака 1944
Эдвард Чапин 1970
Дональд Коллинз 1967
Оберт Дайно 1959
Мартин Дэвис 1950
Уильям Истон 1964
Альфред Фостер 1930
Джеймс Гвардия 1961
Леон Хенкин 1947
Густав Хенсель 1963
Дэвид Каплан
Джон Джордж Кемени 1949
Стивен Коул Клини 1934
Саймон Б. Кочен 1959
Морис Л'Аббе 1951
Исаак (Ричард) Малиц 1976
Гэри Р. Мар 1985
Джеральд Мэсси 1964
Майкл О. Рабин 1957
Николас Решер 1951
Уэйн Рихтер 1963
Роберт Ричи 1960
Джоэл Роббин 1965
Хартли Роджерс-младший 1952
Дж. Баркли Россер 1934
Дана Скотт 1958
Норман Шапиро 1955
Раймонд Смаллиан 1959
Алан Тьюринг 1938
Роберт Уиндер 1962

Алонзо Черч (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 году в связи с международным симпозиумом в его честь, организованным Джоном Коркораном .

Глубоко религиозный человек, Черч был пожизненным членом пресвитерианской церкви. Он умер 11 августа 1995 года в возрасте 92 лет. Похоронен на Принстонском кладбище .

Математическая работа

Церковь известна следующими значительными достижениями:

Лямбда-исчисление появилось в его статье 1936 года, показывающей неразрешимость Entscheidungsproblem. Этот результат предшествовал работе Алана Тьюринга над проблемой остановки , которая также продемонстрировала существование проблемы, неразрешимой механическими средствами. Затем Черч и Тьюринг показали, что лямбда-исчисление и машина Тьюринга, использованные в проблеме остановки Тьюринга, эквивалентны по возможностям, и впоследствии продемонстрировали множество альтернативных «механических процессов для вычислений». Это привело к тезису Черча – Тьюринга.

Усилия по автоматическому созданию реализации контроллера из спецификаций исходят из его идей.

Лямбда-исчисление повлияло на разработку языка программирования LISP и языков функционального программирования в целом. Кодирование Церковь названа в его честь.

В его честь Премия Алонзо Черча за выдающийся вклад в логику и вычисления была учреждена в 2015 году Специальной группой по логике и вычислениям Ассоциации вычислительной техники ( ACM SIGLOG ), Европейской ассоциацией теоретической информатики (EATCS), Европейской ассоциацией. для компьютерной логики ( EACSL ) и Общества Курта Гёделя (KGS). Награда за выдающийся вклад в области , опубликованной в течение последних 25 лет и должно еще не получила признание через другую крупную награду, такие как Turing Award , в Kanellakis премии Парижа , или Гёделя премию .

Философская работа

Разработка Черчем методологии, включающей логистический метод, его философская критика номинализма и его защита реализма, его аргументация, приводящая к выводам о теории значения, а также подробное построение интенсиональной логики Фреге и Рассела более чем достаточно для того, чтобы разместить он занимал высокое положение среди самых важных философов этого века.

Студенты

Многие из докторантов Черча сделали выдающуюся карьеру, в том числе К. Энтони Андерсон , Питер Б. Эндрюс , Джордж А. Барнард , Дэвид Берлински , Уильям У. Бун , Мартин Дэвис , Альфред Л. Фостер , Леон Хенкин , Джон Г. Кемени , Стивен К. Клини , Саймон Б. Кочен , Морис Л'Аббе , Исаак Малиц , Гэри Р. Мар , Майкл О. Рабин , Николас Решер , Хартли Роджерс-младший , Дж. Баркли Россер , Дана Скотт , Раймонд Смоллиан и Алан Тьюринг . Более полный список студентов Черча доступен на сайте Mathematics Genealogy Project .

Книги

  • Алонзо Черч, Введение в математическую логику ( ISBN  978-0-691-02906-1 )
  • Церковь Алонсо, Исчисления лямбда-преобразования ( ISBN  978-0-691-08394-0 )
  • Алонсо Черч, Библиография символической логики, 1666–1935 ( ISBN  978-0-8218-0084-3 )
  • К. Энтони Андерсон и Майкл Зелени, (ред.), Логика, значение и вычисление: очерки памяти Алонсо Чёрча ( ISBN  978-1-4020-0141-3 )

Смотрите также

Примечания

использованная литература

внешние ссылки