Turing obteve seu PhD no Departamento de Matemática

Em junho de 1938, ele obteve seu PhD no Departamento de Matemática em Princeton; sua dissertação, Systems of Logic Based on Ordinals, introduziu o conceito de lógica ordinal e a noção de computação relativa, onde as máquinas de Turing são aumentadas com os chamados oráculos, permitindo o estudo de problemas que não podem ser resolvidos por máquinas de Turing. John von Neumann queria contratá-lo como seu assistente de pós-doutorado, mas ele voltou para o Reino Unido.

Pode conter erros.