Alonzo Church

Wikipedia(e)tik
Hona jauzi: nabigazioa, Bilatu
Alonzo Church
Bizitza
Jaiotza Washington1903ko ekainaren 14a
Herrialdea  Ameriketako Estatu Batuak
Heriotza Hudson (Ohio)1995eko abuztuaren 11 (92 urte)
Hezkuntza
Heziketa Harvard Unibertsitatea
Princetongo Unibertsitatea
Tesi zuzendaria Oswald Veblen
Doktorego ikaslea(k) C. Anthony Anderson
Peter B. Andrews
George Alfred Barnard
Martin Davis
Leon Henkin
David Kaplan
John George Kemeny
Stephen Cole Kleene
Michael O. Rabin
Hartley Rogers, Jr.
J. Barkley Rosser
Nathan Salmon
Dana Scott
Raymond Smullyan
Alan Turing
Hizkuntzak ingelesa
Ikaslea(k) Leon Henkin
Lanbidea
Lanbidea matematikaria, filosofoa, unibertsitateko irakaslea eta informatikaria
Enplegatzailea(k) Princetongo Unibertsitatea
Kaliforniako Unibertsitatea Los Angelesen
Kidetza Arteen eta Zientzien Ameriketako Estatu Batuetako Akademia
Sinesmenak
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[aldatu | aldatu iturburu kodea]