Alonzo Church

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje
Alonzo Church
Rojstvo 14. junij 1903({{padleft:1903|4|0}}-{{padleft:6|2|0}}-{{padleft:14|2|0}})[1]
Washington
Smrt 11. avgust 1995({{padleft:1995|4|0}}-{{padleft:8|2|0}}-{{padleft:11|2|0}})[1] (92 let)
Hudson, Ohio[d]
Državljanstvo Flag of the United States.svg ZDA
Poklic matematik, filozof, univerzitetni profesor, računalnikar

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 pod mentorstvom Oswalda Veblena. Še kot študent je objavil svoj prvi članek o Lorentzovi 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 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.

Glej tudi[uredi | uredi kodo]


  1. ^ 1,0 1,1 data.bnf.fr: open data platform, платформа відкритих даних, платформа открытых данных, plateforme de données ouvertes, piattaforma di dati aperti, Opendata-Plattform, otevřená data platforma, åben-data-platform, տվյալների բաց շտեմարան, platforma za odprte podatke, plataforma de datos abierta, plataforma de dados aberta, платформа адкрытых дадзеных, платформа на отворените данни, platforma otwartych danych, ашық деректер платформасы, ачык маалыматтарды платформа, açıq data platforma, ochiq ma'lumotlar platforma, açık verilerin platformu, платформа отвореног података, platforma otvorenih podataka, platforma otvorenog podataka, platforma otvorených údajov, πλατφόρμα ανοικτών δεδομένων, platformu atklātā datu, platforma atvira duomenų, platvormi avatud andmete, avoimen datan foorumi, nyílt adatok platformja, პლატფორმა ღია მონაცემები, платформа за отворени податоци, нээлттэй мэдээллийн тавцан, platformă de date deschise, platformo de malferma datumoj — 2011.