تورینگ دکترای خود را از دانشکده ریاضیات دریافت کرد
در ژوئن ۱۹۳۸، او دکترای خود را از دانشکده ریاضیات پرینستون دریافت کرد؛ پایاننامه او با عنوان «سیستمهای منطقی مبتنی بر اعداد ترتیبی»، مفهوم منطق ترتیبی و مفهوم محاسبات نسبی را معرفی کرد که در آن ماشینهای تورینگ با استفاده از به اصطلاح «اوراکلها» تقویت میشوند و امکان مطالعه مسائلی را فراهم میکنند که توسط ماشینهای تورینگ قابل حل نیستند. جان فون نویمان میخواست او را به عنوان دستیار پسادکتری خود استخدام کند، اما او به بریتانیا بازگشت.
