Turing uzyskał doktorat na Wydziale Matematyki

W czerwcu 1938 roku uzyskał doktorat na Wydziale Matematyki w Princeton; jego rozprawa, Systems of Logic Based on Ordinals, wprowadziła koncepcję logiki porządkowej i pojęcie obliczeń relatywnych, gdzie maszyny Turinga są wzbogacone o tzw. wyrocznie, co pozwala na badanie problemów, których nie można rozwiązać za pomocą maszyn Turinga. John von Neumann chciał zatrudnić go jako swojego asystenta podoktorskiego, ale Turing wrócił do Wielkiej Brytanii.

Może zawierać błędy.