Turing je seveda dobro vedel, da tudi pravzaprav ni nič drugega kot nekakšna zelo zapletena matematična formula in da torej ni nobenega teoretičnega zadržka, da mu računalniki ne bi 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 da zaradi tega ni nobene teoretične ovire, da ga ne bi zmogel dovolj napreden računalnik.