Obre el menú principal

Alonzo Church

matemàtic estatunidenc

VidaModifica

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.

Treball matemàticModifica

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.

EstudiantsModifica

LlibresModifica

Vegeu tambéModifica

ReferènciesModifica

  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.