Turing obtient son doctorat du département de mathématiques

En juin 1938, il a obtenu son doctorat du département de mathématiques de Princeton ; sa thèse, Systems of Logic Based on Ordinals, a introduit le concept de logique ordinale et la notion de calcul relatif, où les machines de Turing sont augmentées de soi-disant oracles, permettant l'étude de problèmes qui ne peuvent être résolus par des machines de Turing. John von Neumann voulait l'embaucher comme assistant postdoctoral, mais il est retourné au Royaume-Uni.

Peut contenir des erreurs.