Alonzo Church

Alonzo Church

Biografía
Nacemento	14 de xuño de 1903 Washington, D.C., Estados Unidos de América
Morte	11 de agosto de 1995 (92 anos) Hudson, Estados Unidos de América (pt)
Lugar de sepultura	Cemitério de Princeton (pt) , Sec. 3, Block 11, Lot 058, Grave 1 40°21′18″N 74°39′33″O / 40.354977, -74.659112
Relixión	Presbiterianismo
Educación	Universidade de Ámsterdam (1929–1929) Universidade de Gotinga (1928–1928) Universidade Harvard (1927–1928) Universidade de Princeton (1920–1927)
Tese académica	Alternatives to Zermelo's Assumption (en)  (1927 )
Director de tese	Oswald Veblen
Actividade
Campo de traballo	Lóxica matemática, Ciencia computacional teórica, matemáticas e lóxica
Ocupación	matemático, profesor universitario, filósofo, informático teórico
Empregador	Universidade de California, Os Ánxeles (1967–1990) Universidade de Princeton (1929–1967)
Membro de	Academia das Artes e das Ciencias dos Estados Unidos Asociación Americana para o Avance das Ciencias Academia Naciona de Ciencias dos Estados Unidos
Obra
Obras destacables Tese de Church-Turing Teorema de Church-Rosser (pt) Church–Turing theorem (en) Frege–Church ontology (en) cálculo lambda (pt) (1985) Princípio de Church-Turing-Deutsch (pt)
Doutorando	C. Anthony Anderson, Peter Andrews (pt) , George Alfred Barnard (pt) , Martin Davis, Leon Henkin, John George Kemeny, Stephen Kleene (pt) , Michael Rabin (pt) , Hartley Rogers (pt) , John Barkley Rosser (pt) , Nathan Salmon (en) , Dana Scott, Raymond Smullyan (pt) , Alan Turing, Alfred Leon Foster (pt) , Nicholas Rescher, Norman Shapiro (pt) , William Boone (pt) , Gerald J. Massey (en) , Simon B. Kochen (pt) , Maurice L'Abbé (en) , Robert Wells Ritchie (en) , Isaac Malitz (en) , Wayne Harvey Richter (en) , Joel Robbin (pt) , William Bigelow Easton (pt) , Enrique Bustamente-Llaca (en) , Aubert Daigneault (en) , James Russell Guard (en) , James Hallam Bennett (en) , Robert Owen Winder (en) , Gustav Bernard Hensel (en) , Donald James Collins (en) , Edward William, Jr. Chapin (en) , Bijan Arbab (en) e Gary R. Mar (en)
Arquivos en	Biblioteca da Universidade de Princeton (pt) C0948 Arquivos da Escola Politécnica Federal de Zúric [ CH-001807-7:Hs 984]

Alonzo Church, nado o 14 de xuño de 1903 e finado o 11 de agosto de 1995, foi un matemático e lóxico norteamericano que creou a base da computación teórica.

Nado na cidade de Washington, diplomouse na Universidade de Princeton en 1924 e obtivo o doutoramento en 1927, onde exerceu como profesor entre 1929 e 1967.

A súa obra máis coñecida é o desenvolvemento do cálculo lambda, e o seu traballo de 1936 que mostra a existencia de problemas indecidibles. Este traballo precedeu ao famoso traballo do seu alumno Alan Turing sobre o problema de parada que tamén demostrou a existencia de problemas irresolubles por dispositivos mecánicos. Despois de revisar a tese doutoral de Turing, demostraron que o cálculo lambda e a máquina de Turing utilizada para expresar o problema de parada tiñan igual poder de expresión; posteriormente demostraron que unha variedade de procesos mecánicos alternos para realizar cálculos tiñan poder de cómputo equivalente. Como resultado postulouse a Tese de Church-Turing.

Entre os máis coñecidos estudantes de doutoramento de Church están Stephen Kleene, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael O. Rabin, Dana Scott, Simon Kochen e Raymond Smullyan.

O cálculo lambda tivo influencia no deseño da linguaxe Lisp así como as linguaxes de programación funcional.

• Biografía de Church, en inglés
• H B Enderton, In memoriam: Alonzo Church