Alonzo Church

Z Wikipedie, otevřené encyklopedie
Alonzo Church
Narození14. června 1903
Washington, D.C.
Úmrtí11. srpna 1995 (ve věku 92 let)
Hudson
Místo pohřbeníhřbitov v Princetonu (40°21′18″ s. š., 74°39′33″ z. d.)
Povolánímatematik, filozof, vysokoškolský učitel a informatik
Alma materPrincetonská univerzita (1920–1927)
Harvardova univerzita (1927–1928)
Univerzita v Göttingenu (1928)
Amsterdamská univerzita (1929)
Tématamatematická logika, teoretická informatika, matematika a logika
Významná dílaChurchova-Turingova teze
Church–Turing–Deutsch principle
Frege–Church ontology
Church–Rosser theorem
Church–Turing theorem
… více na Wikidatech
Seznam dělSouborném katalogu ČR
Některá data mohou pocházet z datové položky.
Chybí svobodný obrázek.

Alonzo Church (14. června 1903 Washington, D.C.11. srpna 1995 Hudson (Ohio)) byl americký matematik, logik a filozof. Byl jedním z prvních lidí zabývajících se teorií algoritmů. Narodil se ve Washingtonu a vystudoval na Princetonské univerzitě, kde se později stal i profesorem.

Je znám především díky svému lambda kalkulu, který popsal v roce 1936 ve článku ukazujícím existenci nerozhodnutelného problému. Na tento článek později navázal Alan Turing ve své práci o problému zastavení. Church pak společně s Turingem ukázal, že lambda kalkul (a další výpočetní modely) má výpočetní sílu Turingova stroje, což otevřelo cestu k Churchově–Turingově tezi.