Чёрч, Алонзо: различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Pilot Ang (обсуждение | вклад) |
|||
| (не показано 5 промежуточных версий этого же участника) | |||
| Строка 28: | Строка 28: | ||
В 1926 году в Принстоне женился, трое детей. |
В 1926 году в Принстоне женился, трое детей. |
||
== Логика== |
|||
Чёрч исследовал проблемы логической [[семантика|семантики]] и [[математическая логика|математической логики]]. В 1935 году он построил первый пример неразрешимой массовой проблемы, которая состоит в требовании найти алгоритм для решения некоторой серии… «единичных» проблем. Массовая проблема не разрешима, если её решения, т.е. требуемого алгоритма, не существует». |
|||
Им также дано доказательство неразрешимости проблемы для узкого [[Логика второго порядка|исчисления предикатов]], т. е. доказательство того, что не существует [[алгоритм|алгоритма]], который по виду формулы этого исчисления определял бы, выражает эта формула общелогическую истину или нет. В своём «Введении в математическую логику», Чёрч разъяснил своё понимание метода математической логики, определил её первичные понятия и изложил исчисление высказываний, или [[логика высказываний|пропозициональное исчисление]], [[Лямбда-исчисление|функциональные исчисления]] первого порядка, чистое функциональное исчисление первого порядка и функциональные исчисления второго порядка. Чёрч даёт определение таких категорий как имя, константы и переменные функции, символы, связки, операторы, [[Квантор|кванторы]], [[проблема разрешения|проблема разрешения]], [[Формальная система|противоречивость и полнота системы аксиом]] и др. |
|||
; Произведения, переведенные на русский язык |
; Произведения, переведенные на русский язык |
||
Версия от 17:24, 30 октября 2020
| Алонзо Чёрч | |
|---|---|
| англ. Alonzo Church | |
 | |
| Дата рождения | 14 июня 1903[1][2][…] |
| Место рождения | |
| Дата смерти | 11 августа 1995[1][2][…] (92 года) |
| Место смерти | |
| Страна |
 США |
| Род деятельности | математик, философ, преподаватель университета, специалист в области информатики |
| Научная сфера | математика, логика |
| Место работы | Принстонский университет |
| Альма-матер | Принстонский университет |
| Учёная степень | доктор философии (1927) |
| Научный руководитель | Освальд Веблен |
| Ученики | Леон Хенкин |
 Произведения в Викитеке | |
Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
Получил степень бакалавра искусств в Принстонском университете в 1924 году, и докторскую (Ph.D.) в 1927 году под руководством Освальда Веблена за работу «Alternatives to Zermelo’s Assumption». Два года он был нацисследовательским стипендиатом (National Research Fellow), год провёл в Гарварде, затем — в Геттингене и Амстердаме. С 1929 года ассистент-профессор математики в альма-матер, с 1939 года доцент, с 1947 года профессор математики, с 1961 года профессор математики и философии.
Чёрч прославился разработкой теории лямбда-исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач» (теорема Чёрча — Тьюринга)[4]. Эта статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Чёрча — Тьюринга.
Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп (например, Scheme).
Чёрч оставался профессором в Принстоне до 1967 года, после чего он переехал в Калифорнию, где стал профессором в университете в Лос-Анджелесе — до 1990 года. В 1992 году переехал в Хадсон, штат Огайо, где дожил свою жизнь.
Член НАН США (1978) и Американской академии искусств и наук, членкор Британской акад. (1966). Был удостоен почётных степеней альма-матер (1985) и др.
В 1926 году в Принстоне женился, трое детей.
Логика
Чёрч исследовал проблемы логической семантики и математической логики. В 1935 году он построил первый пример неразрешимой массовой проблемы, которая состоит в требовании найти алгоритм для решения некоторой серии… «единичных» проблем. Массовая проблема не разрешима, если её решения, т.е. требуемого алгоритма, не существует».
Им также дано доказательство неразрешимости проблемы для узкого исчисления предикатов, т. е. доказательство того, что не существует алгоритма, который по виду формулы этого исчисления определял бы, выражает эта формула общелогическую истину или нет. В своём «Введении в математическую логику», Чёрч разъяснил своё понимание метода математической логики, определил её первичные понятия и изложил исчисление высказываний, или пропозициональное исчисление, функциональные исчисления первого порядка, чистое функциональное исчисление первого порядка и функциональные исчисления второго порядка. Чёрч даёт определение таких категорий как имя, константы и переменные функции, символы, связки, операторы, кванторы, проблема разрешения, противоречивость и полнота системы аксиом и др.
- Произведения, переведенные на русский язык
- Введение в математическую логику. М., Издательство иностранной литературы, 1960.
См. также
- Лямбда-исчисление
- Тезис Чёрча — Тьюринга
- Функциональное программирование
- Теория вычислимости
- Теория алгоритмов
- Теорема Чёрча — Тьюринга
- Кодирование Чёрча
Примечания
- ↑ 1 2 Архив по истории математики Мактьютор — 1994.
- ↑ 1 2 Alonzo Church // Brockhaus Enzyklopädie (нем.)
- ↑ Introduction Alonzo Church: Life and Work
- ↑ Church, Alonzo. An Unsolvable Problem of Elementary Number Theory (англ.) // American Journal of Mathematics : journal. — 1936. — Vol. 58, no. 58. — P. 345—363. — doi:10.2307/2371045. — .
Ссылки
 | ||||
|---|---|---|---|---|
| Словари и энциклопедии | ||||
| Генеалогия и некрополистика | ||||
| ||||
- Родившиеся 14 июня
- Родившиеся в 1903 году
- Родившиеся в Вашингтоне
- Умершие 11 августа
- Умершие в 1995 году
- Умершие в Хадсоне (Огайо)
- Персоналии по алфавиту
- Учёные по алфавиту
- Логики США
- Математики США
- Математики по алфавиту
- Математики XX века
- Учёные в области информатики США
- Выпускники Принстонского университета
- Доктора философии
- Профессора Принстонского университета
- Преподаватели Калифорнийского университета в Лос-Анджелесе
- Члены Национальной академии наук США
- Члены Американской академии искусств и наук
- Члены-корреспонденты Британской академии