Turing Memperoleh Gelar PhD dari Departemen Matematika

Pada Juni 1938, ia memperoleh gelar PhD dari Departemen Matematika di Princeton; disertasinya, Systems of Logic Based on Ordinals, memperkenalkan konsep logika ordinal dan gagasan komputasi relatif, di mana mesin Turing ditambah dengan apa yang disebut orakel, yang memungkinkan studi masalah yang tidak dapat diselesaikan oleh mesin Turing. John von Neumann ingin mempekerjakannya sebagai asisten pascadoktoral, tetapi ia kembali ke Inggris.

Mungkin mengandung kesalahan.