Jabarkan Universiti dan kerja pengkomputeran dari Alan Turing dalam bahasa melayu

Selepas Sherborne, beliau mengambil kursus sarjana muda dari tahun 1931 sehingga tahun 1934 di Kolej King, Cambridge, di mana dia mendapat kepujian pertama di dalam bidang matematik. Pada tahun 1935 (umur 22 tahun), beliau telah dilantik sebagai rakan sekutu Kolej King atas disertasi beliau yang membuktikan pusat had teorem ("Central Limit Theorem"), walaupun pada hakikatnya, teorem tersebut telah dibuktikan oleh Jarl Waldermar Lindeberg pada tahun 1922.

Pada tahun 1936, beliau menerbitkan tesis beliau "On Computable Numbers, with an Application to the Entscheidungsproblem" (1936). Di dalam tesis ini, beliau merumuskan semula keputusan komputeran dan bukti had  Kurt Gödel (tahun 1931); menggantikan bahasa formal sejagat berdasarkan aritmetik milik Gödel dengan peralatan hipotetikal yang formal dan mudah yang kemudiannya dikenali sebagai Mesin Turing.