Алонзо Черч (14 июня 1903 г. - 11 августа 1995 г.) был американским математиком и логиком , внесшим большой вклад в математическую логику и основы теоретической информатики . Он наиболее известен лямбда-исчислением , тезисом Черча – Тьюринга , доказавшим неразрешимость проблемы Entscheidungsproblem , онтологией Фреге – Черча и теоремой Черча – Россера . Он также работал над философией языка (см., Например, Church 1970).
Жизнь [ править ]
Алонзо Черч родился 14 июня 1903 года в Вашингтоне, округ Колумбия , где его отец, Сэмюэл Роббинс Черч, был судьей муниципального суда округа Колумбия. Семья позже переехала в Вирджинию после того, как его отец потерял эту должность из-за ухудшения зрения. С помощью своего дяди, которого также звали Алонзо Черч, сын посещал частную школу для мальчиков Риджфилд в Риджфилде, штат Коннектикут . [2] После окончания Риджфилда в 1920 году Черч учился в Принстонском университете , где был отличным студентом. Он опубликовал свою первую статью о преобразованиях Лоренца и окончил ее в 1924 году со степенью математика. Он остался в Принстоне для работы в аспирантуре, получив степень доктора философии.по математике за три года под руководством Освальда Веблена .
Он женился на Мэри Джулии Кучински в 1925 году. У пары было трое детей: Алонзо Черч младший (1929), Мэри Энн (1933) и Милдред (1938).
После получения докторской степени он некоторое время преподавал в Чикагском университете в качестве инструктора . [3] Он получил двухлетнюю национальную исследовательскую стипендию, которая позволила ему поступить в Гарвардский университет в 1927–1928 годах, а также в Геттингенский и Амстердамский университет в следующем году.
Он преподавал философию и математику в Принстоне почти четыре десятилетия, с 1929 по 1967 год. Он преподавал в Калифорнийском университете в Лос-Анджелесе с 1967 по 1990 год. Он был пленарным спикером ICM в 1962 году в Стокгольме. [4]
Он получил почетные степени доктора наук в Университете Кейс Вестерн Резерв в 1969, [5] Принстонском университете в 1985, [6] и Университете Буффало, Государственном университете Нью-Йорка в 1990 году в связи с международным симпозиумом в его честь, организованном пользователя John Corcoran . [7]
Глубоко религиозный человек, Черч был пожизненным членом пресвитерианской церкви. [8] Он умер в 1995 году и был похоронен на Принстонском кладбище .
Математическая работа [ править ]
Церковь известна следующими значительными достижениями:
- Его доказательство того, что проблема Entscheidungsproblem , которая требует процедуры принятия решения для определения истинности произвольных предложений в математической теории первого порядка , неразрешима . Это известно как теорема Черча . [9]
- Его доказательство неразрешимости арифметики Пеано .
- Его формулировка того, что стало известно как тезис Черча – Тьюринга .
- Он был одним из основателей журнала Journal of Symbolic Logic , редактировав его раздел обзоров до 1979 года.
- Его изобретение лямбда-исчисления .
Лямбда-исчисление появилось в его статье 1936 года, показывающей неразрешимость Entscheidungsproblem. Этот результат предшествовал работе Алана Тьюринга над проблемой остановки , которая также продемонстрировала существование проблемы, неразрешимой механическими средствами. Затем Черч и Тьюринг показали, что лямбда-исчисление и машина Тьюринга, использованные в задаче остановки Тьюринга, эквивалентны по возможностям, и впоследствии продемонстрировали множество альтернативных «механических процессов для вычислений». Это привело к тезису Черча – Тьюринга.
Усилия по автоматическому созданию реализации контроллера из спецификаций исходят из его идей. [10]
Лямбда-исчисление повлияло на разработку языка программирования LISP и языков функционального программирования в целом. Кодирование Церковь названа в его честь.
В его честь награда Алонзо Черча за выдающийся вклад в логику и вычисления была учреждена в 2015 году Специальной группой по логике и вычислениям Ассоциации вычислительной техники ( ACM SIGLOG ), Европейской ассоциацией теоретической информатики (EATCS), Европейской ассоциацией. для логики компьютерных наук ( EACSL ) и Общества Курта Гёделя (KGS). Награда за выдающийся вклад в области , опубликованной в течение последних 25 лет и должно еще не получила признание через другую крупную награду, такие как Turing Award , в Kanellakis премии Парижа , или Гёделя премию . [11] [12]
Философская работа [ править ]
Разработка Черчем методологии, включающей логистический метод, его философская критика номинализма и его защита реализма, его аргументация, приводящая к выводам о теории значения, и подробное построение интенсиональной логики Фреге и Рассела более чем достаточно для того, чтобы разместить он занимал высокое положение среди самых важных философов этого века.
- К. Энтони Андерсон [13]
Студенты [ править ]
Многие из докторантов Черча сделали выдающуюся карьеру, в том числе К. Энтони Андерсон , Питер Б. Эндрюс , Джордж А. Барнард , Дэвид Берлински , Уильям У. Бун , Мартин Дэвис , Альфред Л. Фостер , Леон Хенкин , Джон Г. Кемени , Стивен К. Клини , Саймон Б. Кочен , Морис Л'Аббе , Исаак Малиц , Гэри Р. Мар , Майкл О. Рабин , Николас Решер , Хартли Роджерс младший , Дж. Баркли Россер, Дана Скотт , Раймонд Смуллян и Алан Тьюринг . [14] Более полный список студентов Черча доступен на сайте Mathematics Genealogy Project .
Книги [ править ]
- Алонзо Черч, Введение в математическую логику ( ISBN 978-0-691-02906-1 ) [15]
- Алонсо Чёрч, Исчисления лямбда-преобразования ( ISBN 978-0-691-08394-0 ) [16]
- Алонсо Черч, Библиография символической логики, 1666–1935 ( ISBN 978-0-8218-0084-3 )
- К. Энтони Андерсон и Майкл Зелени, (ред.), Логика, значение и вычисление: очерки памяти Алонсо Чёрча ( ISBN 978-1-4020-0141-3 )
См. Также [ править ]
- Принцип Черча – Тьюринга – Дойча
- Логика высшего порядка
- Список пионеров информатики
- Современный платонизм
- Универсальный набор
Примечания [ править ]
- ^ Боуэн, Джонатан П. (2019). «Влияние Алана Тьюринга: формальные методы и не только». В Bowen, Jonathan P .; Лю, Чжиминг ; Чжан, Зили (ред.). Разработка надежных программных систем. SETSS 2018 . Конспект лекций по информатике . 11430 . Чам: Спрингер . С. 202–235. DOI : 10.1007 / 978-3-030-17601-3_5 . ISBN 978-3-030-17600-6.
- ^ Школа Риджфилда для мальчиков, также известная как Школа Риджфилда, была частной школой, существовавшей с 1907 по 1938 год. См. Школа Риджфилда .
- ^ «Ранняя история вычислений в Принстоне» . Еженедельник выпускников Принстона . 2012-04-04 . Проверено 19 апреля 2020 .
- ^ Церковь, Алонзо. «Логика, арифметика и автоматы». Архивировано 28 декабря 2013 г. в Wayback Machine. В материалах Международного конгресса математиков , стр. 23–35. 1962 г.
- ^ "Почетные степени, присужденные Западным резервным университетом Кейса" . Архивировано из оригинала на 2013-10-01 . Проверено 1 июня 2012 .
- ^ Почетные степени , присвоенная Princeton University Архивированных 2016-02-07 в Wayback Machine
- ^ Поиск Помощь в почетной степени наделения доктора наук в Алонзо Черч, 1990
- ^ «Введение Алонсо Черч: жизнь и работа» (PDF) . п. 4. Архивировано из оригинального (PDF) 1 сентября 2012 года . Проверено 6 июня 2012 года .
Глубоко религиозный человек, он всю жизнь был членом пресвитерианской церкви.
- ↑ Чёрч, А. (1936). «Неразрешимая проблема элементарной теории чисел». Американский журнал математики . 58 (2): 345–363. DOI : 10.2307 / 2371045 . JSTOR 2371045 .
- ^ Достаточно формально? Автоматический анализ требований к EARS
- ^ Award Алонзо Чёрч
- ^ https://siglog.acm.org/alonzo-church-award-for-outstanding-contributions-to-logic-and-computation-2019/
- ^ ( Андерсон 1998 )
- ^ "Проект математической генеалогии" . Архивировано 4 августа 2010 года . Проверено 12 августа 2010 года .
- ^ Хенкин, Леон (1957). "Обзор: Введение в математическую логику Алонзо Черча" (PDF) . Бык. Амер. Математика. Soc . 63 (5): 320–323. DOI : 10,1090 / s0002-9904-1957-10129-3 .
- Перейти ↑ Frink Jr., Orrin (1944). "Обзор: исчисления лямбда-преобразования Алонсо Чёрчем" (PDF) . Бык. Амер. Математика. Soc . 50 (3): 169–172. DOI : 10.1090 / s0002-9904-1944-08090-7 .
Ссылки [ править ]
- Эндертон, Герберт Б. , Алонзо Черч: жизнь и работа . Введение в собрание сочинений Алонзо Черча , MIT Press, еще не опубликовано.
- Эндертон, Герберт Б., Памяти: Алонсо Черч , Бюллетень символической логики , т. 1, вып. 4 (декабрь 1995 г.), стр. 486–488.
- Уэйд, Николас, Алонзо Черч, 92, Теоретик пределов математики (некролог), The New York Times , 5 сентября 1995 г., стр. B6.
- Ходжес, Уилфред , Некролог: Алонзо Черч , Индепендент (Лондон) , 14 сентября 1995 г.
- Алонзо Черч взял интервью у Уильяма Аспрея 17 мая 1984 года . Математическое сообщество Принстона в 1930-е годы: проект устной истории , стенограмма № 5.
- Рота, Джан-Карло , Файн Холл в его золотой век: Воспоминания о Принстоне начала пятидесятых . В Век математики в Америке, часть II , под редакцией Питера Дюрен, AMS истории математики, том 2, Американского математического общества, 1989, стр. 223-226. Также доступно здесь .
- Чёрч, А. (1950). «Об анализе Карнапом утверждений и убеждений». Журнал символической логики . 10 (5): 97–99. DOI : 10.2307 / 3326684 . JSTOR 3326684 .
- Андерсон, К. Энтони (1998). «Вклад Алонзо Черча в философию и интеллектуальную логику». Вестник символической логики . 4 (2): 129–171. CiteSeerX 10.1.1.26.7389 . DOI : 10,2307 / 421020 . JSTOR 421020 .
- Вольфрам, Стивен (2002). Новый вид науки . Wolfram Media, Inc. стр. 1125. ISBN 1-57955-008-8.
Внешние ссылки [ править ]
- О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Алонзо Черч" , архив истории математики MacTutor , Университет Сент-Эндрюс.
- Библиотека Принстонского университета, Отдел рукописей, Документы церкви Алонзо, 1924–1995: поиск помощи.
- Библиография обзоров Черча на The Journal of Symbolic Logic, со ссылкой на каждый
- Церковь Алонсо в отеле Find a Grave
- Алонзо Черч, 92 года, некролог « Теоретик пределов математики» New York Times
- Некролог: Церковь Алонсо из The Independent
- Памяти: Церковь Алонсо (1903–1995) Ирвинга Х. Анеллиса, Modern Logic Vol. 5, № 4 (1995).
- In memoriam: Церковь Алонсо 1903–1995 гг. Х. Б. Эндертон, Бюллетень символической логики, том. 1, № 5 (1995).