| Narození |
14. června 1903 Washington ( Spojené státy ) |
|---|---|
| Smrt |
11. srpna 1995 Hudson ( United States ) |
| Státní příslušnost | americký |
| Oblasti | matematika , logika |
| Instituce | Princetonská univerzita , UCLA . |
| Diplom | Univerzita Princeton |
| Dozorce | Oswald Veblen |
| Studenti PhD |
C. Anthony Anderson (en) Peter B. Andrews (en) George Alfred Barnard (en) Martin Davis Leon Henkin (en) David Kaplan John George Kemeny Stephen Kleene Gary R. Mar (en) Michael O. Rabin Hartley Rogers, Jr ( en) J. Barkley Rosser Dana Scott Raymond Smullyan Alan Turing |
| Známý pro | lambda-kalkul , církevní práce , vlastnost Church-Rosser |
Alonzo Church (14. června 1903Washington -11. srpna 1995Hudson ) je matematik (logik) USA , kterému vděčíme za některé základy teoretické počítačové vědy .
Alonzo Church se narodil dne 14. června 1903ve Washingtonu. Je synem Samuela Robbins Church, soudce u okresního soudu v Kolumbii, a Mildred Hannah Letterman Parker. Jeho pradědeček Alonzo S. Church (v) byl po třicet let profesorem matematiky a astronomie a předsedou Franklin College, současné Gruzínské univerzity . Jeho dědeček Alonzo Webster Church byl knihovníkem a bibliografem Senátu Spojených států a obecným zástupcem pro železnici v Chicagu a Altonu .
Když ho otcův pokles zraku a sluchu přinutil vzdát se svého postu, rodina se přestěhovala do Virginie, kde vyrostl Alonzo Church a jeho mladší bratr Randolph. Strýček Alonzo (také nazývaný Alonzo Church) žijící v Newarku v New Jersey , poskytuje finanční pomoc rodině a podílí se na vzdělávání dětí. Nehoda se vzduchovou pistolí způsobí, že Church ztratí jedno oko. Church pokračoval ve studiu na Ridgefield School, chlapeckém zařízení v Connecticutu, proslulém svou přísností, absolvoval v roce 1920.
Kostel se zapsal na Princetonskou univerzitu , které se zúčastnili také jeho strýcové. Jeho první publikace Jedinečnost Lorentzovy transformace , která se objevila v roce 1924, byla napsána během jeho vysokoškolského studia. Ve stejném roce získal licenci.
Ve studiu pokračoval na Princetonu, kde se později oženil s mladou studentskou sestrou Mary Julií Kuczinski 25. srpna 1925. Z jejich svazku se narodily tři děti Alonzo Church, Jr. (1929), Mary Ann (1933) a Mildred (1938). Doktorát získal za tři roky v roce 1927 pod vedením Oswalda Veblena . Ve své práci s názvem Alternativy k Zermelovu Nanebevzetí studuje logiku, ve které by axiom výběru navrhovaný v roce 1904 Zermelem byl falešný.
S doktorátem získal národní výzkumný grant, který využíval k cestování. Během léta roku 1927 tedy působil jako instruktor na univerzitě v Chicagu . Dva roky strávil na Harvardově univerzitě (1927-1928), poté odešel na univerzitu v Göttingenu, kde se setkal s Davidem Hilbertem a Paulem Bernaysem, poté na univerzitu v Amsterdamu, kde se setkal s Luitzenem Egbertusem Janem Brouwerem (1928-1929 ). Jeho syn Alonzo Church Junior se narodil dne9. září 1929 ve stejném městě.
Na konci svého společenství se Church vrátil do Princetonu. Stal se tam odborným asistentem v letech 1929 až 1939, poté docentem v letech 1939 až 1947, poté profesorem v letech 1947 až 1967
Kolem roku 1934 začal Church psát souhrn, ve kterém shromáždil všechna logicky dostupná díla od roku 1666 do roku 1935; na tyto odkazuje autor a předmět. Své dílo nazval Bibliografie symbolické logiky . Následně byla zveřejněna prostřednictvím Asociace pro symbolickou logiku v prvním dílu časopisu Journal of Symbolic Logic v roce 1936.
Ve třicátých letech minulého století byl Princeton dobrým místem pro logické výměny, protože tam byl John von Neumann spolu se třemi skvělými studenty z církve, Stephenem Kleene , Johnem Barkley Rosserem a Alanem Turingem . Kurt Gödel po několika cestách do Ústavu pro pokročilá studia v letech 1933–1935 přednesl několik přednášek o své větě o neúplnosti a definitivně se tam usadil kolem roku 1940. Narodila se tam Asociace pro symbolickou logiku ; on byl jmenován prezidentem v roce 1936 .. Church měl být jedním z jeho editorů. Redigoval 15 objemů v letech 1936 až 1950. Byl také editor-in-šéf sekce Review z Journal of Symbolic Logic , ve kterém poskytoval korektury a analytické kritika tezí předložených mu, úkol on vykonával pro ně 44 prvních dílů mezi lety 1936 a 1979.
V roce 1967 se církev rozhodla opustit Princetonskou univerzitu, aby se připojila k Kalifornské univerzitě v Los Angeles , protože Princetonská univerzita již nebyla ochotna přivítat tým Journal of Symbolic Logic, zatímco slib kalifornských slibů je podporovat, dokud Church zůstane editor. Po smrti své manželky Marie v roce 1976 sdílí Church svou funkci v novinách s logikem Williamem Craigem (v) . Alonzo Church byl zvolen členem Národní akademie věd v roce 1978.
V roce 1979 Church přestal psát své recenze do Journal of Symbolic Logic . Church je jmenován doktorem Honoris Causa z několika univerzit a v roce 1985 obdržel čestný diplom od své alma mater . Je korespondujícím členem Britské akademie a členem Americké akademie umění a věd. V roce 1990 ve věku 87 let Church ukončil 63 let své univerzitní kariéry, když odešel z UCLA.
Je známý především vývojem lambda kalkulu , jeho aplikací na pojem rekurzivní funkce , pro první demonstraci nerozhodnutelnosti zastávky. On také editoval Journal of Symbolic Logic , jehož byl jedním ze zakladatelů v roce 1936.
Práce jeho týmu (Church, Kleene a Rosser ) předchází v otázce odstávky práci Alana Turinga , který se k nim také připojí. Byl to Church, kdo jako první dostal myšlenku, že můžeme definovat pojem vypočítatelné funkce ve velmi širokém smyslu, tuto představu již zahlédl Herbrand , ale jeho předčasná smrt mu nedovolila tlačit dále. Církev dostala nápad pomocí lambda-kalkulu. Church demonstruje v roce 1936 existenci problému neřešitelného pomocí algoritmu, jinými slovy, který nelze vyřešit mechanizovatelným výpočtem.
Kleene a Turing demonstrují, že Churchův lambda-kalkul , obecné rekurzivní funkce (takzvaný model Herbrand- Gödel ) a Turingovy stroje mají ekvivalentní kapacity. Ekvivalence poté prokázala, že určitý počet matematických formalizací pojmu ošetření mechanickými procesy má schopnosti ve všech bodech podobné církevní intuici. Toto zjištění vede k církevní tezi (nazývané také Church-Turingova teze ). Nazývá se „teze“, protože jde o výsledek, který nelze prokázat, protože potvrzuje ekvivalenci mezi intuitivním konceptem, totiž mechanicky vypočítatelnými funkcemi, a formálním konceptem, konkrétně různými definicemi rekurzivních funkcí. Říká se tomu „Církevní teze“, protože ten nápad dostal jako první. Nazývá se to „Church-Turingova teze“, protože Turingovy stroje poskytují skutečnou představu o tom, co „mechanické“ znamená.
Mezi svými studenty v Princetonu měl slavné logiky, jmenovitě C. Anthony Anderson (en) , Peter Andrews (en) , Martin Davis , Leon Henkin (en) , Maurice L'Abbé , John George Kemeny , Stephen Kleene , Michael O. Rabin , Hartley Rogers, Jr. (in) , J. Barkley Rosser , Dana Scott , Raymond Smullyan a Alan Turing .
Jeho práce ovlivnila funkční programovací jazyky .