Studi alla Princeton University
tempo: set, 1936
Luogo: Princeton, New Jersey, Stati Uniti
dettagli: Dal settembre 1936 al luglio 1938, Turing trascorse la maggior parte del suo tempo studiando sotto la guida di Church alla Princeton University, nel secondo anno come Jane Eliza Procter Visiting Fellow. Oltre al suo lavoro puramente matematico, studiò crittologia e costruì anche tre dei quattro stadi di un moltiplicatore binario elettromeccanico. Nel giugno 1938, ottenne il dottorato di ricerca presso il Dipartimento di Matematica di Princeton; la sua tesi, "Sistemi di logica basati su ordinali", 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.
Ordinamento approssimativo. Alcuni eventi potrebbero apparire fuori ordine poiché molti sono noti solo per l'anno, ma solitamente appartengono allo stesso periodo.
Correlato
Vicino
































































































































































































September 1936






















1936







































































































































































































