Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Alonzo Church
#1
Alonzo Church
(Washington, 1903 - Hudson, 1995) Matemático estadounidense. Profesor en la Universidad de Princeton y en la de California, se especializó en lógica matemática, metalógica y metamatemática.
[Image: church_alonzo.jpg]
Alonzo Church
De sus trabajos es notable su concepto de calculabilidad de una función y su demostración de la indecidibilidad de la lógica de primer orden, es decir, del cálculo cuantificacional elemental. Alonzo Church desarrolló asimismo el cálculo de conversión lambda, que permite efectuar operaciones lógicas con variables generalizadas.
Destacan, dentro de su abundante producción teórica, sus obras Cálculo de conversión lambda (1941) e Introducción a la lógica matemática (1944). Church difundió sus trabajos a través del Journal of Symbolic Logic, publicación que él mismo dirigía y editaba desde 1936.
Reply


Possibly Related Threads...
Thread Views
  Sir Arthur Herbert Church 10
  Frederick Edwin Church 13

Forum Jump:

Close