Алонзо Черч

Алонзо Черч
Роботи Черча відносяться до різних областей логіки. Він розвивав функціональний підхід в підставах математики, ввів поняття лямбда-оператора і лямбда-визначно, побудував варіант лямбда-числення.

Алонзо Черч народився 14 червня 1903 у Вашингтоні, США. Отримав ступінь бакалавра в Прінстонському університеті в 1924 році, і захистив кандидатську в 1927 році під керівництвом Освальда Веблена. У 1926 році Черч стає професором математики в Прінстоні.

З 1936 року Черч був також редактором журналу «The Journal of Symbolic Logic». У цей період він досліджує проблеми логічної семантики та математичної логіки. Приблизно в цей же час їм складена знаменита «Бібліографія математичної логіки», яка ставить собі за мету дати зведення всієї літератури з математичної логіки від часу зародження цієї науки до 1935 року включно.

Слава прийшла до Черче після розробки теорії лямбда -числень. Ця теорія послідувала за його знаменитою статтею 1936 року, в якій він показав існування так званих «нерозв'язних завдань». Стаття передувала знаменитому дослідженню Алана Тьюринга на тему проблеми зупинки, в якому також було продемонстровано існування задач, нерозв'язних механічними способами.

Згодом Черч і Тьюринг показали, що лямбда-числення і машина Тьюринга мали однакові властивості, таким чином доводячи, що різні «механічні процеси обчислень» могли мати однакові можливості. Ця робота була оформлена як теза Черча — Тьюринга.

Також Черу належить робота, в якій він довів, що дозволи проблема для числення предикатів нерозв'язна (1966). Ці результати мали великий вплив на розвиток математичної логіки. Істотний внесок Черча і в розвиток комбінаторної логіки: йому належать дослідження в області логічної семантики і модальної логіки.

Черч залишався професором математики в Прінстоні до 1967 року, після чого він переїхав до Каліфорнії. Крім іншого, його система лямбда-числень лягла в основу функціональних мов програмування, зокрема сімейства Лісп.

Помер Алонзо Черч 11 серпня 1995 року в Хадсон (Огайо , США).