Alonzo Church

Allikas: Vikipeedia
Jump to navigation Jump to search
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
Teaduskarjäär
Tegevusala(d) 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 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 190311. august 1995) oli Ameerika matemaatik ja loogik, kes andis olulise panuse matemaatilise loogika arengule ning teoreetilise informaatika alustele. Teda tuntakse kõige paremini lambda-arvutuse, Churchi-Turingi teesi, Entscheidungsproblemi mittelahenduvuse tõestamise, Frege-Churchi ontoloogia ja Churchi-Rosseri teoreemi poolest. Ta on ka töötanud keelefilosoofia teemadel.

Elu[muuda | muuda lähteteksti]

Alonzo Church sündis 14. juulil 1903 Washingtonis, kus ta isa Samuel Robbins Church oli Columbia ringkonna kohtunik. Hiljem, kui ta isa kaotas halva nägemise tõttu töö, kolis nende pere Virginiasse. Oma onu Alonzo Churchi abiga 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 nad said kolm last: Alonzo Church, Jr (1929), Mary Ann (1933) ning 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 pälvis Teaduse Doktorandi kraadid Case Western Reserve ülikoolist aastal 1969,[3] Princetoni ülikoolist aastal 1985,[4] ning Buffalo ülikoolist ja New Yorgi ülikoolist aastal 1990. Lisaks korraldas John Corcoran tema auks rahvusvahelise sümpoosioni.[5]

Sügavalt uskliku inimesena oli ta eluaegne presbüterlasste kiriku liige.[6]

Ta suri aastal 1995 ning maeti Princetoni kalmistule.[7]

Matemaatilised teadustööd[muuda | muuda lähteteksti]

Church on tuntud järgmiste saavutuste poolest:

  • Tõestus, et Entscheidungsproblem on lahendamatu. See on tuntud kui Churchi teoreem.[8]
  • Tõestus, et Peano aritmeetika on lahendamatu.
  • Tema artikulatsioon sellest, mida kutsutakse tänapäeval Churchi-Turingi teesiks.
  • Ta oli teadusajakirja Journal of Symbolic Logic asutaja ning toimetaja kuni 1979. aastani.
  • Ta oli lambda-arvutuse looja.

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.

Filosoofilised teadustööd[muuda | muuda lähteteksti]

„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]

Raamatud[muuda | muuda lähteteksti]

  • Alonzo Church, Introduction to Mathematical Logic[10]
  • Alonzo Church, The Calculi of Lambda-Conversion[11]
  • Alonzo Church, A Bibliography of Symbolic Logic, 1666–1935
  • C. Anthony Anderson and Michael Zelëny, (eds.), Logic, Meaning and Computation: Essays in Memory of Alonzo Church

Viited[muuda | muuda lähteteksti]

  1. The Ridgefield School for Boys, also known as the Ridgefield School, was a private school that existed from 1907 to 1938. See The Ridgefield School.
  2. Church, Alonzo. "Logic, arithmetic and automata." In Proceedings of the International Congress of Mathematicians, pp. 23–35. 1962.
  3. Honorary degrees awarded by Case Western Reserve University
  4. Honorary degrees awarded by Princeton University
  5. Finding Aid for The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990
  6. "Introduction Alonzo Church: Life and Work". Kasutatud 6. juuni 2012. Arhiiviversioon, arhiveeritud 1. september 2012. Tsitaat: “A deeply religious person, he was a lifelong member of the Presbyterian church.”
  7. "Churchi haud keskkonnas Findagrave".
  8. Church, A. (1936). "An unsolvable problem of elementary number theory". American Journal of Mathematics 58 (2): 345–363. JSTOR 2371045. doi:10.2307/2371045. 
  9. Anderson (1998)
  10. Henkin, Leon (1957). "Review: Introduction to Mathematical Logic by Alonzo Church". Bull. Amer. Math. Soc. 63 (5): 320–323. doi:10.1090/s0002-9904-1957-10129-3. 
  11. Frink Jr., Orrin (1944). "Review: The Calculi of Lambda-Conversion by Alonzo Church". Bull. Amer. Math. Soc. 50 (3): 169–172. doi:10.1090/s0002-9904-1944-08090-7. 

Kirjandus[muuda | muuda lähteteksti]

Välislingid[muuda | muuda lähteteksti]