第二百一十四章 哥德爾的證明法-《走進修仙》
第(2/3)頁
蘇君宇點點頭:“好,那我就說一說好了。連續統你們知道吧?”
“連續統?”高繼揚立刻察覺出不對來:“第二問的問題還涉及連續統嗎?第一問和第二問,實際上是一個問題的兩面?”
蘇君宇也愣了:“一問兩面?有這種說法嗎?”
隨即,他也意識到了什么,哭笑不得的說道:“那個……對不住各位,我剛才的靈感,就是第一問的。與第二問無干。”
“第一問?”薄笑風瞪大了眼睛:“你不是在思考第二問嗎?怎么又跑到第一問去了?”
“誤打誤撞罷了。”蘇君宇大笑:“為了否定完備性,我最近在思考算學能夠思考的每一個角落,尤其是集合論這個體系里面。然后,我就思考到了那個‘集合公理’上面,就從那個公理,我找到了靈感……”
“停一下!”高繼揚制止了蘇君宇,然后用手指在半空當中畫了一個圓。天地靈氣順著他的意志匯聚到這個圓環之內,化成一個成熟的法度。這個靈光圈就這樣圈住了蘇君宇周圍的這一圈人。
高繼揚沉聲道:“我們或許可以猜測,第二問被人解決了。但是,目前還沒有跡象表明。第一問也被其他人解決了。所以,這個想法,應該還屬于蘇師弟一個人的。”
“若是周圍的師兄弟還向在第一問的領域里做研究,而且還要面皮的話。就最好不要聽下去,不然的話,以后若是起了糾紛,大家面皮上都不好看。”
過了一會,兩三個元神期的宗師退了了高繼揚的圈子。這個靈光圈的作用就是隔絕內外感應。只要出了這個圈子,蘇君宇無論談什么他們都聽不到、看不到。
如果他們和蘇君宇真的有了相似的靈感。那才真是有理說不清。尤其是蘇君宇看上去和薄家的兩兄妹關系不錯。若是因此而在薄家這個龐然大物眼中留下惡劣印象,那才是虧得大。
這個時候,高繼揚才對蘇君宇說道:“蘇師弟,你可以繼續了。不過,不要說太多,點到為止。”
蘇君宇笑著摸了摸后腦:“師弟心中太過,一時孟浪了,師兄教訓得是。”
“幸好我的領域與第一問無關,不然我肯定也忍不住想去聽一聽。”高繼揚笑道:“現在你就是說一說吧。”
“講一下吧!”眾人憤憤道。
“那我就講一下好了。首先,我要說明的是,這只是我現在的一個念頭,一個思路,我沒有具體的過程,也不清楚這個過程的前置理論是否完善。”
“我是這樣想的。首先,我們先要建立一個框架,然后集合論公理允許存在的、所有成立的集合都放在這個框架內。然后在這框架之內,我們再來進行這樣的操作……”
蘇君宇的周圍漸漸安靜了下來。
“現在,我還是重新來思考一下連續統。”
在結束了與路小茜的信件交流之后,王崎又坐回了自己的書桌,開始思考連續統的證明問題。
“首先,是哥德爾對這個問題的證明。”
“哥德爾的工作,就是建立一個巨大的框架,這個框架之內,包含了所有ZF公理體系中所有‘可建立集合’。然后,在這個模型當中,哥德爾證明了,ZF公理體系之內,連續統假說無法證偽。”
第(2/3)頁
主站蜘蛛池模板:
长寿区|
桂林市|
阿合奇县|
吉安县|
修武县|
平泉县|
湾仔区|
安福县|
麟游县|
武宁县|
临汾市|
合山市|
玉田县|
成都市|
伊春市|
徐闻县|
永胜县|
泾源县|
碌曲县|
靖宇县|
潍坊市|
阳朔县|
小金县|
梁河县|
青海省|
内丘县|
泗洪县|
湖口县|
浙江省|
沧州市|
密云县|
昔阳县|
三门县|
同德县|
盐亭县|
分宜县|
房产|
视频|
平江县|
宣城市|
杭锦旗|