手机浏览器扫描二维码访问
哥德尔终其一生,都没有找到一个包含了实际数学内容的不可证明陈述。这也是不完备定理从者不多的原因。
地球数学界近百年也没有遇到这种陈述。
――实际上,按照哥德尔的想法,人类在相当长的一段时间里都不会遇到这种陈述。它必然存在于算学的未知部分,隐藏在重重迷雾之中。
有很多数学家,都不会对这一个不包含实际数学内容的玩意投以关注。
闵可夫冷笑:“那么,你的证明真的如你所说,意义重大吗?”
“我只是推断出有这种陈述的存在,并不等于说我知道这个陈述。”王崎道:“这就好比说,有人死了,判断是他杀还是自杀不难,可判断谁是凶手就要难很多。”
“是,我承认,你的论证过程确实很强。但是,我看不到它实际的意义。”
王崎既然知晓这个软肋的存在,又怎么会不做准备?他早就准备好了对于这个问题的回答,从善如流:“当中古的数家研究圆锥曲线的时候,他们不会知道自己的理论就是《大道之算理》的根基之一。我们也不会知道。这个不完备的证明过程在未来究竟会怎么样――我们什么时候才能发现一个包含实际算理的不可判定陈述呢?我不知道。也不可能知道。这个问题。只能付之于时间。让时间去解答。”
“我也说过,算学的不完备,并不在已知,而在未知。面对未知,我们永远不会知道会遇到什么。”
王崎只能这么说。在力迫法出现之前,这种非议都会存在的。
这个解答显然不能够让所有反对者满意。一个又一个巅顶算家站了起来,对着王崎发出驳斥。这些驳斥当中,有些正正切中要害。有些不痛不痒,王崎都一一给予回击。
但是,王崎并非是完全孤立无援。
突然,有一些算家发现自己的话语问不出口了――他们在这万仙幻境当中开不了口了!这时,只见图灵真人站起来,对着四方拱拱手,温和笑道:“诸位,可允许我去问几个问题?”
也只有这位浸淫算器领域数百年的强大逍遥,才能在这片幻境之中以一压多。纵有人不满,也只能在这个时候选择乖乖听好。
图灵真人站起来。对着王崎问道:“王道友,我想同你讨论一下函数的极限……”
图灵一开口。就让其他人愣住了。
这个……这位逍遥,究竟是站在哪边的?
看他和冯落衣坐在一起,不应该是来帮助王崎的吗?
为什么他问出的问题,比绝大多数人问出的问题都要尖锐?
王崎笑了笑:“最近我也有一些新的想法……”
在王崎解答了这个问题之后,图灵真人立刻问出第二个问题来。
“你有没有考虑过具备无限条公理的公理系统?“图灵问道:”每一次加入一条新的公理,新的公理系统就比原有的公理系统更加强大。每一个公理系统都在解释前一个公理系统。样子的话,每一个系统都是一直无矛盾的。这样,我们重复无数次,添加可数而无穷的公理。这样的话,我们无论使用了多少条公理,总有更强大的一条公理证明前面的公理一致无矛盾,那么,这个系统便称得上是无懈可击吧?“
“我也这么认为。可是,很遗憾,这种拥有无限公理的公理系统毫无意义。”王崎道:“我们必须先熟知一个公理系统当中所有的公理,才能根据这个公理系统做出判断。若是一个公理系统有无穷的公理,我们便不可能知晓它能够陈述什么、判断什么……”
两个人的问答,越来越流利,也越来越畅快。渐渐的,周围的异动小了下来。
图灵真人,分明是用更加系统化的方式、从更加深入的角度,将他们察觉出的种种不足给问了出去。
而在这种前提之下,王崎还能够对答如流,无数有不完备衍生出的定理、对不完备证明的补充,还有新的算器技术,都在图灵真人和王崎的一问一答当中展现了出来。
闵可夫哼了哼,不屑的在私聊当中低于:“双簧而已……他们两个绝对是对好了的。图灵就是一个托!”
何外尔苦笑:“可就算是托……那也是非同凡响的。至少,我是问不出口了。”
王崎和图灵真人的问答,就是要在展示自己的理论是成体系的。
讲道的主题,被定死在不完备、不可判定。这个是不能变的。他们现在在做的,就是在问答环节展示自己的水准,堵住悠悠之口。
纵然所有人都看得出,这二人在唱双簧,又怎么样?
现在问问题,十有**就是撞到别人的刀刃上,自取其辱!
这便是史上独一无二的,绝伦的双簧!
图灵真人堂而皇之的将这一场问答,变成了他个人与挖的劳伦。两个人也是被激发出了灵感,讨论逐渐脱离了预定的内容,开始向更深处发展。
这一下,就连能够插嘴的人都很少了。
算君庞家莱看着问答中的两人,摇摇头,只是冷笑:“这声屁放得响,不算太臭。”
另一边,算主希柏澈至始至终一言未发。(未完待续。)
舌尖天下 巫妖生存指南 万苍天穹 穿进语文书,从刺猹开始 西游:六岁熊孩子,开局怒怼观世音 巨树领主 先婚后爱:娇妻拒婚101次 网游航海之王 建立帝国从骑士次子开始 谭笑风声里,灼灼桃之夭 道化九界 我的修真小米三 我,地球唯一超能力者 月薪十万,女总裁她果然不只是让我当司机 灵异直播,女主她不想吓人 大明:开局剧透崇祯,重振河山 运河之韵 敛财心 什么?奥特曼是终身制的? 盛世花都
干邑听说组织里烧钱整了个没屁用的实验成果,大伙齐骂什么玩意的那种。他一听就喜欢,特意跑去拿来玩。那个实验员说拿着这个,做一件小概率事件,你就会去一个平行世界。干邑很认真的听进去了,扭头就翻墙去了警校。魔蝎小说...
本书简介 他只是身穿到这里的一个普通人。—沈顾礼被景家捡回去时,有人告诉他,他与景家少主的匹配度高达99%。他想哦。从此以后,他被打上景翊的标签。世家宴会,他是景翊的漂亮Omega。行军打仗,他是辅佐景翊的副将领。在景家时,他是景翊贴心的未婚妻。在所有人眼里,他是跟景翊最契合最匹配的Omega。他们两人的结合将是世人艳羡的完美婚姻。在景家八年,连他自己也这样觉得。直到一次变故,景翊从外面带回来一个Omega,柔弱易折小白花,还有他的临时标记。景翊说,这个Omega与他的匹配度100%,才是他的天选伴侣。沈顾礼心想他都忘记了,这里还是一个靠匹配度定终身的ABO世界。然后,他在景翊与Omega的订婚礼前,带着自己所有东西,从景家消失了。沈顾礼不知道的是,在他消失后,景翊发疯似地找他,还抛下了那个据说与他匹配度100%的完美伴侣。身穿后他们把我当Omega全文免费阅读,如果您喜欢身穿后他们把我当Omega天灵根最新章节,请分享给您的好友一起来免费阅读。魔蝎小说...
世界四大风水师之一的慕千秋,有天对自己唯一的徒弟说,收拾好行李滚蛋吧!我没什么好教你的了。从小辍学的李思辰就此回到了祖国,按照自己新塑命格的情况,决定先去补下命格中最缺失的活气灵性。于是他回到了学校。破凶局,改命格,收阴尸,除邪魍!一口断人生死,一言决国兴衰!且看李思辰书写出一段风水师的传奇!...
关于四合院抢房?我直接街道办举报张建华一觉醒来穿越到了四合院的世界里。开局退伍归来,刚到家就看到贾张氏和易中海不但欺辱他的家人,还扬言要霸占他们家的房子!好家伙!刚进来四合院就给他搞这处!好啊!既然你们这群禽兽连禽兽都不如!那就别怪我心狠手辣了!...
她是前世的甘露?顾城看着陈清瑶不仅有些愕然,甚至不可思议。方青雪的前世是甄荷,那黄婷的前世是谁?虽然陈清瑶长得并不差,但哪里比得上前世那位仙姿玉色玉润冰清与他私定终身的姑娘。他回忆着仲甘那清澈的眼睛,柔软的绛唇,娇俏的瑶鼻,那是他无数世都刻骨铭心的女人。你说秋娘是今世的温燕琳,那宁秘书的前世又是谁?刘文...
新作品出炉,欢迎大家前往番茄小说阅读我的作品,希望大家能够喜欢,你们的关注是我写作的动力,我会努力讲好每个故事!...