手机浏览器扫描二维码访问
第494章（第2页）
歌庭派阵中，算主之挚友、“真宇相”闵可夫便站了起来，沉声问道：“你可找到了一个关于实际存在之算学的不可证明之陈述？”
王崎摇头：“没有。”
不愧是这一世最巅顶的算家，这么快就找到了不完备证明的软肋。
哥德尔终其一生，都没有找到一个包含了实际数学内容的不可证明陈述。这也是不完备定理从者不多的原因。
地球数学界近百年也没有遇到这种陈述。
——实际上，按照哥德尔的想法，人类在相当长的一段时间里都不会遇到这种陈述。它必然存在于算学的未知部分，隐藏在重重迷雾之中。
有很多数学家，都不会对这一个不包含实际数学内容的玩意投以关注。
闵可夫冷笑：“那么，你的证明真的如你所说，意义重大吗？”
“我只是推断出有这种陈述的存在，并不等于说我知道这个陈述。”王崎道：“这就好比说，有人死了，判断是他杀还是自杀不难，可判断谁是凶手就要难很多。”
“是，我承认，你的论证过程确实很强。但是，我看不到它实际的意义。”
王崎既然知晓这个软肋的存在，又怎么会不做准备？他早就准备好了对于这个问题的回答，从善如流：“当中古的数家研究圆锥曲线的时候，他们不会知道自己的理论就是《大道之算理》的根基之一。我们也不会知道，这个不完备的证明过程在未来究竟会怎么样——我们什么时候才能发现一个包含实际算理的不可判定陈述呢？我不知道，也不可能知道。这个问题，只能付之于时间。让时间去解答。”
“我也说过，算学的不完备，并不在已知，而在未知。面对未知，我们永远不会知道会遇到什么。”
王崎只能这么说。在力迫法出现之前，这种非议都会存在的。
这个解答显然不能够让所有反对者满意。一个又一个巅顶算家站了起来，对着王崎发出驳斥。这些驳斥当中，有些正正切中要害，有些不痛不痒，王崎都一一给予回击。
但是，王崎并非是完全孤立无援。
突然，有一些算家发现自己的话语问不出口了——他们在这万仙幻境当中开不了口了！这时，只见图灵真人站起来，对着四方拱拱手，温和笑道：“诸位，可允许我去问几个问题？”
也只有这位浸淫算器领域数百年的强大逍遥，才能在这片幻境之中以一压多。纵有人不满，也只能在这个时候选择乖乖听好。
图灵真人站起来，对着王崎问道：“王道友，我想同你讨论一下函数的极限……”
图灵一开口，就让其他人愣住了。
这个……这位逍遥，究竟是站在哪边的？
看他和冯落衣坐在一起，不应该是来帮助王崎的吗？
为什么他问出的问题，比绝大多数人问出的问题都要尖锐？
王崎笑了笑：“最近我也有一些新的想法……”
在王崎解答了这个问题之后，图灵真人立刻问出第二个问题来。
“你有没有考虑过具备无限条公理的公理系统？“图灵问道：“每一次加入一条新的公理，新的公理系统就比原有的公理系统更加强大。每一个公理系统都在解释前一个公理系统。样子的话，每一个系统都是一直无矛盾的。这样，我们重复无数次，添加可数而无穷的公理。这样的话，我们无论使用了多少条公理，总有更强大的一条公理证明前面的公理一致无矛盾，那么，这个系统便称得上是无懈可击吧？”
“我也这么认为。可是，很遗憾，这种拥有无限公理的公理系统毫无意义。”王崎道：“我们必须先熟知一个公理系统当中所有的公理，才能根据这个公理系统做出判断。若是一个公理系统有无穷的公理，我们便不可能知晓它能够陈述什么、判断什么……”
两个人的问答，越来越流利，也越来越畅快。渐渐的，周围的异动小了下来。
图灵真人，分明是用更加系统化的方式、从更加深入的角度，将他们察觉出的种种不足给问了出去。
而在这种前提之下，王崎还能够对答如流，无数有不完备衍生出的定理、对不完备证明的补充，还有新的算器技术，都在图灵真人和王崎的一问一答当中展现了出来。
闵可夫哼了哼，不屑的在私聊当中低于：“双簧而已……他们两个绝对是对好了的。图灵就是一个托！”
何外尔苦笑：“可就算是托……那也是非同凡响的。至少，我是问不出口了。”
王崎和图灵真人的问答，就是要在展示自己的理论是成体系的。
讲道的主题，被定死在不完备、不可判定。这个是不能变的。他们现在在做的，就是在问答环节展示自己的水准，堵住悠悠之口。
嫁给疯批太子冲喜后 七零年代炮灰吃瓜日常 神魂颠倒 斩气界 橘子汽水 重回八零：我靠练摊暴富了 修仙：我真没想当舔狗！ 九天纹线 往生之摘星之旅 穿越荒年，我靠做二道贩子发家致富 乱臣 地狱诱宠：闪婚老公是冥王 让你透视鉴宝，你特么一直乱看 重生之做个好军嫂 万春街 神敌 修仙从神秘小鼎开始 趁雪下 离婚后诈死，傅总拿着孕检单疯了 凶奶奶是年代文真千金
人在木叶：生性纯良的我被系统逼上了邪路
关于人在木叶生性纯良的我被系统逼上了邪路穿越火影世界，开局觉醒系统！呦，生性纯良的宿主呦！作为一个正常的男人，你怎么能眼睁睁的看着宇智波富岳那个混蛋老牛吃嫩草！一向宇智波美琴表白，俘获佳人芳心奖励S级忍术一门（随机）二生性纯良的宿主呦！只有愚蠢的人才会做选择，强夺一血奖励写轮眼三门忍术熟练度提升一级（随即）望着远处自己下属那纯真的神情，藤原哲也看着水中自己的倒影陷入了沉思。这一血，自己究竟是要，还是不要？...
仙道猎人
林风穿越到了一个诡异的世界，成了凌虚观的一名小道士。但这世界原本的规则早已破碎，破碎的仙道流落到各种生物手中，滋生出无数邪仙异教。林风在机缘巧合下，被疯子师父血肉附体，还换上了一颗恶鬼的心脏，变成一个半人半鬼的怪物。红月，血雨，尸林倒挂，白蜡油翻滚中人祭，万人朝拜的黄金树，连绵不断的尸垛，不死癫狂的难民，佛世净土中...
林家有女整治家风
关于林家有女整治家风种田宅斗大女主无金手指无cp脾气暴躁一言不合就咬人村中有四霸恶狗公羊大鹅和林三丫林瑶睁开眼就目睹了家徒四壁，那叫一个寒酸。再睁眼又目睹了泼妇骂街，得不想动嘴打一顿就好了。从此林家三丫性情大变一言不合就开撕。重男轻女的偏心祖母，心思深沉祖父，独木难支的后娘，软弱无能的亲爹。上有两个任人欺辱的姐姐，下有两个后娘生的弟妹，更有恶毒叔伯一窝好吃懒做筛子精，真真是极品凑了一堆。从此...
万里追狼
关于万里追狼白龙，它不是龙，也不是马，它是一条白色的狗，是60年代华北地区某村的一条狗王。在那个狼灾泛滥的时代，白龙在主人福哥的照料下，历经坎坷，从一条小狗崽成长为一条勇猛的狗王，并和村里的狗一起担负起守卫村庄的责任。由此与村庄周围的狼群结仇，几番恶战，斗智斗勇。。。...
异能学校之遇上恋爱脑大佬
关于异能学校之遇上恋爱脑大佬选修课总是遇到女主被迫恋爱脑的魔修大佬vs表面小白实则腹黑爱玩的欧皇新生！简介一高考后准备报考的褚星禾，某天突然接到电话请问是褚星禾同学吗？这里是关山岭职业技术专修学院考生你好，这里是玄天宗职业技法大学招生办褚同学你好，这里是魔神机械设计学院招生办这不妥妥的诈骗电话吗？什么妖魔鬼怪的野鸡学校都打电话过来招生。听听这名字，褚星禾能信吗？当然不能！！！然而她还是被迫入学了。没人告诉她还有入学考试，怎么还有人上学带刀枪剑炮水晶球啊？这都算了！为什么入学考试是闯鬼屋？躲丧尸？跳大神越来越离谱了，得亏褚星禾从小见惯妖魔鬼怪，不然真得被创飞。简介二通识实践课就跟着魔修大佬一起选！结课巨快！为什么？他每个副本都得杀妻证道，主打就是一个大道无情！你进去老公还没喊出来，人就噶掉了！嘎嘎快。还有这种好事？褚星禾第一个冲了！然而她遇到的怎么不太一样？谁能来告诉她，为什么这个魔修大佬只会哭唧唧找老婆，甩都甩不开？...
诸天带着随身空间到了四合院世界
关于诸天带着随身空间到了四合院世界陈琦莫名穿越，来到一片湖心岛，发现拥有空间之后，并感应到世界种子，按其要求吸收物质供给小世界之种，然后就被排斥到四合院世界，开局城门口，因为衣服新颖而被误认为富家公子而被放行，进入城内遇到还在卖包子的未成年何雨柱，阻止了他被人骗，改变了他获得外号的命运，从而改变了主角的命运从其身上获得了气运，得到了一定的庇护避免了被四合院世界排斥而赶出世界。之后陈琦靠着何雨柱的帮助进入了四合院租了院子安定下来，靠着小世界的养殖种植能力，通过何大清介绍给丰泽园供应食材，之后开肉铺，接手杂货铺，开商行，买地，生意越做越大，于是很多事情很多人也纷至沓来，蝴蝶效应直接造成何大清成了丰泽园二厨，并再娶了。而陈琦只想收集这个世界的各种动植物然后去诸天寻找永生。持续的获取气运使得小世界内开始出现了生成中的四合院世界的信标传送门，完成之后就可以在离开这个世界之后就可以随时回到四合院世界。现在开启了荒野大镖客2救赎的第一幕第一个世界，四合院，第1章124章第二世界，荒野西部大镖客2125章第三世界，港综第四个世界待定。...