可provability vs. 执行：对《Undecidability in Physics and the Theory of Everything》 的评论
物理学史与哲学
2025-12-16 v1
摘要
Faizal 等 (2025) 的近期工作声称，关于我们宇宙中非算法性真理的哥德尔不可判性意味着不可能建立形式化、算法化的宇宙模拟。本文澄清了哥德尔不可判性中认识论不完整性（形式系统内可证明事物的限制）与本体论不完整性（该系统能存在或计算的限制）之间的区别。以康娜游戏生命 (Conway's Game of Life) 作为图灵完备的例子，展示不可判性仅限制可证明性，而不限制可计算性或执行。除非物理现象需要解决不可判性命题，否则不完整性本身并不意味着在执行上的必然失败。因此，除非自然界存在超图灵计算，否则宇宙无法被模拟的论断缺乏经验与逻辑依据。
引用
@article{arxiv.2512.11807,
title = {Provability vs. Execution: A Comment on "Consequences of Undecidability in Physics on the Theory of Everything"},
author = {Evan Redden},
journal= {arXiv preprint arXiv:2512.11807},
year = {2025}
}
备注
3 pages, 0 figures. Comment on arXiv:2507.22950v1