自从学了哥德尔不完备定理,对元数学深深的感兴趣,不过也就是感兴趣而已。暂无深入学习的打算。不过却有两条猜想与大家分享。其中第一条“物理体系的相容性”应该是容易证明的,可是我却有种无处下手的感觉。希望懂元数学或者自然科学基础逻辑的牛人指点,而第二条则纯属瞎猜,我本人倾向于即不可证明也不可伪证。
一、物理学相容性定律:对于给定的物理定律,无论选择任何数学逻辑体系计算得到的结果都是一样的。根据哥德尔不完备定理:任意一个包含一阶谓词逻辑与初等数论的形式系统,都存在一个命题,它在这个系统中既不能被证明为真,也不能被证明为否。
也就是说存在无限多个数学逻辑体系:每当发现一个当前形式系统中,不能被证明为真,也不能被证明为否的命题,无论将“其为真”加入当前形式系统,还是将“其为假”加入当前形式系统,得到的新系统都可以用于物理演算且不改变最终的结果。
二物理学不完备猜想:对于任何完备的物理学体系(或者推广的说叫世界观体系),只要其具有完整的预见性,则必然有实验或观察(注意指天文学观察)能发现违背该体系的结果。
预见性:即对任何实验和观察,都能用该体系演绎得出所有可能的实验或观察结果,显然完整的物理体系比如弦论是满足这一条的,而万能的上帝这样的世界观虽然能做到自洽但是不具有预见性,关于预见性的具体描述可见同人于野的博文《物理学的逻辑和霍金的答案》http://www.geekonomics10000.com/546