Aunque exponer un algoritmo que no sea Turing-computable no es tan fácil, pero, es más "fácil" que probar la verdad de la tesis, ya que parece imposible negar que sea verdadera a pesar de que eso es una posibilidad lógica.