Tuore artikkeli "Consequences of Undecidability in Physics on the Theory of Everything", jonka @LKrauss1 ja muut kirjoittavat, väittää, että Gödelin ja Tarskin epätäydellisyys viittaa siihen, että todellisuus ei voi olla simulaatio. Mutta he tekevät luokkavirheen. 🧵

"Täydellisen todellisuusteorian" ei tarvitse todistaa omaa johdonmukaisuuttaan. Muodollinen keskeneräisyys ≠ fyysinen keskeneräisyys. Odotamme tällaisen teorian olevan muodollisesti epätäydellinen. Todistamattomat väitteet yksinkertaisesti vastaisivat todellisuudessa redusoimattomia rakenteita, eivät mitätöisi sitä.

Kirjoittajat yhdistävät Gödelin lauseet fysikaalisiin tosiasioihin (esim. "tietyt mustan aukon mikrotilat") ja vaativat sitten ei-algoritmista totuuspredikaattia, joka on "toteutunut luonnossa". Tämä hyppää metalogiikasta ontologiaan ilman mitään perusteluja.