טיורינג קיבל את הדוקטורט שלו מהמחלקה למתמטיקה
ביוני 1938 קיבל את הדוקטורט שלו מהמחלקה למתמטיקה בפרינסטון; עבודת הדוקטורט שלו, "מערכות לוגיות המבוססות על סודרים", הציגה את המושג לוגיקה סודרת ואת הרעיון של חישוב יחסי, שבו מכונות טיורינג מורחבות באמצעות מה שמכונה "אורקלים", המאפשרים לחקור בעיות שלא ניתן לפתור על ידי מכונות טיורינג. ג'ון פון נוימן רצה להעסיק אותו כעוזר פוסט-דוקטורט, אך הוא חזר לממלכה המאוחדת.
