Alonzo Church
Iz Wikipedije, proste enciklopedije
Alonzo Church, ameriški matematik in logik, * 14. junij 1903, Washington, DC, ZDA, † 11. avgust 1995, Hudson, Summit County, Ohio, ZDA.
Church je diplomiral leta 1924 na Univerzi Princeton, kjer je tudi doktoriral leta 1927.
V svojem referatu o monumentalnemu delu Arnauda Denjoya L'enumeration transfinie je napisal: »v tem drugače odličnemu delu je brez vrednosti obravnavan aksiom izbire in Zermelov izrek (str. 5, 110-116), da lahko dobro uredimo vsak razred, ker avtor napačno identificira aksiom izbire s propozicijo da ima vsak neprazen razred enoelementni podrazred.«
Znan je njegov Churchev izrek, ki pravi, da so rekurzivne funkcije edine funkcije, ki jih lahko mehansko računamo. Po izreku aritmetični postopki niso zadovoljivi za odločevanje konsistentnosti aritmetičnih izrekov.
[uredi] Glej tudi
- seznam ameriških matematikov
- seznam ameriških logikov
- Church-Turing-Deutschevo načelo (načelo CTD)
Ta biografski članek o matematiku je škrbina. Slovenski Wikipediji lahko pomagate tako, da ga dopolnite z vsebino.
