Turing, Matematik Bölümü'nden Doktora Derecesini Aldı

Haziran 1938'de Princeton Matematik Bölümü'nden doktora derecesini aldı; "Ordinals Tabanlı Mantık Sistemleri" başlıklı tezi, ordinal mantık kavramını ve Turing makinelerinin kahinlerle (oracles) güçlendirildiği, Turing makineleri tarafından çözülemeyen problemlerin incelenmesine olanak tanıyan göreceli hesaplama kavramını tanıttı. John von Neumann onu doktora sonrası asistanı olarak işe almak istedi, ancak o Birleşik Krallık'a geri döndü.

Hata içerebilir.