Alonzo Church

De Viquipèdia
Dreceres ràpides: navegació, cerca
Alonzo Church
Alonzo Church Princeton.jpg
Naixement 14 de juny de 1903
Washington, D.C., Estats Units
Mort 11 d'agost de 1995 (als 92 anys)
Hudson, Ohio, Estats Units
Residència Estats Units
Nacionalitat Estats UnitsAmericà
Alma mater Universitat de Princeton
Tesi Alternatives a l'assumpció de Zermelo (1927)
Director de tesi Oswald Veblen
Es coneix per Càlcul lambda
Tesi de Church-Turing
Ocupació Matemàtica, Lògica

Alonzo Church (14 de juny de 1903 - 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[modifica | modifica el codi]

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 al 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 al 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 de Harvard el curs de 1927-1928 i l'any següent a la Universitat de Göttingen i la Universitat d'Àmsterdam. 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 al 1969,[2] Universitat de Princeton al 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.

Treball matemàtic[modifica | modifica el codi]

Church és conegut sobretot per:

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[modifica | modifica el codi]

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

Llibres[modifica | modifica el codi]

Vegeu també[modifica | modifica el codi]

  1. L'Escola Ridgefield per a nois, també coneguda com a Escola Ridgefield, era una escola privada que va existir de 1907 a 1938. Veure The Ridgefield School.
  2. Honorary degrees awarded by Case Western Reserve University
  3. Honorary degrees awarded by Princeton University
  4. Finding Aid for The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990
  5. «Introduction Alonzo Church: Life and Work» p. 4. [Consulta: 6 juny 2012]. «A deeply religious person, he was a lifelong member of the Presbyterian church.»
  6. «Mathematics Genealogy Project». [Consulta: 12 agost 2010].
  7. Henkin, Leon. «Review: Introduction to Mathematical Logic by Alonzo Church». Bull. Amer. Math. Soc., 63, 5, 1957, pàg. 320–323. DOI: 10.1090/s0002-9904-1957-10129-3.
  8. Frink Jr., Orrin. «Review: The Calculi of Lambda-Conversion by Alonzo Church». Bull. Amer. Math. Soc., 50, 3, 1944, pàg. 169–172. DOI: 10.1090/s0002-9904-1944-08090-7.