养神。缘,盘膝而坐,闭目王崎重新回到讲坛的边
理论计算机领域础领域当中,最重要的递归论,图灵机达算法,便在这一夜同时传扬计算机科学的数学基、拉姆了整个神州。
现在,他们只不过是脚。但是,总会可判定的注人发掘出其中的奥妙。有不凡之不完备和不
开。这个收获就不会小意义,光是就算抛论层面的理
算器理论的飞跃,跃。就等于是王崎修法的飞
修法。光是这一点,就以借助神回票价了。自己的源,来完善以后,他就可已经值州算门的资
的意义。更不用说不完备、不可判定在理论上
无。将远远超过过去的自己他已的框架论是声威还是其他,都。只要下度过难关,他就。等经改写了算学会成为神州顶尖的算家
。的好处这是隐性
广布尔巴基学以将这派思想,就可。而他在这个时候再推为“显性”的好处“隐性”的好处,转化
而始,最终又成就学。世纪布尔巴物理学研派的研究,自纯数了新究的坚实基础基学
能向他一样,看到一步。并被所有人都但是,这
的人,只是在担心。更多与他相熟
”他到底在讲什么啊……“喵……艾师姐,小崎毛梓淼捂着脑袋,只觉得头昏脑涨的:
艾明白。但还是“不太清楚……虽然不觉得好厉害……”轻兰眼中也透着迷惘:
听懂王够崎在讲什么么意义吗?可是,这玩意有什她勉强能
候,辰道:“这个疯而这个时子……”风放下自己的算器,怒
这种见不好处的人吧?”?了理论有突破是好事嘛!”艾轻兰得朋友得不满了:“小风你不是“怎么
火:“刚大霉了。嘉……这外不是人个小子。刚才的那一通,将离宗连宗两边都了问由去问惨了。”辰风有些恼”“好处……王才就因为得罪听不懂,所以我专门崎这家伙很快就要倒讲,根本就是里
宗……”艾轻兰瞪大美算君吧?就是……这错,离宗和连果眸,按着胸口:“宗的领袖,分别……让我我记得不算主和是缓一缓,想一想。如那个位和这位吧?”“离宗连
说话的同时。她伸出手点了像。点幻影之中的虚
是坐两边的那两逍遥修士”,加起来几十个顶逍遥……他们身后在王崎左右位老人“就家。巅,分别就是他们的门人辰风点点头:
轻兰一巴掌糊自己脸上不不,不如说发疯才是艾这小子确实疯了……:“于正常发挥……正常发挥……”他的风格……这属
激怒万法门一半以上同时的人。这能不,相当于同时疯吗?惹下两个主流学派
有人不解的难道不对吗?”:“那个……王师兄理论
子。他深深叹息单的。”其实是非常简辰风是老好兰荫为何道心尽丧啊……人,但不是傻多算家,想要让他身败名裂,就算那些前?便是与算君论道,道:“当年歌庭派前代领袖。云端君柯极端手段,那么辈不打算采取这样的
的心微微一揪办:毛梓淼?”“那……那怎么
难关吧道。士手和?”辰风不确定的说“希望他能够在苍生国下来的机老两位逍遥修的帮助下度过接
难。的。他必然会面对接下来无几乎是不可能他深知王崎的己的想法,数逍遥修士的诘性子。想让王崎放弃自
握紧了拳头,薄筱雅则闭上眼万法门中,薄笑风睛,紧张得不敢去看。
在为王崎暗中祈祷、夫当如是”的豪气。反而带着一种“大厌恶,也没有受到太多的波鼓劲。他们刚刚及。他们看王崎,并多的万法门低阶弟子算学而神州各地当中,更有前辈的那种坚持。丈的领域,还没没有前辈那种踏入
这个年轻人捏了一把汗。也为之内,太一天尊某个神秘的秘境
由嘉一人坚信王现在,或许也只有崎了吧。陈
之心。只有她觉得,王一颗精进勇猛没,也不会损了他那崎就算被等下的攻讦淹
宣布道:“现在第二场讲道完”问了。成之后。冯落衣闭上眼诸位同睛,深深太息,道便可以开始提,
的不可证明之陈之算学了在一个关于实际存声问道:“你可找到了述?”起来,沉歌庭派阵中“真宇相”闵可夫便站,算主之挚友、
。”王崎摇头:“没有
不愧肋。是这一世最巅快就找到了不完备证明的软顶的算家,这么
到一个包含了实定理从者不一生,都没有找哥德尔终其际数学内容的不可证明陈述。这也是不完备多的原因。
数学界近百年也没有遇到这种陈述。地球
按照哥,隐藏在。时间里都不会遇到这种重重迷雾之中实际上,陈述。它必然存德尔的想法,人在于算学的未知部分类在相当长的一段
有很多数学不实际数学内容的玩意投以关注。一个包含家,都不会对这
的证明真的如你所说,意义重大吗?”闵可夫冷么,你笑:“那
是他杀还陈述。”王崎道:“这断出有这种陈述的存在”说,有人死了,判断是自杀不难,可判断谁并不等于说我知道这个是凶手就要难很多。“我只是推,就好比
它实际的意义。”我看不到实很强。但是,“是,我承认,你的论证过程确
回答。从善如的理论就是《之一。我们也不会就准备好了知道,这个这个问题的对于的时候,他时间。让时间去己王崎既然知晓这个软:“当中古的数家不完备流个包理》的又怎么会不做准备?研究圆锥曲线他早。”肋知道,也际算能发现一来究竟会怎么样我们什证明过程在未的的存在,述呢?我不不可能知道。这个问大道之算含实理的不可判定陈根基解答题,只能付之于们不会知道自么时候才
会知道完备。面。”已知,而在未知对未知,我们永远不,并不在“会遇到什么我也说过。算学的不
议都会存在的。这么说。在力迫法出现之前,这种非王崎只能
一给予回击。驳斥。这些驳斥当中要害。有些不痛不痒。王崎有些正正切了起来,对着王崎发出者这个解答显然不能都一中,满意。一个又一个巅够让所有反对顶算家站
立无援。非是完全孤但是,王崎并
“诸位,可允自问题?真人站起来境当中开不了突然,有一些算,对着四方”拱手,温和笑道:口了!这时,只见图灵许我去问几个己的话语问不出口拱了他们在这万仙幻家发现
片幻境以一压多强大逍遥。才能在这之中也只有这位浸淫算器领域数百年的。纵有人不满,也只能选择乖乖听好。在这个时候
你讨图灵真人站起来道:“王道友函数的,我想同论一下,对着王崎问极限……”
就让其他人愣开口,住了。灵一图
在哪边的?这个……这位逍遥,究竟是站
吗?衣坐在一起,不看他和冯落应该是来帮助王崎的
题都要尖锐?比绝大多数人问出的问为什么他问出的问题,
些新的想法……”我也有一王崎笑了笑:“最近
立刻问出第二灵真人这个问在王崎解答了个问题来。题之后,图
。可击吧?“理系统更数次,每一个公理系“你有没有”每一次加入一条新的的公理系是无懈添加可数而无穷么,这个系统便称得上。这样,我们重复无的话。每一个系统都是统就比原有的公,我在解释前一个公大公理,总有更条一致无矛盾,那的公理系统?“图们无论使用了多少加强大统都公理一直无矛盾的的公理。这样的话理系统。样子公理,新考虑过具备无限条公理的一条公理证明前面的强灵问道:
系做出判断我们便不可能是一个公理系统有无穷的公理,这个公理系统理陈述什么、判断什么知晓……”。很遗憾,这种它能够统毫无意义。”有的公理,才能根据。若“我也这么认为。可是王崎当中所须先熟知一个公理系统拥有无限公理的道:“我们必公
来越流利,的,周两个人的问答,越也越来越畅快。渐渐下来。围的异动小了
图出的种种不足给问了出。度,将他们察觉灵真人,分明是用更加去系统化的入的角方式、从更加深
前提之补充,还有而在这种明的的一问一答当中展现了出来。不完备不证能够对答如,王崎还下完备衍生出的定理、对新的算器技术,都流,无数有在图灵真人和王崎
一个闵可双簧图灵就是托!”绝对是对好了的。夫哼了哼,不屑的在而已……他们两个低于:“私聊当中
。”算是托……那也何外尔苦笑:“可就,我是问不出口了是非同凡响的。至少
和图灵真人的问答,就是成体系的。是要在展示自己的理论王崎
的水准定。这个是不能变。讲道的主题,被的他们现在在做的,定死在不完备、不可判,堵住就是在问答环节展示悠悠之口。自己
纵然所有人都看得出,这二人在唱双簧,又怎么样?
的现在,十有八九就刀刃上,自取其辱!是撞到别人问问题
上独一无二的,绝伦便是史的双簧!这
是被激发出了灵感,讨的内容,问答,变成了图灵真人始向开更深处发展。堂而皇之的将这一场论逐渐脱离了预定他个人与挖的劳伦。两个人也
都很少了。这一下,就连能够插嘴的人
屁放得响,不摇头,只是冷笑:”。中的两人,摇声算君庞家莱看着问答算太臭“这
)柏澈至始至终一言未另一边,算发。(未完待续~^~主希