Turing získal doktorát na katedře matematiky
V červnu 1938 získal doktorát na katedře matematiky v Princetonu; jeho disertační práce, Systems of Logic Based on Ordinals (Systémy logiky založené na ordinálech), zavedla koncept ordinální logiky a pojem relativního počítání, kde jsou Turingovy stroje rozšířeny o tzv. orákula, což umožňuje studium problémů, které Turingovy stroje vyřešit nemohou. John von Neumann ho chtěl zaměstnat jako svého postdoktorandského asistenta, ale on se vrátil do Spojeného království.
