Biografias y Vidas
Inicio
Buscador
Índices
Monografías
Reportajes

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.


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.

Inicio   Buscador   Índice alfabético   Recomendar sitio   Añadir a favoritos