最近，@LKrauss1 和其他人发表的论文《物理学中不可判定性的后果对一切理论的影响》认为，哥德尔/塔尔斯基的不完全性意味着现实不可能是模拟。但他们犯了一个类别错误。🧵

“完整的现实理论”不需要证明其自身的一致性。 形式的不完全性 ≠ 物理的不完全性。 我们会期待这样的理论是形式上不完全的。无法证明的陈述仅仅对应于现实中的不可简化结构，并不使其失效。

作者将哥德尔句子映射到物理事实（例如，“特定的黑洞微态”），然后要求一个“在自然中实现”的非算法真理谓词。这在没有任何理由的情况下，从元逻辑跳到了本体论。