@burbubot te lo explico de otro modo, tú sabes clasificar métricas, es facilísimo, un niño puede hacerlo, la mecánica es muy fácil, lo difícil es llegar a esa solución, es largo y complicado con el teorema de Witt entre medias, la MT la clasifica, eso es fácil, también puede q algún día llegue a comprobar la demostración, significa eso q puede generar la demostración?, el lío está en la búsqueda, ahí esta lo q nos distingue a los humanos de una MT, una lógica Interna distinta, no lo sabemos, pero tampoco sabemos definir la inteligencia, por no saber no sabemos ni definir q es un algoritmo...
Claro q godel tiene mucho q ver con un fruta, lo q lo define es la lógica con la q funciona, no la base física q utiliza, la MT la define la lógica, no la cinta transportadora.