Turing și-a obținut doctoratul de la Departamentul de Matematică

În iunie 1938, și-a obținut doctoratul de la Departamentul de Matematică de la Princeton; disertația sa, Sisteme de logică bazate pe ordinale, a introdus conceptul de logică ordinală și noțiunea de calcul relativ, unde mașinile Turing sunt augmentate cu așa-numitele oracole, permițând studiul problemelor care nu pot fi rezolvate de mașinile Turing. John von Neumann a dorit să-l angajeze ca asistent postdoctoral, dar el s-a întors în Regatul Unit.

Poate conține erori.