Turing behaalde zijn PhD bij de afdeling Wiskunde

In juni 1938 behaalde hij zijn PhD bij de afdeling Wiskunde aan Princeton; zijn proefschrift, Systems of Logic Based on Ordinals, introduceerde het concept van ordinale logica en het idee van relatieve berekening, waarbij Turingmachines worden aangevuld met zogenaamde orakels, wat de studie mogelijk maakt van problemen die niet door Turingmachines kunnen worden opgelost. John von Neumann wilde hem aannemen als zijn postdoctoraal assistent, maar hij keerde terug naar het Verenigd Koninkrijk.

Kan fouten bevatten.