Turing ottiene il dottorato dal Dipartimento di Matematica

Nel giugno 1938, ottenne il dottorato dal Dipartimento di Matematica di Princeton; la sua tesi, Systems of Logic Based on Ordinals, introdusse il concetto di logica ordinale e la nozione di calcolo relativo, in cui le macchine di Turing sono potenziate con i cosiddetti oracoli, consentendo lo studio di problemi che non possono essere risolti dalle macchine di Turing. John von Neumann voleva assumerlo come suo assistente post-dottorato, ma lui tornò nel Regno Unito.

Potrebbe contenere errori.