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 (pt) ; 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	Arquivos da Escola Politécnica Federal de Zúric [ CH-001807-7:Hs 984]; Biblioteca da Universidade de Princeton (pt) C0948 ;

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.

Traxectoria

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.

Véxase tamén

Ligazóns externas

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