Den nylige artikkelen "Consequences of Undecidability in Physics on the Theory of Everything" av @LKrauss1 og andre argumenterer for at Gödel/Tarskis ufullstendighet innebærer at virkeligheten ikke kan være en simulering. Men de gjør en kategorifeil. 🧵

En «fullstendig teori om virkeligheten» trenger ikke å bevise sin egen konsistens. Formell ufullstendighet ≠ fysisk ufullstendighet. Vi forventer at en slik teori er formelt ufullstendig. De ubeviselige utsagnene ville ganske enkelt korrespondere med irreduserbare strukturer i virkeligheten, ikke ugyldiggjøre den.

Forfatterne kartlegger Gödel-setninger til fysiske fakta (f.eks. «spesifikke svarte hull-mikrotilstander») og krever deretter et ikke-algoritmisk sannhetspredikat «aktualisert i naturen». Dette hopper fra metalogikk til ontologi uten noen begrunnelse.