Alonzo Church

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).

Alonzo Church
Bizitza
Jaiotza	Washington, 1903ko ekainaren 14a
Herrialdea	Ameriketako Estatu Batuak
Lehen hizkuntza	ingelesa
Heriotza	Hudson (Ohio), 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 (en)
Doktorego ikaslea(k)	C. Anthony Anderson Peter B. Andrews (en) George Alfred Barnard (en) Martin Davis (en) 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 (en) 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