Alonzo Church

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Alonzo Church
Date personale
Născut [1][2] Modificați la Wikidata
Washington, Statele Unite ale Americii Modificați la Wikidata
Decedat (92 de ani)[1][2] Modificați la Wikidata
Hudson[*], Statele Unite ale Americii Modificați la Wikidata
Cetățenie Flag of the United States.svg SUA Modificați la Wikidata
Religie prezbiterianism Modificați la Wikidata
Ocupație matematician
filozof
profesor universitar
informatician Modificați la Wikidata
Activitate
Instituție Universitatea Princeton
University of California, Los Angeles  Modificați la Wikidata
Alma Mater Universitatea Harvard
Universitatea Princeton  Modificați la Wikidata
Conducător de doctorat Oswald Veblen[3]  Modificați la Wikidata
Doctoranzi C. Anthony Anderson[*]
Peter B. Andrews[*]
George Alfred Barnard[*]
Martin Davis[*]
Leon Henkin[*]
David Kaplan[*]
John George Kemeny[*]
Stephen Cole Kleene
Michael Rabin
Hartley Rogers, Jr.[*]
J. Barkley Rosser[*]
Nathan Salmon[*]
Dana Scott
Raymond Smullyan[*]
Alan Turing  Modificați la Wikidata
Societăți Academia Americană de Arte și Științe[*]  Modificați la Wikidata

Alonzo Church (n. ,[1][2] Washington, Statele Unite ale Americii – d. ,[1][2] Hudson[*], Statele Unite ale Americii) 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⁠(d) care a demonstrat indecidabilitatea problemei deciziei⁠(d), ontologia Frege–Church⁠(d), și teorema Church–Rosser⁠(d).

Viața[modificare | modificare sursă]

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).[4] 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.[5] A primit doctoratul onorific de la Case Western Reserve University⁠(d), în 1969,[6] Universitatea Princeton în 1985,[7] ș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).[8]

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

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

Activitatea în matematică[modificare | modificare sursă]

Biserica este cunoscut pentru următoarele realizări:

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[modificare | modificare sursă]

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.[11] O listă mai completă a studenților lui Church este disponibilă prin intermediul Mathematics Genealogy Project.

Cărți[modificare | modificare sursă]

Note[modificare | modificare sursă]

  1. ^ a b c d Data.bnf.fr, accesat la 10 octombrie 2015 
  2. ^ a b c d MacTutor History of Mathematics archive, accesat la 22 august 2017 
  3. ^ Genealogia matematicienilor, accesat la 8 august 2016 
  4. ^ The Ridgefield School for Boys, also known as the Ridgefield School, was a private school that existed from 1907 to 1938.
  5. ^ Church, Alonzo. "Logic, arithmetic and automata." In Proceedings of the International Congress of Mathematicians, pp. 23–35. 1962.
  6. ^ Honorary degrees awarded by Case Western Reserve University
  7. ^ Honorary degrees awarded by Princeton University
  8. ^ Finding Aid for The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990
  9. ^ Introduction Alonzo Church: Life and Work”. p. 4. http://www.math.ucla.edu/~hbe/church.pdf. Accesat la 6 iunie 2012. „A deeply religious person, he was a lifelong member of the Presbyterian church.” 
  10. ^ Alonzo Church pe Find a Grave
  11. ^ Mathematics Genealogy Project”. Există o versiune arhivată la 4 august 2010. https://web.archive.org/web/20100804125134/http://www.genealogy.math.ndsu.nodak.edu/id.php?id=8011. Accesat la 12 august 2010. 
  12. ^ 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. http://www.ams.org/bull/1957-63-05/S0002-9904-1957-10129-3/S0002-9904-1957-10129-3.pdf. 
  13. ^ 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. http://www.ams.org/bull/1944-50-03/S0002-9904-1944-08090-7/S0002-9904-1944-08090-7.pdf. 

Bibliografia[modificare | modificare sursă]

Link-uri externe[modificare | modificare sursă]