Alonzo Church

Alonzo Church

Biografia
Naixement	14 juny 1903 Washington DC
Mort	11 agost 1995 (92 anys) Hudson (Ohio)
Sepultura	Cementiri de Princeton, Sec. 3, Block 11, Lot 058, Grave 1 40° 21′ 18″ N, 74° 39′ 33″ O
Dades personals
Religió	Presbiterianisme
Formació	Universitat d'Amsterdam (1929–1929) Universitat de Göttingen (1928–1928) Universitat Harvard (1927–1928) Universitat de Princeton (1920–1927)
Tesi acadèmica	Alternatives to Zermelo's Assumption  (1927 )
Director de tesi	Oswald Veblen
Activitat
Camp de treball	Lògica matemàtica, Informàtica teòrica, matemàtiques i lògica
Ocupació	matemàtic, professor d'universitat, filòsof, informàtic
Ocupador	Universitat de Califòrnia a Los Angeles (1967–1990) Universitat de Princeton (1929–1967)
Membre de	Acadèmia Americana de les Arts i les Ciències Associació americana per l'avanç de la ciència Acadèmia Nacional de Ciències dels Estats Units
Obra
Obres destacables Tesi de Church-Turing teorema de Church-Rosser teorema de Church-Turing Ontologia de Frege-Church Càlcul lambda (1985) Principi de Church-Turing-Deutsch
Estudiant doctoral	C. Anthony Anderson, Peter Andrews, George Alfred Barnard, Martin Davis, Leon Henkin, John George Kemeny, Stephen Kleene, Michael Oser Rabin, Hartley Rogers, John Barkley Rosser, Nathan Salmon, Dana Scott, Raymond Smullyan, Alan Turing, Alfred Foster, Nicholas Rescher, Norman Shapiro, William Boone, Gerald Massey, Simon Kochen, Maurice L'Abbé, Robert Ritchie, Isaac Malitz, Wayne Richter, Joel Robbin, William Easton, Enrique Bustamente-Llaca, Aubert Daigneault, James Guard, James Bennett, Robert Winder, Gustav Hensel, Donald Collins, Edward Chapin, Bijan Arbab i Gary Mar
Localització dels arxius	Arxius de l'Escola Politècnica Federal de Zuric [ CH-001807-7:Hs 984] Biblioteca de la Universitat de Princeton C0948
Família
Cònjuge	Mary Julia Kuczinski
Pares	Samuel Robbins Church i Mildred Hannah Letterman Parker

