Чорч Алонзо
Матеріал з Вікіпедії — вільної енциклопедії.
Чорч Алонзо (Church, Alonzo) (14 червня 1903, Вашингтон, США - 11 серпня 1995, Хадсон, Огайо, США) - американський математик і логік.
Одержав ступінь бакалавра в Принстонському університеті в 1924 році, і кандидата в 1927 під керівництвом Освальда Веблена. Чорч став професором математики в Принстоні в 1929 році.
Прославився розробкою теорії лямбда-числень, яка слідувала за його знаменитою статтею 1936 року, у якій він показав існування т.зв. "нерозв'язних задач". Ця стаття передувала знаменитому дослідженню Алана Т'юринга на тему проблеми зависання, у якому також було продемонстроване існування задач, які не можуть бути розв'язані механічними способами. Згодом Чорч і Т'юринг показали, що лямбда-числення і машина Т'юринга мали однакові властивості, у такий спосіб доводячи, що різні "механічні процеси обчислень" могли мати однакові можливості. Ця робота була оформлена як теза Черча-Тьюринга.
Черч залишався професором математики у Принстоні до 1967 року, після чого він переїхав у Каліфорнію. Крім іншого, його система лямбда-числень лягла в основу функціональних мов програмування, зокрема сімейства Лісп (наприклад, Scheme).
| Це незавершена стаття про персоналії. Ви можете допомогти проекту, виправивши або дописавши її. |

