Turing promovierte am Fachbereich Mathematik

Im Juni 1938 promovierte er am Fachbereich Mathematik in Princeton; seine Dissertation, Systems of Logic Based on Ordinals, führte das Konzept der Ordinal-Logik und den Begriff der relativen Berechnung ein, bei dem Turingmaschinen durch sogenannte Orakel erweitert werden, was die Untersuchung von Problemen ermöglicht, die von Turingmaschinen nicht gelöst werden können. John von Neumann wollte ihn als seinen Postdoktoranden einstellen, aber er kehrte in das Vereinigte Königreich zurück.

Kann Fehler enthalten.