返回

走进修仙

首页
关灯
护眼
字体:
第二百一十四章 哥德尔的证明法
   存书签 书架管理 返回目录
力迫法,就和哥德尔的思路截然不同了。”

    “力迫法”这个叫法颇为暴力,事实上,它的思路也很接近暴力破解。它将“可建立集合”的范围,扩张道了zf公理体系所允许的最小范围以下,然后逐步逼近那个结果。

    由于这个论证涉及“创造原本不存在的集合”,所以科恩力迫法的证明过程,比哥德尔的过程要艰深许多倍。

    而这也是最关键的部分。“力迫法”的意义,并不仅仅在于连续统。它的出现,使得数学家可以发现去多其他独立于zf公理体系的命题。

    如果单纯从数学的角度来讲,力迫法的冲击性甚至比哥德尔不完备定理更大。

    在地球的历史上,以希尔伯特为首的一部分数学家,一直到死都无视着哥德尔。其中固然有很大一部分原因是理念之争、信仰之争,他们根本无法接受哥德尔的理论。

    可是,这也与哥德尔的论述“不够数学”有关。

    在一部分数学家看来,哥德尔不完备定理,更多的只是一个文字性的论述,而非数学的证明过程。

    “只要我能过完成力迫法,神州的算学就能够进入一个新的境界。”

    王崎奋笔疾书。一时之间,书房里就只剩下笔尖与纸张摩擦的声音。

    “寻找……寻找比zf公理下可建立集合更小的集合……”

    “独立的公理……”

    “独立……”

    在王崎的思考当中,他体内的法力再次发生细微的改变。

    只是这一次,他身周没有出现任何异象,法力也没有出现任何暴动或是崩溃的迹象。

    一切

第二百一十四章 哥德尔的证明法(5/6)
上一页 目录 下一页