Alonzo Church
| Alonzo Church | |
| americký logik a filozof | |
| Narodenie | 14. jún 1903 Washington D.C., USA |
|---|---|
| Úmrtie | 11. august 1995 (92 rokov) Hudson, Ohio, USA |
| Alma mater | Princeton University |
Alonzo Church (* 14. jún 1903, Washington D.C., USA – † 11. august 1995, Hudson, Ohio) bol americký logik a filozof zodpovedný za niektoré základy teoretickej informatiky. Bol jedným z prvých systematických rozpracovateľov teórie algoritmov.
Narodil sa vo Washingtone. V roku 1924 získal bakalársky 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.
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 neskôr 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.
Dielo
- Introduction to Mathematical Logic, 1956
- The Calculi of Lambda-Conversion
- A Bibliography of Symbolic Logic
Externé odkazy
- Princeton University Library, Manuscripts Division, The Alonzo Church Papers, 1924–1995: finding aid.
- A bibliography of Church's reviews for The Journal of Symbolic Logic, with a link to each
Zdroj
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
|
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |