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.