Alonzo Church

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.^[1] 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,^[2] Universitat de Princeton el 1985,^[3] i la Universitat de Buffalo al 1990 en connexió amb un simposi internacional en el seu honor organitzat per John Corcoran.^[4]

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

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

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.

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.^[6] Una llista més completa dels estudiants de Church és disponible a través de Mathematics Genealogy Project.

• Alonzo Church, Introduction to Mathematical Logic (ISBN 978-0-691-02906-1)^[7]
• Alonzo Church, The Calculi of Lambda-Conversion (ISBN 978-0-691-08394-0)^[8]
• 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)

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

• 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.

• 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)