Alonzo Church

Alonzo Church
Bizitza
Jaiotza	Washington, 1903ko ekainaren 14a
Herrialdea	Ameriketako Estatu Batuak
Lehen hizkuntza	ingelesa
Heriotza	Hudson, 1995eko abuztuaren 11 (92 urte)
Hobiratze lekua	Princeton Cemetery (en)
Hezkuntza
Heziketa	Princetongo Unibertsitatea ; (1920 - 1927) ; Harvard Unibertsitatea ; (1927 - 1928) ; Göttingengo Unibertsitatea ; (1928 - 1928) ; Amsterdamgo Unibertsitatea ; (1929 - 1929)
Hezkuntza-maila	Doktoretza
Tesia	Alternatives to Zermelo's Assumption (en)
Tesi zuzendaria	Oswald Veblen (mul)
Doktorego ikaslea(k)	C. Anthony Anderson; Peter B. Andrews (en) ; George Alfred Barnard (en) ; Martin Davis (mul) ; Leon Henkin (en) ; John George Kemeny; Stephen Cole Kleene (en) ; Michael O. Rabin (en) ; Hartley Rogers, Jr. (en) ; J. Barkley Rosser (en) ; Nathan Salmon (en) ; Dana Scott (en) ; Raymond Smullyan (en) ; Alan Turing; Alfred Foster (en) ; Nicholas Rescher (mul) ; Norman Shapiro (en) ; William Boone; Gerald J. Massey (en) ; Simon B. Kochen (en) ; Maurice L'Abbé (en) ; Robert Wells Ritchie (en) ; Isaac Malitz (en) ; Wayne Harvey Richter (en) ; Joel Robbin (en) ; William Bigelow Easton (en) ; Enrique Bustamente-Llaca (en) ; Aubert Daigneault (en) ; James Russell Guard (en) ; James Hallam Bennett (en) ; Robert Owen Winder (en) ; Gustav Bernard Hensel (en) ; Donald James Collins (en) ; Edward William, Jr. Chapin (en) ; Bijan Arbab (en) ; Gary R. Mar (en)
Hizkuntzak	ingelesa
Jarduerak
Jarduerak	matematikaria, filosofoa, unibertsitateko irakaslea eta informatikaria
Enplegatzailea(k)	Princetongo Unibertsitatea (1929 - 1967); Kaliforniako Unibertsitatea Los Angelesen (1967 - 1990)
Lan nabarmenak	ikusi Church-Turing thesis (en) ; Church–Turing–Deutsch principle (en) ; Frege–Church ontology (en) ; Church–Rosser theorem (en) ; Church–Turing theorem (en) ; lambda calculus (en) ;
Kidetza	Arteen eta Zientzien Ameriketako Estatu Batuetako Akademia; Zientziak Aurrera Egiteko Elkarte Amerikarra; Ameriketako Estatu Batuetako Zientzien Akademia Nazionala
Sinesmenak eta ideologia
Erlijioa	Presbiterianismoa

Alonzo Church (Washington Hiria, 1903ko ekainaren 14a - Hudson, 1995eko abuztuaren 11) Estatu Batuetako logikari eta matematikaria izan zen. Matematikako irakaslea izan zen Princetongo Unibertsitatean (1947-1961). Sistema baten formulazio mugak (sintaktikoak) ikertu zituen, bereziki, eta, predikatuen kalkulu logikoari dagokionez, sistemako proposizio orok ez duela deribazio logikorako biderik frogatu zuen. Lan nagusiak: Zenbaki oinarrizkoen teoriaren arazo konponezin bat (1936), Zentzuaren eta denotazioaren logikaz (1954), Logika matematikoa (1956).

Erreferentziak

Artikulu honen edukiaren zati bat Lur hiztegi entziklopedikotik edo Lur entziklopedia tematikotik txertatu zen 2011/12/27 egunean. Egile-eskubideen jabeak, Eusko Jaurlaritzak, hiztegi horiek CC-BY 3.0 lizentziarekin argitaratu ditu, Open Data Euskadi webgunean.

Datuak: Q92741