Alonzo Church

Wikipedia, Entziklopedia askea
Jump to navigation Jump to search
Alonzo Church
Bizitza
Jaiotza Washington1903ko ekainaren  14a
Herrialdea  Ameriketako Estatu Batuak
Heriotza Hudson (Ohio)1995eko abuztuaren  11 (92 urte)
Hobiratze lekua Princeton Cemetery Itzuli
Hezkuntza
Heziketa Princetongo Unibertsitatea
(1920 -
Harvard Unibertsitatea
(1927 - 1928)
Göttingengo Unibertsitatea
(1928 -
Amsterdamgo Unibertsitatea
(1929 -
Hezkuntza-maila Ph.D.a
doktorea
doktorea
doktorea
Tesi zuzendaria Oswald Veblen Itzuli
Doktorego ikaslea(k) C. Anthony Anderson
Peter B. Andrews Itzuli
George Alfred Barnard Itzuli
Martin Davis Itzuli
Leon Henkin Itzuli
David Kaplan Itzuli
John George Kemeny Itzuli
Stephen Cole Kleene Itzuli
Michael O. Rabin Itzuli
Hartley Rogers, Jr. Itzuli
J. Barkley Rosser Itzuli
Nathan Salmon Itzuli
Dana Scott Itzuli
Raymond Smullyan Itzuli
Alan Turing
Alfred Foster Itzuli
Nicholas Rescher Itzuli
Norman Shapiro Itzuli
William Boone
Hizkuntzak ingelesa
Ikaslea(k) Leon Henkin Itzuli
Alan Turing
Jarduerak
Jarduerak matematikaria, filosofoa, unibertsitateko irakaslea eta informatikaria
Enplegatzailea(k) Princetongo Unibertsitatea  (1929 -  1967)
Kaliforniako Unibertsitatea Los Angelesen  (1967 -  1990)
Kidetza Arteen eta Zientzien Ameriketako Estatu Batuetako Akademia
American Association for the Advancement of Science Itzuli
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[aldatu | aldatu iturburu kodea]