У нещодавній статті «Наслідки нерозв'язності у фізиці на теорію всього» @LKrauss1 та інших стверджується, що неповнота Геделя/Тарського передбачає, що реальність не може бути симуляцією. Але вони припускаються помилки в категорії. 🧵

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

Автори зіставляють речення Геделя з фізичними фактами (наприклад, «специфічними мікростанами чорної діри»), а потім вимагають неалгоритмічного предикату істини, «актуалізованого в природі». Це перескакує з металогіки в онтологію без будь-якого обґрунтування.