Church, Alonzo
Washington, D.C., USA, 1903. jún. 14. – Hudson, Ohio, 1995. aug. 11.
Amerikai matematikus, logikus
A számítástechnika elméletének (computer science) egyik megalapozójának tartják. A Princeton-i egyetemen szerzett B.S. fokozatot és itt is doktorált (Ph.D.) 1927-ben, Oswald Veblen tanítványként. Göttingenben folytatta posztdoktorális tanulmányait, majd a Princeton-i egyetemen (1929-1967) és a UCLA-n (University of California, Los Angeles) tanított és kutatott (1967-1990).
A számításelméletben a Church-Turing-tézis az 1930-as években megfogalmazott sejtés, mely szerint minden formalizálható probléma, ami megoldható algoritmussal, az megoldható Turing-géppel vagy lambda-kalkulussal is. A lambda-kalkulus egy formális rendszer, amit eredetileg matematikai függvények tulajdonságainak (definiálhatóság, rekurzió, egyenlőség) vizsgálatára vezettek be. Az elmélet kidolgozói Alonzo Church és Stephen Cole Kleene voltak az 1930-as években. Church, 1936-ban, a λ-kalkulus segítségével bizonyította, hogy nem létezik algoritmus a híres Entscheidungsproblem (döntési probléma) megoldására. A λ-kalkulus (akárcsak a Turing-gép) lehetővé teszi, hogy pontosan (formálisan) definiáljuk, mit is értünk kiszámítható függvény alatt. A Church-féle lambda-kalkuluson alapul a LISP programozási nyelv.
| [1] | Alonzo Church | Wikipédia |
| [2] | Lambda-kalkulus | Wikipédia |
| [2] | Lisp programozási nyelv | Wikipédia |
| [3] | Church-Turing-tézis | Wikipédia |
| [6] | A kutatások kiemelkedő tudományterületei | Magyarország a XX. században - MEK |
| [7] | Kempelen Farkas: A világ első sakkozó, és beszélőgépe, avagy a mesterséges intelligencia kezdetei | Titoktan - PDF |
| [8] | Csákány Béla: A második triumvirátus - Triptichon alulnézetből | SZTE Könyvtár |
| [10] | Alonzo Church | The MacTutor History of Mathematics archive - angol |
| [10] | Church-Turing Thesis | Wolfram MathWorld - angol |
| [11] | Alonzo Church Papers, 1924-1995: Finding Aid | Princeton University Library - angol |
| [12] | H. B. Enderton: In Memoriam: Alonzo Church, 1903-1995 | JSTOR - angol |
| [13] | Alonzo Church | Wikipedia - angol |
| [14] | Lambda calculus | Wikipedia - angol |
| [14] | Frege-Church ontology | Wikipedia - angol |
| [14] | Church-Rosser theorem | Wikipedia - angol |
| [15] | Alonzo Church | Answers.com - angol |