Чёрч, Алонзо: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
MisterXS (обсуждение | вклад) |
обновление данных |
||
Строка 1:
{{однофамильцы|Чёрч}}▼
{{Учёный
| Имя =
| Оригинал имени = {{lang-en|Alonzo Church}}
| Изображение =
| Ширина =
| Описание изображения =
| Гражданство = {{США}}
| Научная сфера = [[математика]], [[логика]]
Строка 19 ⟶ 14 :
| Награды и премии =
| Сайт =
▲}}{{однофамильцы|Чёрч}}
'''Алонзо Чёрч''' ({{lang-en|Alonzo Church}}; [[14 июня]] [[1903 год]]а, [[
Его отец был судьёй.
Чёрч прославился разработкой теории [[Лямбда-исчисление|лямбда-исчислений]], последовавшей за его знаменитой статьёй [[1936 год]]а, в которой он показал существование т. н. «неразрешимых задач» ([[теорема Чёрча — Тьюринга]])<ref>{{cite journal|last=Church|first=Alonzo|year=1936|title=An Unsolvable Problem of Elementary Number Theory|journal=American Journal of Mathematics|issue=58|pages=345–363|jstor=2371045|volume=58|doi=10.2307/2371045}}</ref>. Эта статья предшествовала знаменитому исследованию [[Алан Тьюринг|Алана Тьюринга]] на тему [[Проблема остановки|проблемы остановки]], в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и [[машина Тьюринга]] имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как [[тезис Чёрча — Тьюринга]].▼
Получил степень бакалавра искусств в [[Принстонский университет|Принстонском университете]] в 1924 году, и докторскую (Ph.D.) в 1927 году под руководством [[Освальд Веблен|Освальда Веблена]] за работу "Alternatives to Zermelo's Assumption". Два года он был нацисследовательским стипендиатом (National Research Fellow), год провёл в Гарварде, затем - в Геттингене и Амстердаме. С 1929 года ассистент-профессор математики в альма-матер, с 1939 года {{comm|доцент|ассоциированный профессор}}, с 1947 года профессор математики, с 1961 года профессор математики и философии.
Чёрч оставался профессором математики в Принстоне до [[1967 год]]а, после чего он переехал в [[Калифорния|Калифорнию]]. Помимо прочего, его система [[Лямбда-исчисление|лямбда-исчислений]] легла в основу [[Функциональное программирование|функциональных языков программирования]], в частности семейства [[Лисп]] (например, [[Scheme]]).▼
▲Чёрч прославился разработкой теории [[Лямбда-исчисление|лямбда-исчислений]], последовавшей за его знаменитой статьёй
== Произведения, переведенные на русский язык ==▼
▲
Чёрч оставался профессором в Принстоне до 1967 года, после чего он переехал в Калифорнию, где стал профессором в [[Калифорнийский университет в Лос-Анджелесе|ун-те в Лос-Анджелесе]] — до 1990 года. В 1992 году переехал в Хадсон, штат Огайо, где дожил свою жизнь.
Член НАН США (1978) и Американской академии искусств и наук, членкор Британской акад. (1966). Был удостоен почётных степеней альма-матер (1985) и др.
В 1926 году в Принстоне женился, трое детей.
* Введение в математическую логику. М., Издательство иностранной литературы, 1960.
== См. также ==
* [[Лямбда-исчисление]]
* [[Тезис Чёрча — Тьюринга]]
Строка 38 ⟶ 42 :
* [[Теорема Чёрча — Тьюринга]]
==
{{Примечания}}
* [http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Church.html]
{{Внешние ссылки}}
Строка 48 ⟶ 53 :
[[Категория:Математики по алфавиту]]
[[Категория:Математики XX века]]
[[Категория:Умершие 11 августа]]▼
[[Категория:Учёные в области информатики США]]
[[Категория:Выпускники Принстонского университета]]
[[Категория:Профессора Принстонского университета]]
[[Категория:Преподаватели Калифорнийского университета в Лос-Анджелесе]]
[[Категория:Члены и члены-корреспонденты Национальной академии наук США]]
[[Категория:Члены Американской академии искусств и наук]]
[[Категория:Члены-корреспонденты Британской академии]]
|