Alonzo Church (Washington DC, 14 de juny de 1903 - Hudson, 11 d'agost de 1995) fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica. És conegut principalment pel càlcul lambda, la tesi de Church-Turing, l'ontologia de Frege-Church, el teorema de Church-Rosser i per demostrar la indecidibilitat de l'Entscheidungsproblem.

Vida

Alonzo Church va néixer el 14 de juny de 1903 a Washington, D.C. on el seu pare, Samuel Robbins Church, era el jutge del Jutjat Municipal pel Districte de Columbia. La família es va mudar a Virginia quan el seu pare va perdre aquesta feina pel deteriorament de la seva vista. Amb ajut del seu oncle, que també es deia Alonzo Church, va poder assistir a l'Escola Ridgefield per a nois a Ridgefield, Connecticut. Després de graduar-se de Ridgefield el 1920, Church va assistir a la Universitat de Princeton on va ser un estudiant excepcional, publicant el seu primer article, sobre Transformacions de Lorentz, i graduant-se el 1924 amb una llicenciatura en matemàtiques. Va romandre a Princeton i va obtenir un doctorat en matemàtiques en tres anys sota la supervisió d'Oswald Veblen.

Es va casar amb Mary Julia Kuczinski l'any 1925 i van tenir tres fills, Alonzo Church, Jr. (1929), Mary Ann (1933) i Mildred (1938).

Després d'obtenir el seu graduat va ensenyar breument a la Universitat de Chicago i després va rebre una beca nacional de recerca de dos anys al Consell Nacional de la Recerca dels Estats Units. Això li va permetre assistir a la Universitat Harvard el curs de 1927-1928 i l'any següent a la Universitat de Göttingen i la Universitat d'Amsterdam. Va ensenyar Filosofia i Matemàtiques a Princeton de 1929 a 1967, i a la Universitat de Califòrnia a Los Angeles, de 1967 a 1990. Va rebre doctorats honoris causa en ciències per la Universitat Case Western Reserve el 1969, Universitat de Princeton el 1985, i la Universitat de Buffalo al 1990 en connexió amb un simposi internacional en el seu honor organitzat per John Corcoran.

Va ser una persona profundament religiosa, va ser membre de l'Església Presbiteriana tota la seva vida.

Va morir l'any 1995 i va ser enterrant al Cementiri de Princeton.

Treball matemàtic

Church és conegut sobretot per:

• La seva prova que l'Entscheidungsproblem, que requereix un procediment de decisió per determinar la certesa de proposicions arbitràries en una teoria matemàtica, és indecidible per la teoria de l'aritmètica de Peano. Això es coneix amb el nom de teorema de Church.
• La seva articulació del que es coneix com la tesi de Church-Turing.
• Va ser l'editor fundador del Journal of Symbolic Logic, editant la seva secció de revisions fins a l'any 1979.
• La creació del Càlcul lambda.

El càlcul lambda va emergir en el seu article de 1936 que demostrava la irresolubilitat de l'Entscheidungsproblem. Aquest resultat va precedir el treball d'Alan Turing en el Problema de la parada, que també demostrava l'existència d'un problema irresoluble per mitjans mecànics. Church i Turing aleshores van demostrar que el càlcul lambda i la Màquina de Turing utilitzada en el problema de la parada de Turing eren equivalents en capacitats, i posteriorment van demostrar una gama de "processos mecànics per a la computació" alternatius. Això va donar lloc a la tesi de Church-Turing.

El càlcul lambda va influir en el disseny del llenguatge de programació Lisp i dels llenguatges de programació funcional en general. La codificació de Church és anomenada així en el seu honor.

Estudiants

Molts dels estudiants de doctorat de Church han tingut carreres distingides, incloent C. Anthony Anderson, Peter B. Andrews, George A. Barnard, David Berlinski, William W. Boone, Martin Davis, Alfred Leon 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. Una llista més completa dels estudiants de Church és disponible a través de Mathematics Genealogy Project.

Llibres

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

Vegeu també

• Alan Turing
• Càlcul lambda
• Entscheidungsproblem
• Lògica combinatòria
• Tesi de Church-Turing

Bibliografia

• Chimakonam Okeke, Jonathan. Proof in Alonzo Church's and Alan Turing's Mathematical Logic (en anglès). Dissertation.com, 2012. ISBN 978-1-61233-951-1. 
• Church, Alonzo. Tyler Burge, Herbert B. Enderton (eds.). The Collected Works of Alonzo Church (en anglès). MIT Press, 2019. ISBN 978-0-2620-2564-5. 
• Copeland, B.Jack; Posy, Carl J.; Shagrir, Oron. Computability: Turing, Gödel, Church, and Beyond (en anglès). MIT Press, 2013. ISBN 978-0-262-01899-9. 
• Enderton, H.B. «In Memoriam: Alonzo Church 1903–1995» (en anglès). Bulletin of Symbolic Logic, Vol. 1, Num. 4, 1995, pàg. 486-488. DOI: 10.1017/S1079898600008040. ISSN: 1079-8986.
• Enderton, H.B. «Alonzo Church and the Reviews» (en anglès). The Bulletin of Symbolic Logic, Vol. 4, Num. 2, 1998, pàg. 172-180. DOI: 10.2307/421021. ISSN: 1079-8986.
• Manzano, María «Vida, obra y algunos milagros de Alonzo Church» (en castellà). Ágora : Papeles de Filosofía, Vol. 18, Num. 1, 1999, pàg. 107-132. DOI: 10.1080/01445349708837290. ISSN: 0211-6642.
• O'Regan, Gerard. «15. Alonzo Church». A: Giants of Computing (en anglès). Springer, 2013, p. 67-70. ISBN 978-1-4471-5339-9. 
• Shore, Richard A. «Alonzo Church» (en anglès). Bulletin of Symbolic Logic, Vol. 3, Num. 2, 1997, pàg. 153-153. DOI: 10.1017/S1079898600007575. ISSN: 1079-8986.

Enllaços externs

• O'Connor, John J.; Robertson, Edmund F. «Alonzo Church» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.
• Hosch, William L. «Alonzo Church». Encyclopaedia Britannica, 2009. [Consulta: 14 juny 2021]. (anglès)
• Anderson, C.Anthony. «Church, Alonzo (1903–1995)». Encyclopedia of Philosophy, 2005. [Consulta: 14 juny 2021]. (anglès)
• Copeland, B. Jack. «The Church-Turing Thesis». The Stanford Encyclopedia of Philosophy, 2020. [Consulta: 14 juny 2021]. (anglès)
• «Alonzo Church». National Academy of Sciences. [Consulta: 14 juny 2021]. (anglès)