Sin embargo, al enunciar la tesis de Church de esta forma nos encontramos con un gran problema: no podemos demostrar formalmente la tesis de Church-Turing, puesto que para ello tendríamos que construir hipercomputadoras cuyos resultados "se consideren computables".