听书阁_书友最值得收藏的免费小说阅读网

第二百一十四章 哥德爾的證明法-《走進修仙》


    第(2/3)頁

    蘇君宇點點頭:“好,那我就說一說好了。連續統你們知道吧?”

    “連續統?”高繼揚立刻察覺出不對來:“第二問的問題還涉及連續統嗎?第一問和第二問,實際上是一個問題的兩面?”

    蘇君宇也愣了:“一問兩面?有這種說法嗎?”

    隨即,他也意識到了什么,哭笑不得的說道:“那個……對不住各位,我剛才的靈感,就是第一問的。與第二問無干。”

    “第一問?”薄笑風瞪大了眼睛:“你不是在思考第二問嗎?怎么又跑到第一問去了?”

    “誤打誤撞罷了。”蘇君宇大笑:“為了否定完備性,我最近在思考算學能夠思考的每一個角落,尤其是集合論這個體系里面。然后,我就思考到了那個‘集合公理’上面,就從那個公理,我找到了靈感……”

    “停一下!”高繼揚制止了蘇君宇,然后用手指在半空當中畫了一個圓。天地靈氣順著他的意志匯聚到這個圓環之內,化成一個成熟的法度。這個靈光圈就這樣圈住了蘇君宇周圍的這一圈人。

    高繼揚沉聲道:“我們或許可以猜測,第二問被人解決了。但是,目前還沒有跡象表明。第一問也被其他人解決了。所以,這個想法,應該還屬于蘇師弟一個人的。”

    “若是周圍的師兄弟還向在第一問的領域里做研究,而且還要面皮的話。就最好不要聽下去,不然的話,以后若是起了糾紛,大家面皮上都不好看。”

    過了一會,兩三個元神期的宗師退了了高繼揚的圈子。這個靈光圈的作用就是隔絕內外感應。只要出了這個圈子,蘇君宇無論談什么他們都聽不到、看不到。

    如果他們和蘇君宇真的有了相似的靈感。那才真是有理說不清。尤其是蘇君宇看上去和薄家的兩兄妹關系不錯。若是因此而在薄家這個龐然大物眼中留下惡劣印象,那才是虧得大。

    這個時候,高繼揚才對蘇君宇說道:“蘇師弟,你可以繼續了。不過,不要說太多,點到為止。”

    蘇君宇笑著摸了摸后腦:“師弟心中太過,一時孟浪了,師兄教訓得是。”

    “幸好我的領域與第一問無關,不然我肯定也忍不住想去聽一聽。”高繼揚笑道:“現在你就是說一說吧。”

    “講一下吧!”眾人憤憤道。

    “那我就講一下好了。首先,我要說明的是,這只是我現在的一個念頭,一個思路,我沒有具體的過程,也不清楚這個過程的前置理論是否完善。”

    “我是這樣想的。首先,我們先要建立一個框架,然后集合論公理允許存在的、所有成立的集合都放在這個框架內。然后在這框架之內,我們再來進行這樣的操作……”

    蘇君宇的周圍漸漸安靜了下來。

    “現在,我還是重新來思考一下連續統。”

    在結束了與路小茜的信件交流之后,王崎又坐回了自己的書桌,開始思考連續統的證明問題。

    “首先,是哥德爾對這個問題的證明。”

    “哥德爾的工作,就是建立一個巨大的框架,這個框架之內,包含了所有ZF公理體系中所有‘可建立集合’。然后,在這個模型當中,哥德爾證明了,ZF公理體系之內,連續統假說無法證偽。”
    第(2/3)頁

主站蜘蛛池模板: 长寿区| 桂林市| 阿合奇县| 吉安县| 修武县| 平泉县| 湾仔区| 安福县| 麟游县| 武宁县| 临汾市| 合山市| 玉田县| 成都市| 伊春市| 徐闻县| 永胜县| 泾源县| 碌曲县| 靖宇县| 潍坊市| 阳朔县| 小金县| 梁河县| 青海省| 内丘县| 泗洪县| 湖口县| 浙江省| 沧州市| 密云县| 昔阳县| 三门县| 同德县| 盐亭县| 分宜县| 房产| 视频| 平江县| 宣城市| 杭锦旗|