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

Ценность: 1 (11)

Симпатия: 1 (11)

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

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

ЧЕРЧ Алонзо

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

Пол: мужской

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

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

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

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

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

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

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

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

Ключевой год: 1936

Алонзо ЧЕРЧ

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