Alonzo Church
Alonzo Church | |
---|---|
Bizitza | |
Jaiotza | Washington, 1903ko ekainaren 14a |
Herrialdea | ![]() |
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
|
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