Наши проекты:

Про знаменитості

Алонзо Черч: біографія


Алонзо Черч біографія, фото, розповіді - видатний американський математик і логік, що вніс значний внесок в основи інформатики
-

видатний американський математик і логік, що вніс значний внесок в основи інформатики

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

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

Твори, перекладені на російську мову

  • Введення в математичну логіку. М., Видавництво іноземної літератури, 1960.

Комментарии

Сайт: Википедия