Alonzo Church

Alonzo Church (n. , Washington, D.C., District of Columbia, SUA – d. , Hudson⁠(d), Ohio, SUA) a fost un matematician și logician american care a adus contribuții majore în logica matematică și fundamentele informaticii teoretice⁠(d). El este cel mai bine cunoscut pentru calculul lambda⁠(d), teza Church–Turing care a demonstrat indecidabilitatea problemei deciziei, ontologia Frege–Church⁠(d), și teorema Church–Rosser⁠(d).

Alonzo Church
Date personale
Născut[1][2][3][4]
Washington, D.C., District of Columbia, SUA
Decedat (92 de ani)[1][2][3][4]
Hudson⁠(d), Ohio, SUA[5]
Înmormântatcimitirul Princeton[*]​[6][7]
Cetățenie Statele Unite ale Americii
Religieprezbiterianism[8]
Ocupațiematematician
filozof
cadru didactic universitar[*]​
informatician
Limbi vorbitelimba engleză[9][10]
Activitate
Domeniulogică matematică
informatică teoretică[*]​
matematică
logică 
InstituțieUniversitatea Princeton
University of California, Los Angeles 
Alma MaterUniversitatea Harvard[8]
Universitatea Princeton[8]
Universitatea Georg-August din Göttingen[8]
Universitatea din Amsterdam[8] 
OrganizațiiAcademia Americană de Arte și Științe[*]​
Asociația Americană pentru Progresul Științei[*]​[11]
Academia Națională de Științe a Statelor Unite ale Americii[*]​ 
Conducător de doctoratOswald Veblen[12] 
DoctoranziC. Anthony Anderson[*]​[13]
Peter B. Andrews[*][[Peter B. Andrews (matematician american)|​]][13]
George Alfred Barnard[*][[George Alfred Barnard (British statistician (1915-2002))|​]][13]
Martin Davis[*][[Martin Davis (matematician american)|​]][14]
Leon Henkin[*][[Leon Henkin (matematician american)|​]][13]
Kemény János[*][[Kemény János (Jewish-Hungarian American mathematician, computer scientist, educator, and President of Dartmouth College)|​]][13]
Stephen Cole Kleene[13]
Michael Rabin[13]
Hartley Rogers, Jr.[*][[Hartley Rogers, Jr. (matematician american)|​]][13]
J. Barkley Rosser[*][[J. Barkley Rosser (American logician)|​]][13]
...încă 26 
Cunoscut pentruteza Church-Turing
Church–Turing–Deutsch principle[*][[Church–Turing–Deutsch principle (stronger, physical form of the Church–Turing thesis, that a universal Turing machine can simulate every physical process)|​]]
Frege–Church ontology[*][[Frege–Church ontology |​]]
Church–Rosser theorem[*][[Church–Rosser theorem (theorem that, when applying reduction rules to terms in some variants of the lambda calculus, the ordering in which the reductions are chosen does not make a difference to the eventual result)|​]]
Church–Turing theorem[*][[Church–Turing theorem |​]]
calculul lambda[*]​ 

Viața

Alonzo Church s-a născut în 14 iunie 1903, la Washington, D.C., unde tatăl său, Samuel Robbins Church, era judecător la Tribunalul Municipal pentru Districtul Columbia. Familia s-a mutat în Virginia după ce tatăl său a pierdut acest post din cauza problemelor de vedere. Cu ajutor de la unchiul său, pe care îl chema tot Alonzo Church, el a reușit să studieze la Ridgefield School for Boys din Ridgefield⁠(d).[15] După absolvirea școlii Ridgefield în 1920, Church a studiat la Universitatea Princeton, unde a fost un elev excepțional, publicând prima sa lucrare, despre transformările Lorentz, și absolvind în 1924, cu o diplomă în matematică. El a rămas la Princeton, obținând un doctorat în matematică în trei ani sub îndrumarea lui Oswald Veblen.

S-a căsătorit cu Mary Julia Kuczinski în 1925, cei doi având trei copii, Alonzo Church, Jr. (1929), Mary Ann (1933) și Mildred (1938).

După ce a primit doctoratul a predat scurt timp la Universitatea din Chicago și apoi a primit o bursă de cercetare națională de doi ani. Aceasta i-a permis să participe la Universitatea Harvard în 1927-1928 și apoi și la Universitatea din Göttingen și la Universitatea din Amsterdam în anul următor. A predat filosofia și matematica la Princeton, între 1929-1967, și la Universitatea Californiei, Los Angeles, 1967-1990. El a fost Plenary Speaker la ICM⁠(d) în 1962 în Stockholm.[16] A primit doctoratul onorific de la Case Western Reserve University⁠(d), în 1969,[17] Universitatea Princeton în 1985,[18] și Universitatea din Buffalo, Universitatea Statului New York⁠(d) în 1990, în legătură cu un simpozion internațional în onoarea lui organizat de John Corcoran⁠(d).[19]

