Досье личности

Ценность: 1,583 (12)

Симпатия: 1,583 (12)

дата обновления - 2007-07-30

просмотров - 2

ЧЕРЧ Алонзо

Имя латиницей: Church Alonzo

Пол: мужской

Дата рождения: 14.06.1903

Место рождения: Вашингтон, США

Дата смерти: 11.08.1995 Возраст (92)

Место смерти: Хадсон, штат Огайо, США

Знак зодиака: Близнецы

По восточному: Кот

География: США.

Ключевые слова: знание, логик, математик, наука.

Anno: 1936

Locus: Калифорнийский технологический институт, Принстонский университет.

Алонзо ЧЕРЧ

американский логик, математик. Профессор Принстонского университета (1947-1967). С 1967 г. – профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 г. выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Черча): каждая эффективно вычислимая функция является общекурсивной. В 1935 г. привел пример неразрешимой массовой проблемы, а в 1966 г. доказал, что разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Сделал существенный вклад в развитие комбинаторной логики; ему принадлежат исследования в области логической семантики и модальной логики.
Медиа (0)
Связи (3)
Источники (2)
Обсуждение
comments powered by HyperComments
Наверх

Вернуться