Alonzo Church

Plantilla:Infotaula personaAlonzo Church
Biografia
Naixement14 juny 1903 Modifica el valor a Wikidata
Washington DC Modifica el valor a Wikidata
Mort11 agost 1995 Modifica el valor a Wikidata (92 anys)
Hudson (Ohio) Modifica el valor a Wikidata
SepulturaCementiri de Princeton, Sec. 3, Block 11, Lot 058, Grave 1 40° 21′ 18″ N, 74° 39′ 33″ O / 40.354977°N,74.659112°O / 40.354977; -74.659112 Modifica el valor a Wikidata
ReligióPresbiterianisme Modifica el valor a Wikidata
FormacióUniversitat d'Amsterdam (1929–1929)
Universitat de Göttingen (1928–1928)
Universitat Harvard (1927–1928)
Universitat de Princeton (1920–1927) Modifica el valor a Wikidata
Tesi acadèmicaAlternatives to Zermelo's Assumption Modifica el valor a Wikidata (1927 Modifica el valor a Wikidata)
Director de tesiOswald Veblen Modifica el valor a Wikidata
Activitat
Camp de treballLògica matemàtica, Informàtica teòrica, matemàtiques i lògica Modifica el valor a Wikidata
Ocupaciómatemàtic, professor d'universitat, filòsof, informàtic Modifica el valor a Wikidata
OcupadorUniversitat de Califòrnia a Los Angeles (1967–1990)
Universitat de Princeton (1929–1967) Modifica el valor a Wikidata
Membre de
Obra
Obres destacables
Estudiant doctoralC. Anthony Anderson, Peter Andrews, George Alfred Barnard, Martin Davis, Leon Henkin, John George Kemeny, Stephen Kleene, Michael Oser Rabin, Hartley Rogers, John Barkley Rosser, Nathan Salmon, Dana Scott, Raymond Smullyan, Alan Turing, Alfred Foster, Nicholas Rescher, Norman Shapiro, William Boone, Gerald Massey, Simon Kochen, Maurice L'Abbé, Robert Ritchie, Isaac Malitz, Wayne Richter, Joel Robbin, William Easton, Enrique Bustamente-Llaca, Aubert Daigneault, James Guard, James Bennett, Robert Winder, Gustav Hensel, Donald Collins, Edward Chapin, Bijan Arbab i Gary Mar Modifica el valor a Wikidata
Localització dels arxius
Família
CònjugeMary Julia Kuczinski Modifica el valor a Wikidata
ParesSamuel Robbins Church i Mildred Hannah Letterman Parker
Find a Grave: 7076221 Modifica el valor a Wikidata


Alonzo Church (Washington DC, 14 de juny de 1903 - Hudson, 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.