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, počítačový vědec a logik |
| Stát | Spojené státy americké |
| Alma mater | Princetonská univerzita (1920–1927) Harvardova univerzita (1927–1928) Univerzita Georga Augusta 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 |
| Příbuzní | Alonzo Church (praděd) |
 Seznam děl: SKČR | Knihovny.cz | |
| 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
Kategorie:
- Američtí matematici
- Američtí logici
- Američtí filozofové
- Matematici 20. století
- Filozofové 20. století
- Průkopníci počítačů
- Američtí presbyteriáni
- Pedagogové na Princetonské univerzitě
- Absolventi Princetonské univerzity
- Narození v roce 1903
- Narození 14. června
- Narození ve Washingtonu, D.C.
- Úmrtí v roce 1995
- Úmrtí 11. srpna
- Úmrtí v Ohiu
