Alonzo Church

Alonzo Church
Született1903. június 14.
Washington
Elhunyt1995. augusztus 11. (92 évesen)
Hudson
Állampolgárságaamerikai
SzüleiSamuel Robbins Church
Foglalkozása
Iskolái
SírhelyePrincetoni Temető (Sec. 3, Block 11, Lot 058, Grave 1)

Alonzo Church (Washington, 1903. június 14. – Hudson, Ohio, 1995. augusztus 11.) amerikai matematikus és logikus, akit a számítástechnika elméletének egyik megalapozójának tartanak. Legismertebb munkái a lambda-kalkulus, a Church–Turing-tézis, az Entscheidungsproblem („döntési probléma”) megoldhatatlanságának bizonyítása, a Frege–Church ontológia és a Church–Rosser-tétel.

Washingtonban, az Amerikai Egyesült Államok fővárosában született. A Princetoni Egyetemen szerzett B.Sc (Bachelor of Science) fokozatot és itt is doktorált (Ph.D) 1927-ben, Oscar Veblen tanítványaként. A disszertációjának címe: Alternatives to Zermelo's Assumption (Zermelo feltételezésének alternatívái). Göttingenben folytatta posztdoktorális tanulmányait, majd a Princetonon (1929–1967) és a Kaliforniai Egyetemen tanított és kutatott (1967–1990).

Legfontosabb eredményei

Jegyzetek

  1. 1 2 Francia Nemzeti Könyvtár. "BnF-források" (francia nyelven). Hozzáférés: 2015. október 10.
  2. 1 2 "MacTutor History of Mathematics archive". Hozzáférés: 2017. augusztus 22.
  3. 1 2 "SNAC" (angol nyelven). Hozzáférés: 2017. október 9.
  4. 1 2 "Brockhaus Enzyklopädie". Brockhaus (német nyelven). F.A. Brockhaus.
  5. 1 2 "Internet Philosophy Ontology project" (angol nyelven). Hozzáférés: 2017. október 9.
  6. 1 2 "Store norske leksikon". Great Norwegian Encyclopedia (norvég (bokmål) nyelven). Hozzáférés: 2026. október 16.
  7. ↑ "Introduction Alonzo Church: Life and Work" (PDF).
  8. ↑ "Find a Grave". Find a Grave (angol nyelven).
  9. ↑ "nassauchurch.org/about/princetoncemetery/interment-records/".

Források

Ez az amerikai személy életrajzát bemutató lap egyelőre csonk (erősen hiányos). Segíts te is, hogy igazi szócikk lehessen belőle!