Alonzo Church
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.
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 |
Povolání | matematik, filozof, vysokoškolský učitel a informatik |
Alma mater |
Princetonská univerzita (od 1920) Harvardova univerzita (1927–1928) Univerzita v Göttingenu (od 1928) Amsterdamská univerzita (od 1929) |
Témata | matematická logika, teoretická informatika, matematika a logika |
Významná díla | Churchova-Turingova teze |
![]() | |
Některá data mohou pocházet z datové položky. Chybí svobodný obrázek. |
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.
- Seznam děl v Souborném katalogu ČR, jejichž autorem nebo tématem je Alonzo Church
Autoritní data: AUT: mzk2006354081 | GND: 119430223 | ISNI: 0000 0001 1003 8502 | LCCN: n83152979 | VIAF: 109830754 | WorldcatID: lccn-n83152979