Una de las razones por las que los matemáticos aceptan estos constructos formales como modelos precisos de la noción intuitiva de calculabilidad es que todos los análogos formales de computación que s...Una de las razones por las que los matemáticos aceptan estos constructos formales como modelos precisos de la noción intuitiva de calculabilidad es que todos los análogos formales de computación que se han propuesto han demostrado ser equivalentes, y cada uno de ellos también es equivalente a la noción de representabilidad que definimos en la última sección.