Church (Alonzo)

Matemático y lógico estadounidense (Washington D. C. 1903 – Hudson, Ohio, 1995), creador de la base de la computación teórica.

Se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton. Enseñó poco tiempo como instructor en la Universidad de Chicago. Recibió una beca nacional de investigación de dos años que le permitió asistir a la Universidad de Harvard entre 1927 y 1928, a la Universidad de Gotinga y a la Universidad de Ámsterdam al año siguiente. Enseñó filosofía y matemáticas en Princeton durante casi cuatro décadas (1929-1967); entre 1967 y 1990 enseñó en la Universidad de California, Los Ángeles. Church era muy religioso y fue miembro de toda la vida de la iglesia presbiteriana. Publicó trabajos sobre lógica, filosofía, matemáticas y computación entre 1924 y 1995. Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles.

    ontología Frege-Turing.  m. Filos. Es una teoría de la existencia. Se considera que todo está en tres categorías; objeto (referente, denotación), nombre o concepto asociado (sentido). La ontología fue desarrollada por Alonzo Church basada en ideas de Gottlob Frege para resolver algunas paradojas.

    teorema de Church-Rosser.  m. Mat. Establece que, al aplicar las reglas de reducción a los términos en algunas variantes tipificadas del cálculo lambda, el orden en el que se eligen las reducciones no influye en el resultado final.

    tesis de Church-Turing.  m. Mat. Tesis que formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser “todo algoritmo es equivalente a una máquina de Turing”. No es un teorema matemático, es una afirmación formalmente indemostrable que, no obstante, tiene una aceptación prácticamente universal.