Alonzo Church
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 mater | Princetonská univerzita (1920–1927) Harvardova univerzita (1927–1928) Univerzita v Göttingenu (1928) Amsterdamská univerzita (1929) |
Témata | matematická logika, teoretická informatika, matematika a logika |
Významná díla | Churchova-Turingova teze Church–Turing–Deutsch principle Frege–Church ontology Church–Rosser theorem Church–Turing theorem … více na Wikidatech |
Seznam děl v Souborné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.
- Seznam děl v Souborném katalogu ČR, jejichž autorem nebo tématem je Alonzo Church
Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty. |
Portály: Matematika