stringtranslate.com

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

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

Жизнь

Алонзо Чёрч родился 14 июня 1903 года в Вашингтоне, округ Колумбия , где его отец, Сэмюэл Роббинс Чёрч, был мировым судьей [5] и судьей муниципального суда округа Колумбия. Он был внуком Алонсо Вебстера Черча (1829–1909), библиотекаря Сената США с 1881 по 1901 год, и правнуком Алонзо Черча , профессора математики и астрономии и шестого президента Университета Джорджии. [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]

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

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

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

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

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

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

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

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

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

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

-  К. Энтони Андерсон , докторант Церкви (1977) [27]

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

Влияние

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

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

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

Книги

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

Примечания

  1. ^ Боуэн, Джонатан П. (2019). «Влияние Алана Тьюринга: формальные методы и не только». В Боуэне, Джонатан П.; Лю, Чжимин ; Чжан, Зили (ред.). Инженерные надежные программные системы. СЭТСС 2018 (PDF) . Конспекты лекций по информатике . Том. 11430. Чам: Спрингер . стр. 202–235. дои : 10.1007/978-3-030-17601-3_5. ISBN 978-3-030-17600-6. S2CID  121295850.
  2. ^ Дойч, Гарри; Маршалл, Оливер (2022 г.), «Церковь Алонзо», в Залте, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (изд. Весна 2022 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 14 апреля 2022 г.
  3. ^ "НЕКОРОЛ: Церковь Алонзо" . Независимый . 22 октября 2011 г. Проверено 24 мая 2021 г.
  4. ^ Купер, SB (2012). Избранные произведения А. М. Тьюринга: его творчество и влияние. Дж. ван Леувен. Уолтем, Массачусетс: Эльзевир. ISBN 978-0-12-387012-4. ОСЛК  840569810.
  5. ^ Банди, Чарльз С. (1902). «История Управления мирового судьи округа Колумбия». Отчеты Исторического общества Колумбии, Вашингтон, округ Колумбия . 5 : 259–293. ISSN  0897-9049. JSTOR  40066805.
  6. ^ Коултер, Э. Мертон (1928). Студенческая жизнь на Старом Юге . Издательство Университета Джорджии. ISBN 9-780-8203-3199-7.
  7. ^ «Церковь Алонсо» (PDF) . Открытая логика . 19 декабря 2022 г.
  8. ^ Школа для мальчиков Риджфилда, также известная как Школа Риджфилда, была частной школой, существовавшей с 1907 по 1938 год. См. Школу Риджфилда.
  9. ^ Черч, Алонзо (1924). «Единственность преобразования Лоренца». Американский математический ежемесячник . 31 (8): 376–382. дои : 10.1080/00029890.1924.11986368. JSTOR  2298823.
  10. ^ «Ранняя история вычислений в Принстоне». Еженедельник выпускников Принстона . 04.04.2012 . Проверено 19 апреля 2020 г.
  11. ^ abc «Церковь Алонсо: жизнь и работа» (PDF) . Архивировано из оригинала (PDF) 1 сентября 2012 года . Проверено 14 апреля 2022 г.
  12. ^ Черч, Алонзо (1962). «Логика, арифметика и автоматы» (PDF) . Материалы Международного конгресса математиков . стр. 23–35. Архивировано из оригинала (PDF) 28 декабря 2013 г.
  13. ^ «Почетные звания, присвоенные CWRU» . дело.edu . 06 февраля 2004 г. Архивировано из оригинала 10 сентября 2006 г.
  14. ^ «Почетные степени». Университет Принстон . 30 декабря 2009 г. Архивировано из оригинала 7 февраля 2016 г.{{cite web}}: CS1 maint: неподходящий URL ( ссылка )
  15. ^ "Присвоение почетной степени доктора наук церкви Алонзо, 1990" . Государственный университет Нью-Йорка в архивах Буффало . Архивировано из оригинала 17 октября 2013 г.
  16. ^ хотя некоторые источники говорят, что он был избран в Британскую академию в 1980 году, на самом деле он был избран в 1966 году. См.: «Профессор Алонзо Черч FBA». Британская академия .и «Церковь Алонсо: жизнь и работа» (PDF) . Архивировано из оригинала (PDF) 1 сентября 2012 г. Проверено 14 апреля 2022 г.
  17. ^ "Церковь Алонсо '24 * 27" . Еженедельник выпускников Принстона . 21 января 2016 г. Проверено 14 апреля 2022 г.
  18. ^ «Введение в церковь Алонсо: жизнь и работа» (PDF) . п. 4. Архивировано из оригинала (PDF) 1 сентября 2012 года . Проверено 6 июня 2012 года . Глубоко религиозный человек, он всю жизнь был членом пресвитерианской церкви.
  19. ↑ Николас Уэйд (5 сентября 1995 г.). «Алонсо Черч, 92 года, теоретик пределов математики». Нью-Йорк Таймс . п. Б6.
  20. ^ «Неразрешимость логики первого порядка» (PDF) .
  21. ^ Черч, А. (1936). «Неразрешимая проблема элементарной теории чисел». Американский журнал математики . 58 (2): 345–363. дои : 10.2307/2371045. JSTOR  2371045.
  22. ^ Черч, Алонсо (1996). Введение в математическую логику . Издательство Принстонского университета. ISBN 978-0-691-02906-1.
  23. ^ Армстронг * 14 апреля C. «Церковь Алонзо». Блог библиотеки рукописей Мадда . Проверено 14 апреля 2022 г.{{cite web}}: CS1 maint: числовые имена: список авторов ( ссылка )
  24. ^ Лусио, Леви; Рахман, Салман; Ченг, Чи-Хонг; Мавин, Алистер (2017). «Достаточно формально? Автоматизированный анализ требований EARS» (PDF) . Конспекты лекций по информатике . Международное издательство Спрингер. стр. 427–434. дои : 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) . Бык. амер. Математика. Соц . 63 (5): 320–323. дои : 10.1090/s0002-9904-1957-10129-3 .
  31. ^ Фринк младший, Оррин (1944). «Обзор: Исчисления лямбда-преобразования Алонзо Чёрча» (PDF) . Бык. амер. Математика. Соц . 50 (3): 169–172. дои : 10.1090/s0002-9904-1944-08090-7 .
  32. ^ Бердж, Тайлер; Эндертон, Герберт, ред. (23 апреля 2019 г.). Собрание сочинений Алонсо Чёрча. Кембридж, Массачусетс, США: MIT Press. ISBN 978-0-262-02564-5.

Рекомендации

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