王崎笑了🚙笑:“最近我也有一些新的想法……🁀”
在王崎解答了这个问题之后,图灵真人立🁏🄳🁥刻问出第二个问🇲🜢🃵题来。
“你有没有考虑过具备无限条公理的公理系统?“图灵问道:”每一次加入一条新的公理,新的公理系统就比原有的公理系统更加强大。每一个公理系统都在解释前一个公理系统。样子的话。每一个系统都是一直无矛盾的。这样,我们重复无数次,添加可数而无穷的公理。这样的话,我们无论使用了多少条公理,总有更强大的一条公理证明前面的公理一致无矛盾,那么,这个系统便称🗏🚨得上是无懈可击吧?🚰“
“我也这么认为。可是。很遗憾,这种拥有无限公理的公🇲🜢🃵理系统毫无意义。”王崎道:“我们必须先熟知一个公理系统当中所有的公理,才能根据这个公理系统做出判断。若是一个公理系统有无穷的公理,我们便不可能知晓它能够陈述什么、判断什么……”
两个人的问答,越来越流利,也越来越畅快。渐渐的,周围的异动小🝘🚛了下来。
图灵真人,分明是用更加系统化🝍的方式、从更加深入的角度,将他们察⚶🕺🎭觉出🝮的种种不足给问了出去。
而在这种前提之下,王崎还能够对答如流,无数有不完🛆🚅备衍生出的定理、对不完备证明的补充🂾🔜,还有新的算器技术,都在图灵真人和王崎的一问一答当中展现了出来。
闵可夫哼了哼,不屑的在私聊当中低于:“双簧而已……他们两个绝对是对好了的。图灵就是一个托!”🇩
何外🚷🗽尔苦笑:“可就算是托……那也是非同凡响的。至少,我是问不🝘🚛出口了。”
王崎🚷🗽和图灵真人的问答,就是要在展示自己的理论是🜢🃱🛨成体系的。
讲道的主题,被定死在不完备、不可判定。这个是不能变的。他们现在在做的,就是在问答环节展示自己的水准🅍,堵住悠悠之口。
纵然所有人都看🛢🞁得出,这二人在唱双簧,又怎么样?
现在问问题,十🛢🞁有八九就是撞到别人的刀刃上,自取其辱!
这便是史上独一无二的,绝伦的双簧!
图🌤灵真人堂而皇之的♏将这一场问答,变成了他个人与挖的劳伦。两个人也是被激发出了灵感,讨论逐渐脱离🄮🀾了预定的内容,开始向更深处发展。
这一下,就连能够插嘴的人都很少了。
算君庞家莱看着问答中的两人,摇摇头,只是冷笑:🜢🃱🛨“这声屁放得响,不算太臭。”
另一边,算主希柏澈至始至终一言未发⚙👳。(未完待续~^~)手机用户请访问ht🝻tp://.