Alan Turing
Turing obtuvo su doctorado en el Departamento de Matemáticas
Princeton, Nueva Jersey, EE. UU.
En junio de 1938, obtuvo su doctorado en el Departamento de Matemáticas de Princeton; su tesis, Sistemas de lógica basados en ordinales, introdujo el concepto de lógica ordinal y la noción de computación relativa, donde las máquinas de Turing se aumentan con los llamados oráculos, permitiendo el estudio de problemas que no pueden ser resueltos por máquinas de Turing. John von Neumann quiso contratarlo como su asistente postdoctoral, pero él regresó al Reino Unido.
Puede contener errores.