Su Vida

Nació el 14 de Junio de 1903 en Washington, EEUU. Fue estudiante de Princeton donde se graduó en 1924, consiguiendo tres años después el doctorado.

Su trayectoria académica fue muy extensa. Pasó un año en la Universidad de Harvard y otro en Göttingen, tras los cuales volvió a Princeton para hacerse profesor de matemáticas entre los años 1929 y 1967. Justo después el eminente profesor se trasladó a California donde ejerció de preofesor de matemáticas y filosofía.

Pasó su vida dedicada a la enseñanza y a la investigación, entrando a formar parte de los mejores investigadores de la lógica, del estudio de la recursión y de la teoría informática.

En su trayectoria tuvo la oportunidad de doctorar a treinta y un estudiantes, de etre los cuales destacan Kleene, Turing o Kemeny.

Finalmente murió el 11 de Agosto de 1995 en Ohio, EEUU.

Su Obra

En su publicación "Un problema irresoluble en la tería elemental de números" explica su teorema más conocido:

" No existe un procedimiento de decisión para la aritmética "

Creó el "1 calculus" en los años treinta, y hoy por hoy sigue siendo de vital importancia para los informáticos.

Escribió el libro "Introducción a la matemática lógica" y fue el fundador de "Journal of Symbolic Logic" en 1936, del que fue editor hasta 1979.

Podreis encotrar la tesis de Turing-Church en http://plato.stanford.edu/entries/church-turing