Persoană profund religioasă, a fost toată viața membru al bisericii presbiteriene.[20]

A murit în 1995 și a fost îngropat în cimitirul Princeton⁠(d).[21]

Activitatea în matematică

Church este cunoscut pentru următoarele realizări:

  • Demonstrarea că problema deciziei, care cere o procedură de decizie⁠(d) pentru a determina adevărul unor propoziții arbitrare într-o teorie⁠(d) matematică de ordinul întâi, este indecidabilă⁠(d). Aceasta este cunoscută sub numele de teorema lui Church.
  • Demonstrația că aritmetica Peano⁠(d) este indecidabilă.
  • Articularea a ceea ce a ajuns să fie cunoscut sub numele de teza Church–Turing.
  • A fost redactor fondator al Journal of Symbolic Logic⁠(d), editându-i secțiunea de recenzii până la 1979.
  • Inventarea calculului lambda⁠(d).

Calculul lambda, apărut în lucrarea sa din 1936 demonstrează nerezolvabilitatea problemei deciziei. Acest rezultat a precedat munca lui Alan Turing pe tema problemei opririi, care a dus și ea la demonstrarea existenței unei probleme de nerezolvat prin mijloace mecanice. Church și Turing au demonstrat apoi că calculul lambda și mașina Turing utilizată în problema opririi a lui Turing sunt echivalente în capabilități, și, ulterior, a demonstrat o varietate de „procese mecanice de calcul” alternative. Acest lucru a dus la teza Church–Turing.

Calculul lambda a influențat designul limbajului de programare LISP și limbajele de programare funcțională în general. Codificarea Church⁠(d) este numită în onoarea lui.

Studenți

Multe dintre doctoranzii lui Church au avut cariere distinse, între care C. Anthony Anderson, Peter B. Andrews, George A. Barnard, David Berlinski, William W. Boone, Martin Davis, Alfred L. Foster, Leon Henkin, John G. Kemeny, Stephen C. Kleene, Simon B. Kochen, Maurice L ' abbé, Isaac Malitz, Gary R. Mar, Michael O. Rabin, Nicholas Rescher, Hartley Rogers, Jr., J. Barkley Rosser, Dana Scott, Raymond Smullyan, și Alan Turing.[22] O listă mai completă a studenților lui Church este disponibilă prin intermediul Mathematics Genealogy Project.

Cărți
  • Alonzo Church, Introduction to Mathematical Logic (ISBN 978-0-691-02906-1)[23]
  • Alonzo Church, The Calculi of Lambda-Conversion (ISBN 978-0-691-08394-0)[24]
  • Alonzo Church, A Bibliography of Symbolic Logic, 1666–1935 (ISBN 978-0-8218-0084-3)
  • C. Anthony Anderson and Michael Zelëny, (eds.), Logic, Meaning and Computation: Essays in Memory of Alonzo Church (ISBN 978-1-4020-0141-3)

Note
  1. Autoritatea BnF, accesat în
  2. MacTutor History of Mathematics archive, accesat în
  3. Alonzo Church, SNAC, accesat în
  4. Alonzo Church, Brockhaus Enzyklopädie
  5. Introduction Alonzo Church: Life and Work (PDF) (în engleză)
  6. Find a Grave
  7. http://nassauchurch.org/about/princetoncemetery/interment-records/ Lipsește sau este vid: |title= (ajutor)
  8. MacTutor History of Mathematics archive
  9. Autoritatea BnF, accesat în
  10. CONOR[*][[CONOR (authority control file for author and corporate names in Slovene system COBISS)|​]] Verificați valoarea |titlelink= (ajutor)
  11. Notable Names Database
  12. Genealogia matematicienilor, accesat în
  13. Genealogia matematicienilor
  14. MGP[*]​ Verificați valoarea |titlelink= (ajutor)
  15. The Ridgefield School for Boys, also known as the Ridgefield School, was a private school that existed from 1907 to 1938.
  16. Church, Alonzo. "Logic, arithmetic and automata." Arhivat în , la Wayback Machine. In Proceedings of the International Congress of Mathematicians, pp. 23–35. 1962.
  17. „Honorary degrees awarded by Case Western Reserve University”. Arhivat din original la . Accesat în .
  18. Honorary degrees awarded by Princeton University
  19. Finding Aid for The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990
  20. „Introduction Alonzo Church: Life and Work” (PDF). p. 4. Arhivat din original (PDF) la . Accesat în . A deeply religious person, he was a lifelong member of the Presbyterian church. Mai multe valori specificate pentru |pagină= și |page= (ajutor)
  21. Alonzo Church la Find a Grave
  22. „Mathematics Genealogy Project”. Arhivat din original la . Accesat în .
  23. Henkin, Leon (). „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. Mai multe valori specificate pentru |DOI= și |doi= (ajutor)
  24. Frink Jr., Orrin (). „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. Mai multe valori specificate pentru |DOI= și |doi= (ajutor)

Bibliografia
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.