Недавняя статья "Последствия недоопределимости в физике для теории всего" @LKrauss1 и других утверждает, что неполнота Гёделя/Тарского подразумевает, что реальность не может быть симуляцией. Но они совершают категориальную ошибку.🧵

«Полная теория реальности» не обязана доказывать свою собственную согласованность. Формальная неполнота ≠ физическая неполнота. Мы бы ожидали, что такая теория будет формально неполной. Непроверяемые утверждения просто будут соответствовать неразложимым структурам в реальности, а не опровергать её.

Авторы сопоставляют предложения Гёделя с физическими фактами (например, "конкретные микросостояния черной дыры") и затем требуют неалгоритмический предикат истины, "актуализированный в природе". Это переходит от мета-логики к онтологии без какой-либо обоснования.