Fattibilità delle macchine Gödel

Di recente mi sono imbattuto in un costrutto teorico piuttosto interessante. Una cosiddetta macchina Gödel

È un risolutore di problemi generali in grado di autoottimizzarsi. È adatto per ambienti reattivi.

A quanto ho capito, può essere implementato come programma per la macchina Turing universale, sebbene i suoi requisiti vadano ben oltre l'hardware attualmente disponibile. Non sono riuscito a trovare molti dettagli, però.

Tali macchine possono essere costruite in pratica? Sono almeno fattibili nel nostro universo?

1. Tali macchine possono essere costruite in pratica?

   Sì. Per "macchina", Schmidhuber significa semplicemente "programma per computer".

2. Sono almeno fattibili nel nostro universo?

   Non nella loro forma attuale: gli algoritmi sono troppo inefficienti.

Da una prospettiva di diecimila metri, Jürgen Schmidhuber (ed ex studenti, come Marcus Hutter) hanno studiato l'idea di combinare la ricerca di Levin con il ragionamento bayesiano per elaborare algoritmi per la risoluzione generale dei problemi.

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

Hanno fatto un buon lavoro per rendere i fattori costanti meno stupendamente, terribilmente terribili e sono ottimisti sul fatto che questo tipo di schema possa funzionare nella pratica. Sono (basato sulla mia esperienza nella dimostrazione di teoremi automatizzati) molto scettico, poiché le buone strutture di dati sono fondamentali per la dimostrazione del teorema e le codifiche di Goedel sono strutture di dati terribili.

Ma non sai che non può funzionare fino a quando non provi a farlo funzionare! Dopotutto, viviamo già in un mondo in cui le persone risolvono i problemi riducendo a SAT.