CHURCH, ALONZO (1903-1995)

Nac. en Washington, D. C., profesor en el Departamento de Matemáticas de la Universidad de Princeton (1929-1967) y en la Universidad de California, Los Ángeles (de 1967 hasta de­jar la docencia en 1990), se distinguió en lógica matemática por dos contribuciones. Una es la formulación del principio —conocido como «tesis de Church» y, aunque no probado, aceptado ampliamente como axiomático— de que toda función efectivamente calculable es recursiva. El principio permite conectar aspectos sintáctico-computacionales y aspectos numérico-abstractos de las matemáticas. Su trabajo sobre el problema de decisión de Hilbert le condujo a la prueba (pro­porcionada en 1936) de que no puede fraguarse ningún procedimiento de decisión para el cálculo cuantificacional elemental, con lo cual resulta que este cálculo no es decidible. La otra es la elaboración de la lógica lambda, la cual opera solamente con variables cuyo alcance de valores es