Viabilidad de las máquinas Gödel

Recientemente me topé con una construcción teórica bastante interesante. Una llamada máquina Gödel

Es un solucionador de problemas general que es capaz de auto-optimización. Es adecuado para entornos reactivos.

Según tengo entendido, se puede implementar como un programa para la máquina universal de Turing, aunque sus requisitos van mucho más allá del hardware actualmente disponible. Sin embargo, no pude encontrar muchos detalles.

¿Se pueden construir tales máquinas en la práctica? ¿Son al menos factibles en nuestro universo?

1. ¿Se pueden construir tales máquinas en la práctica?

   Si. Por "máquina", Schmidhuber simplemente significa "programa de computadora".

2. ¿Son al menos factibles en nuestro universo?

   No en su forma actual: los algoritmos son demasiado ineficientes.

Desde una perspectiva de diez mil metros, Jürgen Schmidhuber (y ex alumnos, como Marcus Hutter) han estado investigando la idea de combinar la búsqueda de Levin con el razonamiento bayesiano para elaborar algoritmos para la resolución general de problemas.

$n$$2^{n}$$n$$2^n$

Han hecho una buena cantidad de trabajo para hacer que los factores constantes sean menos estupendos, horriblemente horribles, y son optimistas de que este tipo de esquema puede funcionar en la práctica. Soy (basado en mi experiencia en la prueba de teoremas automatizados) muy escéptico, ya que las buenas estructuras de datos son críticas para la prueba de teoremas, y las codificaciones de Goedel son estructuras de datos terribles.

¡Pero no sabes que no puede funcionar hasta que intentes hacerlo funcionar! Después de todo, ya vivimos en un mundo donde las personas resuelven problemas reduciéndolos a SAT.