Alonzo Church

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
Povolání	matematik, filozof, vysokoškolský učitel a informatik
Alma mater	Harvardova univerzita; Princetonská univerzita
Témata	matematická logika a teoretická informatika
	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.

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	Harvardova univerzita Princetonská univerzita
Témata	matematická logika a teoretická informatika
Seznam děl v Souborném katalogu ČR
Některá data mohou pocházet z datové položky. Chybí svobodný obrázek.