Ο Turing έλαβε το διδακτορικό του από το Τμήμα Μαθηματικών

Τον Ιούνιο του 1938, έλαβε το διδακτορικό του από το Τμήμα Μαθηματικών στο Princeton. Η διατριβή του, Systems of Logic Based on Ordinals, εισήγαγε την έννοια της τακτικής λογικής και την έννοια του σχετικού υπολογισμού, όπου οι μηχανές Turing ενισχύονται με λεγόμενα μαντεία (oracles), επιτρέποντας τη μελέτη προβλημάτων που δεν μπορούν να επιλυθούν από μηχανές Turing. Ο John von Neumann ήθελε να τον προσλάβει ως μεταδιδακτορικό βοηθό του, αλλά εκείνος επέστρεψε στο Ηνωμένο Βασίλειο.

Ενδέχεται να περιέχει σφάλματα.