stringtranslate.com

Церковь Алонзо

Алонзо Чёрч (14 июня 1903 — 11 августа 1995) — американский математик , учёный-компьютерщик , логик и философ , внёсший большой вклад в математическую логику и основы теоретической информатики . [2] Он наиболее известен благодаря лямбда-исчислению , тезису Чёрча — Тьюринга , доказывающему неразрешимость Entscheidungsproblem ( «проблемы принятия решений»), онтологией Фреге — Чёрча и теореме Чёрча — Россера . Вместе со своим аспирантом Аланом Тьюрингом Чёрч считается одним из основателей информатики . [3] [4]

Жизнь

Алонзо Чёрч родился 14 июня 1903 года в Вашингтоне, округ Колумбия , где его отец, Сэмюэл Роббинс Чёрч, был мировым судьей [5] и судьей муниципального суда округа Колумбия. Он был внуком Алонзо Уэбстера Чёрча (1829–1909), библиотекаря Сената США с 1881 по 1901 год, и правнуком Алонзо Чёрча , профессора математики и астрономии и 6-го президента Университета Джорджии. [6] Будучи маленьким мальчиком, Чёрч частично ослеп из-за несчастного случая с пневматическим ружьём. [7] Позже семья переехала в Вирджинию после того, как его отец потерял должность в университете из-за ухудшения зрения. С помощью своего дяди, которого также звали Алонзо Чёрч, сын посещал частную школу для мальчиков Риджфилд в Риджфилде, штат Коннектикут . [8] Окончив Риджфилд в 1920 году, Чёрч поступил в Принстонский университет, где был исключительным студентом. Он опубликовал свою первую работу о преобразованиях Лоренца [9] в 1924 году и в том же году окончил университет, получив степень по математике. Он остался в Принстоне для аспирантуры, получив степень доктора философии по математике за три года под руководством Освальда Веблена .

В 1925 году он женился на Мэри Джулии Кучински. У пары было трое детей: Алонзо-младший (1929), Мэри Энн (1933) и Милдред (1938).

Получив докторскую степень, он некоторое время преподавал в качестве преподавателя в Чикагском университете . [10] Он получил двухлетнюю Национальную исследовательскую стипендию , которая позволила ему посещать Гарвардский университет в 1927–1928 годах, а также Гёттингенский университет и Амстердамский университет в следующем году.

Он преподавал философию и математику в Принстоне в течение почти четырех десятилетий, с 1929 по 1967 год. Он занимал должность профессора философии и математики имени Флинта в Калифорнийском университете в Лос-Анджелесе с 1967 по 1990 год. [11] Он был пленарным докладчиком на ICM в 1962 году в Стокгольме. [12]

Он получил почетные степени доктора наук от Университета Кейс Вестерн Резерв в 1969 году, [13] Принстонского университета в 1985 году, [14] и Университета в Буффало, Университета штата Нью-Йорк в 1990 году в связи с международным симпозиумом в его честь, организованным Джоном Коркораном . [15]

В 1966 году он был избран членом-корреспондентом Британской академии (FBA), в 1967 году — Американской академии искусств и наук , в 1978 году — Национальной академии наук. [17]

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

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

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

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

Попытки автоматически генерировать реализацию контроллера из спецификаций берут начало в его идеях. [24]

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

В его честь в 2015 году Ассоциацией вычислительной техники была учреждена премия за выдающийся вклад в логику и вычисления ( ACM SIGLOG ), Европейской ассоциацией теоретической информатики (EATCS), Европейской ассоциацией логики компьютерных наук ( EACSL ) и Обществом Курта Гёделя (KGS). Премия присуждается за выдающийся вклад в эту область, опубликованный в течение последних 25 лет, и еще не получивший признания через другую крупную награду, такую ​​как премия Тьюринга , премия Парижа Канеллакиса или премия Гёделя . [25] [26]

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

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

—  К. Энтони Андерсон , докторант Чёрча (1977) [27]

Чёрч также известен своей онтологией Фреге–Чёрча , которую он создал на основе философских идей Готлоба Фреге .

Влияние

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

В дополнение к тем, кого он непосредственно курировал, Чёрч также оказал большое влияние на других математиков и компьютерных учёных. Хаскелл Карри , который расширил идеи Чёрча с помощью концепции каррирования , заявил, что один из его учебников, Введение в математическую логику (впервые опубликовано в 1944 году), был «написан с скрупулезной точностью, которая характеризует работу автора в целом». [29]

Библиография

Книги

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

