Viabilidade das máquinas Gödel

Recentemente me deparei com uma construção teórica bastante interessante. Uma máquina chamada Gödel

É um solucionador de problemas geral capaz de auto-otimização. É adequado para ambientes reativos.

Pelo que entendi, ele pode ser implementado como um programa para a máquina universal de Turing, embora seus requisitos vão muito além do hardware atualmente disponível. Não consegui encontrar muitos detalhes, no entanto.

Essas máquinas podem ser construídas na prática? Eles são pelo menos viáveis ​​em nosso universo?

1. Essas máquinas podem ser construídas na prática?

   Sim. Por "máquina", Schmidhuber significa apenas "programa de computador".

2. Eles são pelo menos viáveis ​​em nosso universo?

   Não na sua forma atual - os algoritmos são muito ineficientes.

De uma perspectiva de dez mil metros, Jürgen Schmidhuber (e ex-alunos, como Marcus Hutter) vem investigando a idéia de combinar a pesquisa de Levin com o raciocínio bayesiano para elaborar algoritmos para a solução geral de problemas.

A idéia básica por trás da pesquisa de Levin é que é possível usar códigos de encaixe e Goedel para fornecer um único algoritmo que é, até fatores constantes, ideal. Vagamente, você corrige uma codificação Godel de programas e executa uma máquina de Turing que executa$n$$2^{n}$$n$$2^n$

Eles fizeram bastante trabalho para tornar os fatores constantes menos estupendamente, horrivelmente horríveis e estão otimistas de que esse tipo de esquema possa funcionar na prática. Eu sou (com base na minha experiência na prova automatizada de teoremas) muito cético, pois boas estruturas de dados são críticas para a prova de teoremas, e as codificações de Goedel são terríveis estruturas de dados.

Mas você não sabe que não pode funcionar até tentar fazê-lo funcionar! Afinal, já vivemos em um mundo onde as pessoas resolvem problemas reduzindo o SAT.