ABC小说网手机小说首页小说搜索

返回《走进修仙》

ABC小说网(abctxt.cc)

首页 >> 走进修仙 (缂傚倸鍊搁崐鐑芥倿閿曗偓椤繒绱掑Ο璇插伎闂佺粯鍔﹂崗娑氭崲閸℃ǜ浜滈柟鎯у船閻忣亪鏌i幘鍗炲姕缂佺粯鐩畷鍗炍熸潪鏉垮灁闂備焦鎮堕崐鏍偋閺囥垹鐓″鑸靛姇缁犲鎮规ウ鎸庛€冨瑙勬礃缁绘繂鈻撻崹顔界彲闂佺懓鍤栭幏锟� ) >> 第二百四十章 绝伦的“双簧”
闂傚倸鍊风粈渚€骞栭锔藉亱婵犲﹤瀚々鍙夌節婵犲倻澧曢柛銊ュ€婚幉鎼佹偋閸繄鐟ㄧ紓浣插亾闁告洦鍨抽崣鎾绘煕閵夛絽濡介柍閿嬪姍閺岋絾鎯旈鐓庘拫闂佸搫鐭夌紞浣规叏閳ь剟鏌曡箛瀣仼缂佹绻濋弻锝夊閳轰胶浠╃紓鍌氱Т閿曨亪鐛繝鍥ㄦ櫢闁绘ǹ灏欓悿鈧梻浣告啞閹哥兘鎳楅崼鏇熷仒闁靛鏅滈埛鎴︽煙妫颁胶顦﹀ù婊勭箞閺岀喖宕ㄦ繝鍐ㄥ攭閻庤娲﹂崹浼存偩濠靛绀冩い蹇撴濠㈡垶淇婇悙顏勨偓鏍礉閹达箑纾归柡鍥╁枔椤╅攱銇勯弽顐沪闁绘挻娲熼弻鐔告綇閸撗呅i梺鎼炲€栭悷锔炬崲濞戙垺鍤戦柤鍝ユ暩閵嗗﹪姊洪悷鏉跨骇闁圭ǹ鍟块悾鐑藉箳閹宠櫕妫冮崺鈧い鎺戝閻ょ偓銇勯幇鍫曟闁绘挸鍟妵鍕箛闂堟稑顫柣搴㈢啲閹凤拷
>>闂傚倸鍊风粈渚€骞夐敓鐘参﹂柣鎰暩閻棗銆掑锝呬壕婵犵绱曢弫璇茬暦閸洦鏁嗛柍褜鍓熼幃娆愮節閸ャ劎鍘甸柣搴㈢⊕閿氭繛鎼櫍閺岋絽鈽夊▎鎰瀺缂備胶绮换鍫濐嚕閹绢喖惟闁靛鍊楅弫鏍⒒娴h姤銆冮柣鎺炵畵瀹曟洟骞庣粵瀣櫓闂婎偄娲︾粙鎴濐啅濠靛洢浜滈柟鎹愭硾娴狅附绂嶅☉妯锋斀闁绘劖娼欓悘锕傛煛鐏炶濮傛い銏$墵瀹曠喖顢橀悩娈挎Ц闂備礁鎼崯顐︽偋婵犲洤鐤炬い鎺戝閸婂爼鏌i幇顖涚【濞存粌婀辩槐鎺斺偓锝庡亜閻忔挳鏌$仦鍓р姇缂佺粯绻堝畷鐔碱敃椤厾甯涚紓鍌氬€风粈渚€鎮ラ崗鑲╊洸闁割偅娲栫粻姘扁偓鍏夊亾闁告洦鍊犻妸鈺傜厓閻炴稈鈧厖澹曞┑鐘灮濞呫垽骞忛敓锟�!<<

第二百四十章 绝伦的“双簧”(2/3)

诸位同道便可以开始提问了。”

