Alonzo Church

Iz Wikipedije, proste enciklopedije
Jump to navigation Jump to search
Alonzo Church
Rojstvo14. junij 1903({{padleft:1903|4|0}}-{{padleft:6|2|0}}-{{padleft:14|2|0}})[1][2][…]
Washington
Smrt11. avgust 1995({{padleft:1995|4|0}}-{{padleft:8|2|0}}-{{padleft:11|2|0}})[1][2][…] (92 let)
Hudson, Ohio[d]
DržavljanstvoFlag of the United States.svg ZDA
Poklicmatematik, filozof, univerzitetni profesor, računalnikar

Alonzo Church, ameriški matematik in logik, * 14. junij 1903, Washington, ZDA, † 11. avgust 1995, Hudson, Summit County, Ohio, ZDA.

Church je diplomiral leta 1924 na Univerzi Princeton, kjer je tudi doktoriral leta 1927 pod mentorstvom Oswalda Veblena. Še kot študent je objavil svoj prvi članek o Lorentzevi transformaciji.

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 izrek, ki pravi, da so rekurzivne funkcije edine funkcije, ki se jih lahko mehansko računa. Po izreku aritmetični postopki niso zadovoljivi za odločevanje konsistentnosti aritmetičnih izrekov.

Sklici[uredi | uredi kodo]

  1. 1,0 1,1 data.bnf.fr: platforma za odprte podatke — 2011.
  2. 2,0 2,1 MacTutor History of Mathematics archive
  3. 3,0 3,1 SNAC — 2010.

Glej tudi[uredi | uredi kodo]

Zunanje povezave[uredi | uredi kodo]