统一论和不可证明性

最新推荐文章于 2025-09-12 00:40:07 发布

转载最新推荐文章于 2025-09-12 00:40:07 发布 · 143 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://blog.51cto.com/148297/134503

文章标签：

#人工智能 #数据库

本文探讨了公理的本质及其不可证明性，并延伸至量子计算、可逆计算的可能性，以及现代宇宙学中关于时间起源的问题。作者对于统一理论持怀疑态度，并认为时间可能先于宇宙存在。

公理是不可证明的。比如欧氏几何的平行公理：过已知直线外一点有且只有一条直线与已知直线平行，哥德尔定律已经说明此公理的不可证性，也此同时揭示几何学有更大的空间。而且通常公理都很简单，看上去符合常理，很少人想去证明或证否，并且，被当做演绎其他理论的基础，比如定理的产生。公理是不能由演绎原则来推导，也不能经由数学证明来决定对错，公理不自任何其他地方逻辑地产生出来。

去年关注量子计算及人工智能的时候，有些人称量子计算最有可能实现可逆计算。这样人工智能的CPU热耗降低，将更容易实现更快更大的计算。反对理由里有，根据热力学第二定律，一个封闭的系统的熵是不断增大的，与物理学联系起来，宇宙是在爆炸并扩张中，时间是单向箭头。

量子力学和相对论一定会带来可逆，箭头是双向的，熵增是有限制的。看来，在一个可逆条件中，进行着相逆的变化。

现代宇宙学认为标准模型处于当代宇宙学的核心（科学家们公认）它产生了大爆炸奇点之后最初一秒钟宇宙的正确描述。这个标准模型是不存在的，因为它的推理基于时间有起点这个公理。我越来越不相信统一理论，直觉，时间没有开端，时间在宇宙之外就存在的，时间是宇宙的充分但不必要条件。

《确定性的终结》从物理学、哲学角度描述了这个观念（近代物理学家特喜欢），很同意这句“统一是不够的。我们需要一个更加辩证的自然观。时间的起源问题也许将永远伴随着我们，但是，时间没有开端——时间确实先于我们宇宙的存在——这一思想正变得越来越可信。”我也注意到，无论是科学还是人文，每个“统一”都是可笑的皇帝外衣（特别是统一梦想），而且，科学观如果不想被笑就更不能统一。

©著作权归作者所有：来自51CTO博客作者`Sibyl的原创作品，谢绝转载，否则将追究法律责任

时间休闲科学 IT业界