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, 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 (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 |
  | |
- 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
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
