Alonzo Church ( Washington, D.C. – 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.
Reference
Externí odkazy
Kategorie:Američtí matematici Kategorie:Američtí logici Kategorie:Američtí filozofové Kategorie:Matematici 20. století Kategorie:Filozofové 20. století Kategorie:Průkopníci počítačů Kategorie:Američtí presbyteriáni Kategorie:Pedagogové na Princetonské univerzitě Kategorie:Absolventi Princetonské univerzity Kategorie:Narození v roce 1903 Kategorie:Narození 14. června Kategorie:Narození ve Washingtonu, D.C. Kategorie:Úmrtí v roce 1995 Kategorie:Úmrtí 11. srpna Kategorie:Úmrtí v Ohiu Kategorie:Muži