حصل تورينج على درجة الدكتوراه في قسم الرياضيات

في يونيو 1938، حصل على الدكتوراه في قسم الرياضيات في جامعة برينستون. قدمت أطروحته، أنظمة المنطق المستندة إلى الترتيب، مفهوم المنطق الترتيبي ومفهوم الحوسبة النسبية، حيث يتم تعزيز آلات تورينج بما يسمى أوراكل، مما يسمح بدراسة المشكلات التي لا يمكن حلها بواسطة آلات تورينج. أراد جون فون نيومان تعيينه كمساعد ما بعد الدكتوراه، لكنه عاد إلى المملكة المتحدة.