Mine sisu juurde

Alonzo Church

Allikas: Vikipeedia
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

Alonzo Church (14. juuni 190311. 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]

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

  • 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
  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". Originaali arhiivikoopia seisuga 1. oktoober 2013. Vaadatud 31. mail 2018.
  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" (PDF). Lk 4. Originaali (PDF) arhiivikoopia seisuga 1. september 2012. Vaadatud 6. juunil 2012. 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: 345–363. DOI:10.2307/2371045. JSTOR 2371045.
  9. Anderson (1998)
  10. Henkin, Leon (1957). "Review: Introduction to Mathematical Logic by Alonzo Church" (PDF). 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" (PDF). Bull. Amer. Math. Soc. 50 (3): 169–172. DOI:10.1090/s0002-9904-1944-08090-7.

Välislingid

[muuda | muuda lähteteksti]