Alonzo Church

Alonzo Church
Alonzo Church
Rojstvo	14. junij 1903[…]; Washington, D.C.
Smrt	11. avgust 1995[…] (92 let); Hudson[d]
Državljanstvo	ZDA
Poklic	matematik, filozof, univerzitetni učitelj, 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

↑ ^1,0 ^1,1 data.bnf.fr: platforma za odprte podatke — 2011.
d:Track:Q193563 d:Track:Q19938912
↑ ^2,0 ^2,1 MacTutor History of Mathematics archive — 1994.
d:Track:Q547473
↑ ^3,0 ^3,1 SNAC — 2010.
d:Track:Q29861311
↑ Introduction Alonzo Church: Life and Work

Glej tudi

Church-Turingova teza
Church-Turing-Deutschevo načelo (načelo CTD)

Zunanje povezave

Stran o Alonzu Churchu Univerze svetega Andreja (angleško)
Alonzo Church na Projektu Matematična genealogija (angleško)

Ta članek o matematiku je škrbina. Pomagajte Wikipediji in ga razširite.

[&lt;span_class=&quot;wikidata_cite_citetype_Q36524_citetype_Q7094076_citetype_Q27031827_citetype_Q595971&quot;_data-entity-id=&quot;Q19938912&quot;&gt;[http://data.bnf.fr/ark:/12148/cb14575590d_data.bnf.fr]:_platforma_za_odprte_podatke&lt;span_class=&quot;wef_low_priority_links&quot;&gt;_—_2011.&lt;/span&gt;&lt;/span&gt;&lt;div_style=&quot;display:none&quot;&gt;[[d:Track:Q193563]][[d:Track:Q19938912]]&lt;/div&gt;-1] 1,0 ^1,1 data.bnf.fr: platforma za odprte podatke — 2011.
d:Track:Q193563 d:Track:Q19938912

[&lt;span_class=&quot;wikidata_cite_citetype_Q35127&quot;_data-entity-id=&quot;Q547473&quot;&gt;MacTutor_History_of_Mathematics_archive&lt;span_class=&quot;wef_low_priority_links&quot;&gt;_—_1994.&lt;/span&gt;&lt;/span&gt;&lt;div_style=&quot;display:none&quot;&gt;[[d:Track:Q547473]]&lt;/div&gt;-2] 2,0 ^2,1 MacTutor History of Mathematics archive — 1994.
d:Track:Q547473

[&lt;span_class=&quot;wikidata_cite_citetype_Q8513_citetype_Q35127_citetype_Q36524_citetype_Q194166&quot;_data-entity-id=&quot;Q29861311&quot;&gt;SNAC&lt;span_class=&quot;wef_low_priority_links&quot;&gt;_—_2010.&lt;/span&gt;&lt;/span&gt;&lt;div_style=&quot;display:none&quot;&gt;[[d:Track:Q29861311]]&lt;/div&gt;-3] 3,0 ^3,1 SNAC — 2010.
d:Track:Q29861311

[[https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf_Introduction_Alonzo_Church:_Life_and_Work]&lt;span_class=&quot;wef_low_priority_links&quot;&gt;&lt;/span&gt;&lt;div_style=&quot;display:none&quot;&gt;&lt;/div&gt;-4] Introduction Alonzo Church: Life and Work

[1]

[2]

[4]

Normativna kontrola
Splošno	ISNI 1 VIAF 1 CONOR (Slovenija) 1 WorldCat (via VIAF)
Narodne knjižnice	Norveška Francija (data) Nemčija Italija Izrael ZDA Češka republika Avstralija Hrvaška Nizozemska Poljska Švedska
Znanstvene podatkovne baze	Association for Computing Machinery CiNii (Japonska) DBLP (computer science) MathSciNet Mathematics Genealogy Project zbMATH
Drugo	Faceted Application of Subject Terminology RERO (Švica) 1 Social Networks and Archival Context SUDOC (Francija) 1 Trove (Avstralija) 1