Según la tesis de Church-Turing si no podemos resolver un problema mediante una máquina de Turing, entonces no seremos capaces de encontrar ningún tipo de máquina algorítmica que resuelva dicho problema.