@LKrauss1 ve diğerleri tarafından yazılan "Fizikte Karar Verilemezliğin Her Şeyin Teorisi Üzerindeki Sonuçları" adlı son makale, Gödel/Tarski eksikliğinin gerçekliğin bir simülasyon olamayacağını ima ettiğini savunuyor. Ama kategori hatası yapıyorlar. 🧵

"Tam bir gerçeklik teorisi"nin kendi tutarlılığını kanıtlaması gerekmez. Biçimsel eksiklik ≠ fiziksel eksiklik. Böyle bir teorinin biçimsel olarak eksik olmasını beklerdik. Kanıtlanamayan ifadeler, gerçekte indirgenemez yapılara karşılık gelir, onu geçersiz kılmaz.

Yazarlar, Gödel cümlelerini fiziksel gerçeklerle (örneğin, "belirli kara delik mikro durumları") eşleştirir ve ardından "doğada gerçekleşmiş" algoritmik olmayan bir doğruluk yüklemi talep eder. Bu, herhangi bir gerekçe olmaksızın meta-mantıktan ontolojiye atlar.