एलन ट्यूरिंग
ट्यूरिंग ने गणित विभाग से अपनी पीएचडी प्राप्त की
जून 1938 में, उन्होंने प्रिंसटन के गणित विभाग से अपनी पीएचडी प्राप्त की; उनके शोध प्रबंध, 'सिस्टम्स ऑफ लॉजिक बेस्ड ऑन ऑर्डिनल्स' ने ऑर्डिनल लॉजिक की अवधारणा और सापेक्ष कंप्यूटिंग की धारणा को पेश किया, जहाँ ट्यूरिंग मशीनों को तथाकथित ओरेकल के साथ बढ़ाया जाता है, जिससे उन समस्याओं का अध्ययन संभव हो पाता है जिन्हें ट्यूरिंग मशीनों द्वारा हल नहीं किया जा सकता है। जॉन वॉन न्यूमैन उन्हें अपने पोस्टडॉक्टोरल सहायक के रूप में नियुक्त करना चाहते थे, लेकिन वह यूनाइटेड किंगडम वापस चले गए।