Церковь Алонсо
Алонзо Чёрч (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]
В 1966 году он был избран членом-корреспондентом Британской академии (FBA). [16] в Американскую академию искусств и наук в 1967 году, в Национальную академию наук в 1978 году. [17]
Глубоко религиозный человек, Чёрч на протяжении всей жизни был членом пресвитерианской церкви. [18] Он умер 11 августа 1995 года в возрасте 92 лет. [19] Он похоронен на Принстонском кладбище . [20]
Математическая работа [ править ]
Черч известен следующими значительными достижениями:
- Его доказательство того, что проблема Entscheidungsproblem , которая требует процедуры решения для определения истинности произвольных утверждений в математической теории первого порядка , неразрешима . Это известно как теорема Чёрча . [21]
- Его изобретение лямбда-исчисления.
- Его использование лямбда-исчисления для доказательства арифметики Пеано . неразрешимости [11]
- Его формулировка того, что стало известно как тезис Чёрча-Тьюринга.
- Будучи одним из редакторов-основателей «Журнала символической логики» , редактировал его раздел обзоров в течение 43 лет с 1936 по 1979 год.
- Его авторство выдающегося учебника в области математической логики « Введение в математическую логику» . [22]
- Теорема Чёрча – Россера
Лямбда-исчисление появилось в его статье 1936 года, показывающей неразрешимость проблемы Entscheidungs. Этот результат предшествовал работе Алана Тьюринга над проблемой остановки , которая также продемонстрировала существование проблемы, неразрешимой механическими средствами. Услышав о работе Чёрча, Тьюринг позже в том же году поступил в Принстон под руководством Чёрча на степень доктора философии. [23] Затем Чёрч и Тьюринг показали, что лямбда-исчисление и машина Тьюринга, использованные в задаче остановки Тьюринга, были эквивалентны по возможностям, и впоследствии продемонстрировали множество альтернативных «механических процессов вычислений». Результатом этого стал тезис Чёрча-Тьюринга.
Попытки автоматического создания реализации контроллера на основе спецификаций берут начало в его идеях. [24]
Лямбда-исчисление повлияло на дизайн Lisp и языков функционального программирования в целом. названа Кодировка Чёрча в его честь.
В его честь в 2015 году Ассоциацией вычислительной техники, Специальной группой по интересам в области логики и вычислений ( ACM SIGLOG ), Европейской ассоциацией теоретической информатики (EATCS), Европейской ассоциацией была учреждена Премия Алонзо Черча за выдающийся вклад в логику и вычисления. по компьютерной логике ( EACSL ) и Общества Курта Гёделя (KGS). Награда присуждается за выдающийся вклад в эту область, опубликованный за последние 25 лет, и еще не должна быть признана посредством другой крупной награды, такой как Премия Тьюринга , Премия Парижа Канеллакиса или Премия Гёделя . [25] [26]
Философская работа [ править ]
![[икона]](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/20px-Wiki_letter_w_cropped.svg.png){kind=small} | Этот раздел нуждается в расширении . Вы можете помочь, добавив к нему . ( январь 2023 г. ) |
Разработка Чёрчем методологии, включающей логистический метод, его философская критика номинализма и защита реализма, его аргументация, ведущая к выводам о теории значения, а также детальное построение Фреге и Рассела интенсиональной логики — более чем достаточны, чтобы положить его высоко оценили среди самых важных философов этого столетия.
- К. Энтони Андерсон , докторант Церкви (1977). [27]
Чёрч также известен онтологией Фреге-Чёрча , которую он создал на основе философских идей Готтлоба Фреге .
Влияние [ править ]
За свою академическую карьеру Чёрч руководил 31 докторантом. [11] Многие из них сделали выдающуюся карьеру в области математики, информатики и других академических предметов, в том числе К. Энтони Андерсон, Питер Б. Эндрюс , Джордж А. Барнард , Дэвид Берлински , Уильям В. Бун , Мартин Дэвис , Альфред Л. Фостер , Леон Хенкин , Джон Дж. Кемени , Стивен К. Клини , Саймон Б. Кохен , Морис Л'Аббе , Исаак Малитц, Гэри Р. Мар , Майкл О. Рабин , Николас Решер , Хартли Роджерс-младший , Дж. Баркли Россер , Дана Скотт , Рэймонд Смалльян и Алан Тьюринг . [28]
Помимо тех, кем он непосредственно руководил, Черч также имел большое влияние на других математиков и ученых-компьютерщиков. Хаскелл Карри , который расширил идеи Чёрча концепцией каррирования , заявил, что один из его учебников, «Введение в математическую логику» (впервые опубликованный в 1944 году), был «написан с той тщательной точностью, которая характеризует работу автора в целом». [29]
Библиография [ править ]
Книги [ править ]
- Алонсо Чёрч, Введение в математическую логику (1944) ( ISBN 978-0-691-02906-1 ) [30]
- Алонзо Чёрч, Исчисления лямбда-конверсии (1941) ( ISBN 978-0-691-08394-0 ) [31]
- Алонсо Черч, Библиография символической логики, 1666–1935 ( ISBN 978-0-8218-0084-3 )
- К. Энтони Андерсон и Майкл Зелени (ред.), Логика, значение и вычисления: очерки памяти Алонсо Черча ( ISBN 978-1-4020-0141-3 )
- Тайлер Бердж и Герберт Эндертон (редакторы), Собрание сочинений Алонсо Чёрча (2019) (ISBN 978-0-262-02564-5) [32]
См. также [ править ]
- Принцип Чёрча – Тьюринга – Дойча
- Логика высшего порядка
- Список пионеров информатики
- Современный платонизм
- Универсальный набор
Примечания [ править ]
- ^ Боуэн, Джонатан П. (2019). «Влияние Алана Тьюринга: формальные методы и не только». В Боуэне, Джонатан П.; Лю, Чжимин ; Чжан, Зили (ред.). Инженерные надежные программные системы. СЭТСС 2018 (PDF) . Конспекты лекций по информатике . Том. 11430. Чам: Спрингер . стр. 202–235. дои : 10.1007/978-3-030-17601-3_5 . ISBN 978-3-030-17600-6 . S2CID 121295850 .
- ^ Дойч, Гарри; Маршалл, Оливер (2022 г.), «Церковь Алонзо» , в Залте, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (изд. Весна 2022 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 14 апреля 2022 г.
- ^ «Некролог: Церковь Алонзо» . Независимый . 22 октября 2011 г. Проверено 24 мая 2021 г.
- ^ Купер, С.Б. (2012). Избранные произведения А. М. Тьюринга: его творчество и влияние . Дж. ван Леувен. Уолтем, Массачусетс: Эльзевир. ISBN 978-0-12-387012-4 . OCLC 840569810 .
- ^ Банди, Чарльз С. (1902). «История Управления мирового судьи округа Колумбия» . Отчеты Исторического общества Колумбии, Вашингтон, округ Колумбия . 5 : 259–293. ISSN 0897-9049 . JSTOR 40066805 .
- ^ Коултер, Э. Мертон (1928). Студенческая жизнь на Старом Юге . Издательство Университета Джорджии. ISBN 9-780-8203-3199-7 .
- ^ «Церковь Алонсо» (PDF) . Открытая логика . 19 декабря 2022 г.
- ^ Школа для мальчиков Риджфилда, также известная как Школа Риджфилда, была частной школой, существовавшей с 1907 по 1938 год. См. Школа Риджфилда .
- ^ Черч, Алонсо (1924). «Единственность преобразования Лоренца». Американский математический ежемесячник . 31 (8): 376–382. дои : 10.1080/00029890.1924.11986368 . JSTOR 2298823 .
- ^ «Ранняя история вычислений в Принстоне» . Еженедельник выпускников Принстона . 04.04.2012 . Проверено 19 апреля 2020 г.
- ^ Jump up to: Перейти обратно: а б с «Черч Алонсо: жизнь и работа» (PDF) . Архивировано из оригинала (PDF) 1 сентября 2012 года . Проверено 14 апреля 2022 г.
- ^ Черч, Алонсо (1962). «Логика, арифметика и автоматы» (PDF) . Материалы Международного конгресса математиков . стр. 23–35. Архивировано из оригинала (PDF) 28 декабря 2013 г.
- ^ «Почетные звания, присвоенные CWRU» . дело.edu . 06 февраля 2004 г. Архивировано из оригинала 10 сентября 2006 г.
- ^ «Почетные степени» . Принстонский университет . 30 декабря 2009 г. Архивировано из оригинала 7 февраля 2016 г.
{{cite web}}: CS1 maint: неподходящий URL ( ссылка ) - ^ «Присвоение почетной степени доктора наук Алонзо Черчу, 1990 г.» . Государственный университет Нью-Йорка в архивах Буффало . Архивировано из оригинала 17 октября 2013 г.
- ^ хотя некоторые источники говорят, что он был избран в Британскую академию в 1980 году, на самом деле он был избран в 1966 году. См.: «Профессор Алонзо Черч FBA» . Британская академия . и «Черч Алонсо: жизнь и работа» (PDF) . Архивировано из оригинала (PDF) 1 сентября 2012 г. Проверено 14 апреля 2022 г.
- ^ «Церковь Алонсо '24 *27» . Еженедельник выпускников Принстона . 21 января 2016 г. Проверено 14 апреля 2022 г.
- ^ «Введение в церковь Алонсо: жизнь и работа» (PDF) . п. 4. Архивировано из оригинала (PDF) 1 сентября 2012 года . Проверено 6 июня 2012 года .
Глубоко религиозный человек, он всю жизнь был членом пресвитерианской церкви.
- ^ Николас Уэйд (5 сентября 1995 г.). «Алонсо Чёрч, 92 года, теоретик пределов математики» . Нью-Йорк Таймс . п. Б6.
- ^ «Неразрешимость логики первого порядка» (PDF) .
- ^ Черч, А. (1936). «Неразрешимая проблема элементарной теории чисел». Американский журнал математики . 58 (2): 345–363. дои : 10.2307/2371045 . JSTOR 2371045 .
- ^ Черч, Алонзо (1996). Введение в математическую логику . Издательство Принстонского университета. ISBN 978-0-691-02906-1 .
- ^ Армстронг *14 апреля, Ц. «Церковь Алонзо» . Блог библиотеки рукописей Мадда . Проверено 14 апреля 2022 г.
{{cite web}}: CS1 maint: числовые имена: список авторов ( ссылка ) - ^ Лусио, Леви; Рахман, Салман; Ченг, Чи-Хонг; Мавин, Алистер (2017). «Достаточно формально? Автоматизированный анализ требований EARS» (PDF) . Конспекты лекций по информатике . Международное издательство Спрингер. стр. 427–434. дои : 10.1007/978-3-319-57288-8_31 . ISBN 978-3-319-57287-1 . ISSN 0302-9743 .
- ^ «Премия Алонзо Чёрча» . eatcs.org .
- ^ «Премия Алонзо Чёрча за выдающийся вклад в логику и вычисления 2019 — Специальная группа ACM по логике и вычислениям» . siglog.acm.org .
- ^ ( Андерсон 1998 )
- ^ «Проект математической генеалогии» . Архивировано из оригинала 4 августа 2010 года . Проверено 12 августа 2010 г.
- ^ «Алонсо Черч - Биография» . История математики .
- ^ Хенкин, Леон (1957). «Обзор: Введение в математическую логику Алонзо Чёрча» (PDF) . Бык. амер. Математика. Соц . 63 (5): 320–323. дои : 10.1090/s0002-9904-1957-10129-3 .
- ^ Фринк младший, Оррин (1944). «Обзор: Исчисления лямбда-преобразования Алонзо Чёрча» (PDF) . Бык. амер. Математика. Соц . 50 (3): 169–172. дои : 10.1090/s0002-9904-1944-08090-7 .
- ^ Бердж, Тайлер; Эндертон, Герберт, ред. (23 апреля 2019 г.). Собрание сочинений Алонсо Чёрча . Кембридж, Массачусетс, США: MIT Press. ISBN 978-0-262-02564-5 .
Ссылки [ править ]
- Эндертон, Герберт Б. , Алонсо Черч: жизнь и работа . Введение в Собрание сочинений Алонсо Чёрча , MIT Press, 2019.
- Эндертон, Герберт Б., Памяти: Алонсо Чёрч , Бюллетень символической логики , том. 1, нет. 4 (декабрь 1995 г.), стр. 486–488.
- Уэйд, Николас, Алонсо Чёрч, 92 года, теоретик пределов математики (некролог), The New York Times , 5 сентября 1995 г., стр. Б6.
- Ходжес, Уилфред , Некролог: Алонсо Чёрч , The Independent (Лондон) , 14 сентября 1995 г.
- Алонзо Черч дал интервью Уильяму Эспрею 17 мая 1984 года. Принстонское математическое сообщество в 1930-е годы: проект устной истории , стенограмма номер 5.
- Рота, Джан-Карло , Файн-Холл в его золотой век: Воспоминания о Принстоне начала пятидесятых . В веке математики в Америке, часть II , под редакцией Питера Дюрена, История математики AMS, том 2, Американское математическое общество, 1989, стр. 223–226. Также доступно здесь .
- Черч, А. (1950). «Об анализе Карнапом утверждений и убеждений». Журнал символической логики . 10 (5): 97–99. дои : 10.2307/3326684 . JSTOR 3326684 .
- Андерсон, К. Энтони (1998). «Вклад Алонзо Чёрча в философию и интенсиональную логику». Бюллетень символической логики . 4 (2): 129–171. CiteSeerX 10.1.1.26.7389 . дои : 10.2307/421020 . JSTOR 421020 . S2CID 18305417 .
Внешние ссылки [ править ]
- О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Черч Алонсо» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- Библиотека Принстонского университета, Отдел рукописей, Документы церкви Алонсо, 1924–1995: поиск помощи.
- Библиография рецензий Чёрча для «Журнала символической логики» со ссылками на каждую.
- Церковь Алонсо в Find a Grave
- Алонсо Чёрч, 92 года, теоретик пределов математики. New York Times. Некролог
- НЕКОРОЛ: Алонзо Чёрч из The Independent
- В память: Алонсо Чёрч (1903–1995) Ирвинга Х. Анеллиса , Modern Logic Vol. 5, № 4 (1995).
- В память: Алонсо Чёрч 1903–1995 , Х. Б. Эндертон, Бюллетень символической логики, том. 1, № 5 (1995).
- 1903 рождения
- 1995 смертей
- Американские математики XX века
- Американские логики
- Американские пресвитериане
- Теоретики вычислимости
- Выпускники Принстонского университета
- Выпускники Гарвардского университета
- Преподаватели Принстонского университета
- Калифорнийский университет, факультет Лос-Анджелеса
- Похороны на Принстонском кладбище
- Философы из Вашингтона, округ Колумбия
- Философы из Калифорнии
- Философы из Нью-Джерси
- Математики из Вашингтона, округ Колумбия
- Американские философы 20-го века
- Члены-корреспонденты Британской академии