Alonzo Church

Z Wikipédie

Alonzo Church (* 14. jún 1903 – † 11. august 1995) bol americký logik a filozof, zodpovedný za niektoré základy teoretickej informatiky. Bol jedným z prvých systematických rozpracúvateľov teórie algoritmov.

Narodil sa vo Washingtone. V roku 1924 získal bakalárky titul na Princetonskej univerzite, kde aj v roku 1927 pod Oswaldom Veblenom dokončil svoje PhD. Neskôr, v rokoch 1929-67, vyučoval v Princetone a v rokoch 1967-90 na Kalifornskej univerzite v Los Angeles. Zomrel v roku 1995 v Hudsone v Ohiu.

Je známy predovšetkým kvôli objavu λ-kalkulu, ktorý popísal v roku 1936 v članku ukazujúcom existenciu nerozhodnutelného problému. Na tento článok neskor naviazal Alan Turing v svojej práci o probléme zastavenia. Church spolu s Turingom dokázali, že λ-kalkul má výpočetnú silu Turingového stroja, čo otvorilo cestu k Church-Turingovej téze.

[úprava] Dielo

• Introduction to Mathematical Logic, 1956

[úprava] Externé odkazy

• FILIT Zdroj, z ktorého pôvodne čerpal tento článok