Alonzo Church | |
---|---|
Sündinud |
14. juuni 1903 Washington, USA |
Surnud |
11. august 1995 (92-aastaselt) Hudson, Ohio, USA |
Elukoht | Ameerika Ühendriigid |
Rahvus | ameeriklane |
Alma mater | Princeton University |
Teadlaskarjäär | |
Tegevusalad | matemaatika, loogika |
Töökohad |
Princetoni ülikool (1929–67) UCLA (1967–95) |
Tuntumad tööd |
Lambda-arvutus Churchi–Turingi tees Frege–Churchi ontoloogia Churchi–Rosseri teoreem |
Tuntumad õpilased |
Loend
C. Anthony Anderson Peter Andrews George Alfred Barnard Martin Davis Alfred Foster Leon Henkin David Kaplan John George Kemeny Stephen Kleene Gary R. Mar Michael O. Rabin Hartley Rogers, Jr J. Barkley Rosser Dana Scott Raymond Smullyan Alan Turing |
Alonzo Church (14. juuni 1903 – 11. august 1995) oli Ameerika Ühendriikide matemaatik ja loogik, kes andis olulise panuse matemaatilise loogika arengusse ja teoreetilise informaatika alustesse. Teda tuntakse eeskätt lambda-arvutuse, Churchi-Turingi teesi, Entscheidungsproblemi mittelahenduvuse tõestamise, Frege-Churchi ontoloogia ja Churchi-Rosseri teoreemi järgi. Ta on ka töötanud keelefilosoofia teemadel.
Alonzo Church sündis 14. juulil 1903 Washingtonis, kus ta isa Samuel Robbins Church oli Columbia ringkonna kohtunik. Hiljem, kui isa kaotas halva nägemise tõttu töö, kolis nende pere Virginia osariiki. Oma onu Alonzo Churchi rahalise toega sai ta käia Ridgefieldi Poistekoolis Ridgefieldis Connecticutis.[1] Pärast Ridgefieldi kooli lõpetamist aastal 1920 läks Church Princetoni Ülikooli, kus ta oli silmapaistvalt tubli tudeng, avaldas oma esimese teadustöö Lorentzi teisenduste teemal ning lõpetas ülikooli aastal 1924 matemaatikakraadiga. Ta jäi Princetoni ning sai Oswald Vebleni käe all kolme aastaga doktorikraadi.
Ta abiellus Mary Julia Kuczinskiga aastal 1925 ning neil sündis kolm last: Alonzo Church, Jr (1929), Mary Ann (1933) ja Mildred (1938).
Pärast doktorikraadi omandamist õpetas ta veidi aega Chicago ülikoolis ning sai kaheaastase riikliku teadusstipendiumi (National Research Fellowship). See võimaldas tal õppida Harvardi ülikoolis aastatel 1927–1928, järgmisel aastal Göttingeni ülikoolis ning aasta pärast seda Amsterdami ülikoolis. Aastatel 1929–1967 õpetas ta Princetonis filosoofiat ja matemaatikat ning aastatel 1967–1990 California ülikoolis Los Angeleses. Ta oli aastal 1962 Stockholmis rahvusvahelisel matemaatikakonverentsil (ICM) plenaarkõneleja.[2] Ta sai Case Western Reserve ülikooli audoktoriks aastal 1969,[3] Princetoni ülikooli audoktoriks aastal 1985[4] ning Buffalo ülikooli ja New Yorgi ülikooli audoktoriks aastal 1990. Lisaks korraldas John Corcoran tema auks rahvusvahelise sümpoosioni.[5]
Sügavalt uskliku inimesena oli ta eluaegne presbüteri kiriku liige.[6]
Ta suri aastal 1995 ning maeti Princetoni kalmistule.[7]
Church on tuntud järgmiste saavutuste poolest:
Lambda-arvutus (lambda calculus) tekkis tema 1936. aasta teadustööst, mis näitas, et Entscheidungsproblem pole lahendatav. Selle tulemus eelnes Alan Turingu tööle peatumisülesande kallal, mis jõudis samale tulemusele. Church ja Turing näitasid seejärel, et lambdaarvutus ja Turingi masin, mida kasutati Turingi peatumisülesande jaoks, olid oma rakenduste poolest samaväärsed ning näitasid lisaks mitmeid alternatiive "komputatsiooni mehaanilise protsesside jaoks." Sellest sündis Churchi-Turingi tees.
Lambdaarvutus mõjutas programmeerimiskeele LISP ja funktsionaalsete programmeerimiskeelte ehistust.
Churchi kodeerimine (Church encoding) tema auks nimetatud.
„Church'i kirjeldused metoodikast, mis kasutab logistilist meetodit, tema normalismi filosoofilised kriitikad ja tema realismi kaitsemine, tema argumenteerimine, mis viis järeldusteni tähenduse teoorias ja tema detailine Fregeani ja Russelliani Modaalloogika ülesehitus, on rohkem kui piisav selleks, et teda paigutada kõrgele teiste selle sajandi tähtsate filosoofide sekka.“
– C. Anthony Anderson[9]
A deeply religious person, he was a lifelong member of the Presbyterian church.
((cite journal))
: viitemall journal nõuab parameetrit |journal=
(juhend)