歌庭派阵中,算主之挚友、“真宇相”闵可夫便站了起来,沉声问道:“你可找到了一个关于实际存在之算学的不可证明之陈述?”

王崎摇头:“没有。”

不愧是这一世最巅顶的算家,这么快就找到了不完备证明的软肋。

哥德尔终其一生,都没有找到一个包含了实际数学内容的不可证明陈述。这也是不完备定理从者不多的原因。

地球数学界近百年也没有遇到这种陈述。

——实际上,按照哥德尔的想法,人类在相当长的一段时间里都不会遇到这种陈述。它必然存在于算学的未知部分,隐藏在重重迷雾之中。

有很多数学家,都不会对这一个不包含实际数学内容的玩意投以关注。

闵可夫冷笑:“那么,你的证明真的如你所说,意义重大吗?”

“我只是推断出有这种陈述的存在,并不等于说我知道这个陈述。”王崎道:“这就好比说,有人死了,判断是他杀还是自杀不难,可判断谁是凶手就要难很多。”

“是,我承认,你的论证过程确实很强。但是,我看不到它实际的意义。”

王崎既然知晓这个软肋的存在,又怎么会不做准备?他早就准备好了对于这个问题的回答。从善如流:“当中古的数家研究圆锥曲线的时候,他们不会知道自己的理论就是《大道之算理》的根基之一。我们也不会知道,这个不完备的证明过程在未来究竟会怎么样——我们什么时候才能发现一个包含实际算理的不可判定陈述呢?我不知道,也不可能知道。这个问题,只能付之于时间。让时间去解答。”

“我也说过。算学的不完备,并不在已知,而在未知。面对未知,我们永远不会知道会遇到什么。”

王崎只能这么说。在力迫法出现之前,这种非议都会存在的。

这个解答显然不能够让所有反对者满意。一个又一个巅顶算家站了起来,对着王崎发出驳斥。这些驳斥当中,有些正正切中要害。有些不痛不痒。王崎都一一给予回击。

但是,王崎并非是完全孤立无援。

突然,有一些算家发现自己的话语问不出口了——他们在这万仙幻境当中开不了口了!这时,只见图灵真人站起来,对着四方拱拱手,温和笑道:“诸位,可允许我去问几个问题?”

也只有这位浸淫算器领域数百年的强大逍遥。才能在这片幻境之中以一压多。纵有人不满,也只能在这个时候选择乖乖听好。

图灵真人站起来,对着王崎问道:“王道友,我想同你讨论一下函数的极限……”

图灵一开口,就让其他人愣住了。

这个……这位逍遥,究竟是站在哪边的?

看他和冯落衣坐在一起,不应该是来帮助王崎的吗?

为什么他问出的问题,比绝大多数人问出的问题都要尖锐?

王崎笑了笑:“最近我也有一些新的想法……”

在王崎解答了这个问题之后,图灵真人立刻问出第二个问题来。

“你有没有考虑过具备无限条公理的公理系统?“图灵问道:”每一次加入一条新的公理,新的公理系统就比原有的公理系统更加强大。每一个公理系统都在解释前一个公理系统。样子的话。每一个系统都是一直无矛盾的。这样,我们重复无数次,添加可数而无穷的公理。这样的话,我们无论使用了多少条公理,总有更强大的一条公理证明前面的公理一致无矛盾,那么,这个系统便称得上是无懈可击吧?“

“我也这么认为。可是。很遗憾,这种拥有无限公理的公理系统毫无意义。”王崎道:“我们必须先熟知一个公理系统当中所有的公理,才能根据这个公理系统做出判断。若是一个公理系统有无穷的公理,我们便不可能知晓它能够陈述什么、判断什么……”

两个人的问答,越来越流利,也越来越畅快。渐渐的,周围的异动小了下来。

图灵真人,分明是用更加系统化的方式、从更加深入的角度,将他们察觉出的

状态提示: 第二百四十章 绝伦的“双簧”
第2页完,继续看下一页