Den nyligen publicerade artikeln "Consequences of Undecidability in Physics on the Theory of Everything" av @LKrauss1 och andra hävdar att Gödel/Tarskis ofullständighet innebär att verkligheten inte kan vara en simulering. Men de gör ett kategorifel. 🧵

En "fullständig teori om verkligheten" behöver inte bevisa sin egen konsekvens. Formell ofullständighet ≠ fysisk ofullständighet. Vi förväntar oss att en sådan teori är formellt ofullständig. De obevisbara påståendena skulle helt enkelt motsvara irreducibla strukturer i verkligheten, inte ogiltigförklara dem.

Författarna kopplar Gödels meningar till fysikaliska fakta (t.ex. "specifika mikrostater i svarta hål") och kräver sedan ett icke-algoritmiskt sanningspredikat "aktualiserat i naturen". Detta hoppar från metalogik till ontologi utan någon som helst motivering.