Alonzo Church

De Viquipèdia
Dreceres ràpides: navegació, cerca
Alonzo Church
Naixement 14 de juny de 1903
Washington, D.C., Estats Units
Mort 11 d'agost de 1995 (als 92 anys)
Hudson, Ohio, Estats Units
Nacionalitat Estats UnitsAmericà
Alma mater Universitat de Princeton
Es coneix per Càlcul lambda
Tesi de Church-Turing

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


Vegeu també[modifica | modifica el codi]