Kasutaja:Rannilo/Alonzo Church: erinevus redaktsioonide vahel

Alonzo Church sündis 14. juulil 1903 [[Washington|Washington, D.C]] linnas, kus tema isa Samuel Robbins Church oli Kolumbia[[Columbia piirkonnaringkond|Columbia ringkonna]] kohtunik. Hiljem, kui ta isa kaotas oma töökoha halva silmanägemise tõttu, kolis nende pere Virginiasse. Oma onu Alonzo Churchi abiga sai ta käia Ridgefield'i Poistekoolis [[Ridgefield, Conneticutis|Ridgefieldis, Conneticutis]].<ref name=":0">The Ridgefield School for Boys, also known as the Ridgefield School, was a private school that existed from 1907 to 1938. See [http://jackfsanders.tripod.com/rschool2.htm The Ridgefield School].</ref> Peale Ridgefieldi kooli lõpetamist aastal 1920 läks Church [[Princetoni Ülikool|Princetoni Ülikooli]], kus ta oli silmapaistvalt tubli tudeng, avaldas oma esimese teadustöö Lorentzi transformatsioonide teemal ning lõpetas ülikooli aastal 1924 matemaatikakraadiga. Ta jäi Princetoni ning sai [[Oswald Vebleni]] käe all kolme aastaga [[Doktorikraad|doktorikraadi]].

Peale doktorikraadi omandamist õpetas ta veidi aega [[Chicago ülikool|Chicago ülikoolis]] ning sai kaheaastase riikliku teadusstipendiumi (National Research Fellowship'i). See võimaldas tal õppida [[Harvardi ülikool|Harvardi ülikoolis]] aastatel 1927–1928, järgmisel aastal [[Göttingeni ülikool|Göttingeni ülikoolis]] ning aasta peale seda [[Amsterdami ülikool|Amsterdami ülikoolis]]. Aastatel 1929–1967 õpetas ta [[Princetoni Ülikool|Princetonis]] filosoofiat ja matemaatikat ning aastatel 1967–1990 [[California Ülikool|California ülikoolis]], [[Los Angeles|Los Angeleses]]. Ta oli aastal 1962 [[Stockholm|Stockholmis]] rahvusvahelisel matemaatikakonverentsil (ICM) plenaarkõneleja.<ref name=":1">Church, Alonzo. [http://www.mathunion.org/ICM/ICM1962.1/Main/icm1962.1.0023.0058.ocr.pdf "Logic, arithmetic and automata."] In Proceedings of the International Congress of Mathematicians, pp. 23–35. 1962.</ref> Ta pälvis Teaduse Doktorandi kraadid [[Case Western Reserve ülikool|Case Western Reserve ülikoolist]] aastal 1969,<ref name=":2">[http://www.case.edu/pubaff/univcomm/awards/hon-deg.htm Honorary degrees awarded by Case Western Reserve University]</ref> [[Princetoni ülikool|Princetoni ülikoolist]] aastal 1985,<ref name=":3">[https://www.princeton.edu/main/about/facts/honorary/ Honorary degrees awarded by Princeton University]</ref> ning [[Buffalo ülikool|Buffalo ülikoolist]] ja [[New Yorgi Ülikool|New Yorki ülikoolist]] aastal 1990. Lisaks korraldas John Corcoran tema auks rahvusvahelise sümpoosiomi.<ref name=":4">[http://purl.org/net/findingaids/view?docId=ead/archives/ubar_1216.xml Finding Aid for The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990]</ref>

Sügavalt uskliku inimesena oli ta eluaegne [[Presbyteriani kirik|Presbyteriani kiriku]] liige.<ref name=":5">{{cite web|last=|first=|url=http://www.math.ucla.edu/~hbe/church.pdf|title=Introduction Alonzo Church: Life and Work|publisher=|website=|date=|accessdate=6. juuni 2012|quote=A deeply religious person, he was a lifelong member of the Presbyterian church.|archiveurl=https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf|archivedate=1. september 2012|deadurl=yes|page=4}}</ref>

[[Lambda-arvutus]] (''lambda calculus'') tekkis tema 1936. aasta teadustööst, mis näitas, et Entscheidungsproblem pole lahendatav. Selle tulemus eelnes [[Alan Turing|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 Church–Turingi tees.

* [[Herbert Enderton|Enderton, Herbert B.]], [https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf Alonzo Church: Life and Work]. Introduction to the ''Collected Works of Alonzo Church'', MIT Press, not yet published.

* Enderton, Herbert B., [http://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps In memoriam: Alonzo Church], ''The Bulletin of Symbolic Logic'', vol. 1, no. 4 (Dec. 1995), pp.&nbsp;486–488.

* Wade, Nicholas, [https://www.nytimes.com/1995/09/05/obituaries/alonzo-church-92-theorist-of-the-limits-of-mathematics.html Alonzo Church, 92, Theorist of the Limits of Mathematics] (obituarynekroloog), ''The New York Times'', September 5, 1995, p. B6.

* [[Wilfred Hodges|Hodges, Wilfred]], [https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html Obituary: Alonzo Church], ''The Independent (London)'', September 14,. september 1995.

* [https://web.archive.org/web/20150310080250/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmc05.htm Alonzo Church] interviewed byIntervjueeris William Aspray on 17. Maymail 1984. ''The Princeton Mathematics Community in the 1930s: An Oral-History Project'', transcripttranskript number 5.

* [[Gian-Carlo Rota|Rota, Gian-Carlo]], [http://www.ams.org/samplings/math-history/hmath2-prince.pdf Fine Hall in its golden age: Remembrances of Princeton in the early fifties]. In ''A Century of Mathematics in America, Part II'', edited bytoimetas Peter Duren, AMS History of Mathematics, vol 2, American Mathematical Society, 1989, pp.&nbsp;223–226. Also availableSamuti saadav [https://web.archive.org/web/20150310024937/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmcxrota.htm heresiit].