Имя латиницей: Church Alonzo
Пол: мужской
Дата
рождения:
14.06.1903
Место рождения: Вашингтон, США
Дата
смерти:
11.08.1995
Возраст
(92)
Место смерти: Хадсон, штат Огайо, США
Знак зодиака: Близнецы
По восточному: Кот
География:
США.
Ключевые слова:
знание, логик, математик, наука.
Anno: 1936
Алонзо ЧЕРЧ
американский логик, математик. Профессор Принстонского университета (1947-1967). С 1967 г. – профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 г. выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Черча): каждая эффективно вычислимая функция является общекурсивной. В 1935 г. привел пример неразрешимой массовой проблемы, а в 1966 г. доказал, что разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Сделал существенный вклад в развитие комбинаторной логики; ему принадлежат исследования в области логической семантики и модальной логики.