用户登录
2017-07-09 14:13:32
自从学了哥德尔不完备定理，对元数学深深的感兴趣，不过也就是感兴趣而已。暂无深入学习的打算。不过却有两条猜想与大家分享。其中第一条“物理体系的相容性”应该是容易证明的，可是我却有种无处下手的感觉。希望懂元数学或者自然科学基础逻辑的牛人指点，而第二条则纯属瞎猜，我本人倾向于即不可证明也不可伪证。
一、物理学相容性定律：对于给定的物理定律，无论选择任何数学逻辑体系计算得到的结果都是一样的。根据哥德尔不完备定理：任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能...
一下子8年过去了，这8年学了很多，做了很多，经历了很多，读到当年自己写的青涩的帖子，觉得当时的自己好可爱。
立个Flag，继续前行...