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).
Está viendo el 37% del contenido de este artículo.
Solicite el acceso a su biblioteca para poder consultar nuestros recursos electrónicos.
37%
Ventajas de ser usuario registrado.
ACCESO COMPLETO
Acceso sin restricciones a todo el contenido de la obra.
SIN PUBLICIDAD
Sólo información contrastada de prestigiosos sellos editoriales.
ACTUALIZACIÓN
Contenidos de renombrados autores y actualizaciones diarias.
La nueva plataforma del Consorcio ofrece una experiencia de búsqueda de fácil manejo y de gran usabilidad. Contiene funciones únicas que permiten navegar y realizar consultas de manera ágil y dinámica.
Convenios especiales: Enseñanza Bibliotecas públicas