Примечания

  1. ^ Боуэн, Джонатан П. (2019). «Влияние Алана Тьюринга: формальные методы и не только». В Боуэн, Джонатан П.; Лю, Чжимин ; Чжан, Цзыли (ред.). Разработка надежных программных систем. SETSS 2018 (PDF) . Конспект лекций по информатике . Том 11430. Cham: Springer . стр. 202–235. doi :10.1007/978-3-030-17601-3_5. ISBN 978-3-030-17600-6. S2CID  121295850.
  2. ^ Дойч, Гарри; Маршалл, Оливер (2022), «Alonzo Church», в Zalta, Edward N. (ред.), The Stanford Encyclopedia of Philosophy (весна 2022 г. ред.), Metaphysics Research Lab, Stanford University , получено 14 апреля 2022 г.
  3. ^ "НЕКРОЛОГ: Алонзо Чёрч". The Independent . 2011-10-22 . Получено 2021-05-24 .
  4. ^ Купер, СБ (2012). Избранные работы А. М. Тьюринга: его работа и влияние. J. van Leeuwen. Waltham, MA: Elsevier. ISBN 978-0-12-387012-4. OCLC  840569810.
  5. ^ Банди, Чарльз С. (1902). «История Управления мирового судьи в округе Колумбия». Записи Исторического общества Колумбии, Вашингтон, округ Колумбия . 5 : 259–293. ISSN  0897-9049. JSTOR  40066805.
  6. ^ Коултер, Э. Мертон (1928). Жизнь в колледже на Старом Юге . Издательство Университета Джорджии. ISBN 9-780-8203-3199-7.
  7. ^ "Алонзо Чёрч" (PDF) . Open Logic . 2022-12-19.
  8. ^ Школа Риджфилд для мальчиков, также известная как Школа Риджфилд, была частной школой, существовавшей с 1907 по 1938 год. См. Школа Риджфилд.
  9. ^ Чёрч, Алонзо (1924). «Уникальность преобразования Лоренца». The American Mathematical Monthly . 31 (8): 376–382. doi :10.1080/00029890.1924.11986368. JSTOR  2298823.
  10. ^ "Ранняя история вычислений в Принстоне". Princeton Alumni Weekly . 2012-04-04 . Получено 2020-04-19 .
  11. ^ abc "Alonzo Church: Life and Work" (PDF) . Архивировано из оригинала (PDF) 1 сентября 2012 года . Получено 2022-04-14 .
  12. ^ Чёрч, Алонзо (1962). "Логика, арифметика и автоматы" (PDF) . Труды Международного конгресса математиков . стр. 23–35. Архивировано из оригинала (PDF) 2013-12-28.
  13. ^ "Почетные степени, присужденные CWRU". case.edu . 2004-02-06. Архивировано из оригинала 2006-09-10.
  14. ^ "Почетные степени". Принстонский университет . 2009-12-30. Архивировано из оригинала 2016-02-07.{{cite web}}: CS1 maint: неподходящий URL ( ссылка )
  15. ^ "Присуждение почетной степени доктора наук Алонзо Чёрчу, 1990". Архивы Государственного университета Нью-Йорка в Буффало . Архивировано из оригинала 2013-10-17.
  16. ^ хотя некоторые источники утверждают, что он был избран в Британскую академию в 1980 году, на самом деле он был избран в 1966 году. См.: "Профессор Алонзо Чёрч, FBA". Британская академия .и "Alonzo Church: Life and Work" (PDF) . Архивировано из оригинала (PDF) 2012-09-01 . Получено 2022-04-14 .
  17. ^ "Alonzo Church '24 *27". Princeton Alumni Weekly . 2016-01-21 . Получено 2022-04-14 .
  18. ^ "Введение в Церковь Алонзо: жизнь и работа" (PDF) . стр. 4. Архивировано из оригинала (PDF) 1 сентября 2012 г. Получено 6 июня 2012 г. Глубоко религиозный человек, он всю жизнь был членом пресвитерианской церкви.
  19. ↑ Николас Уэйд (5 сентября 1995 г.). «Алонзо Чёрч, 92, теоретик пределов математики». The New York Times . стр. B6.
  20. ^ «Неразрешимость логики первого порядка» (PDF) .
  21. ^ Чёрч, А. (1936). «Неразрешимая проблема элементарной теории чисел». American Journal of Mathematics . 58 (2): 345–363. doi :10.2307/2371045. JSTOR  2371045.
  22. ^ Чёрч, Алонзо (1996). Введение в математическую логику . Princeton University Press. ISBN 978-0-691-02906-1.
  23. ^ Армстронг *14, апрель C. "Alonzo Church". Блог библиотеки рукописей Мадда . Получено 14 апреля 2022 г.{{cite web}}: CS1 maint: числовые имена: список авторов ( ссылка )
  24. ^ Лусио, Леви; Рахман, Салман; Ченг, Чи-Хонг; Мавин, Алистер (2017). «Достаточно просто формально? Автоматизированный анализ требований EARS» (PDF) . Конспект лекций по информатике . Springer International Publishing. стр. 427–434. doi :10.1007/978-3-319-57288-8_31. ISBN 978-3-319-57287-1. ISSN  0302-9743.
  25. ^ "Премия Алонзо Чёрча". eatcs.org .
  26. ^ «Премия Алонзо Чёрча за выдающийся вклад в логику и вычисления 2019 года – Специальная группа по интересам ACM по логике и вычислениям». siglog.acm.org .
  27. ^ (Андерсон 1998)
  28. ^ "Проект генеалогии математики". Архивировано из оригинала 4 августа 2010 года . Получено 12 августа 2010 года .
  29. ^ "Алонзо Чёрч - Биография". История математики .
  30. ^ Хенкин, Леон (1957). "Обзор: Введение в математическую логику Алонзо Чёрча" (PDF) . Bull. Amer. Math. Soc . 63 (5): 320–323. doi : 10.1090/s0002-9904-1957-10129-3 .
  31. ^ Фринк-младший, Оррин (1944). «Обзор: исчисления лямбда-преобразования Алонзо Чёрча» (PDF) . Bull. Amer. Math. Soc . 50 (3): 169–172. doi : 10.1090/s0002-9904-1944-08090-7 .
  32. ^ Бердж, Тайлер; Эндертон, Герберт, ред. (2019-04-23). ​​Собрание сочинений Алонзо Чёрча. Кембридж, Массачусетс, США: MIT Press. ISBN 978-0-262-02564-5.

Ссылки

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