Alonzo ChurchBiografí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 |
---|
|
|
|
|
|
Datos persoais |
---|
País de nacionalidade | Estados Unidos de América |
---|
Relixión | Presbiterianismo (pt) |
---|
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 (pt) |
---|
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 | |
---|
Lingua | Lingua inglesa |
---|
Obra |
---|
Obras destacables |
Doutorando | C. Anthony Anderson, Peter Andrews (pt) , George Alfred Barnard (pt) , Martin Davis (pt) , 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 (pt) , 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 | |
---|
|
|
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.