Alonzo Church

Alonzo Church Nacimiento 14 de junio de 1903 Washington, D.C., EEUU Fallecimiento 11 de agosto de 1995 Hudson, Ohio, EEUU Nacionalidad(es) Estadounidense Campo(s) Matemáticas, Lógica Instituciones Universidad de Princeton 1929–67UCLA 1967–95 Alma máter Universidad de Princeton Conocido por Cálculo LambdaTesis de Church-TuringOntología de Frege-ChurchTeorema de Church-Rosser (Washington D.C., Estados Unidos, 14-VI-1903 - Hudson, Ohio, Estados Unidos, 8-XI-VIII-1995). Matemático y lógico estadounidense. Profesor de matemáticas en la Universidad de Princeton hasta 1961, es el creador de la lógica que sólo opera con variables cuyo alcance de valores se deja sin especificar (lógica lambda). También es suya la prueba de la indecidibilidad del cálculo cuantificacional elemental. Ha publicado el Diario de lógica simbólica e Introducción a la lógica matemática (1944–1956).