Turing je seveda vedel, da tudi pravzaprav ni nič drugega kakor nekakšna zelo zapletena matematična formula in torej ni nobenega teoretičnega zadržka, da mu računalniki ne bili kos. Še več, leta 1950 je v članku Računski stroji in pamet (Computing Machines and Intelligence) postavil hipotezo, da je mogoče človeški razum oziroma delovanje možganov matematično opisati. Da, skratka, ni samo zapletena matematična formula, temveč je to pravzaprav vsako razmišljanje in zaradi tega ni nobene teoretične ovire, da ga ne bi zmogel dovolj napreden računalnik.