Esta es una de las implicaciones más importantes de la Tesis de Church-Turing.