何科咬咬牙:“还有,冯先生……冯先生也知道。只是,他们都担心您挺不过去……”
“我说我这老朋友最近怎么鬼鬼祟祟的,原来这这样吧?”希柏澈表情有些凝重了:“看起来,真的是大问题啊。能有多基础呢?我到底是哪里……”
何科心中一片冰凉:到现在,老师的思路都没有往“完备性”上靠……他根本不怀疑算学的完备性……
“老师,我们还有退路的。我们还是能够通过超穷归纳法。从系统外证明系统的完备性……”
何科没有说太久。算主的眼睛盯着他。那黑色的眸子似乎有无边的魄力。很快,他就说不下去了。过了好一会,算主才将目光拉回到那个自己已经停滞了许久的证明。他仿佛想要沿着这个证明,“看到”算学的彼岸。
“我们必须知道,我们必将知道……”
他轻声呢喃。
“总而言之,我最近的思路了。”王崎一脸平淡的对着冯落衣汇报了自己的思路。
所谓的“思路”,有些时候是需要藏着掖着,但是有些时候说出来也无妨。
王崎的这个思路对于冯落衣来说,就是这样。
冯落衣已经是巅顶的修士了。无论命还是利,他都没有更高的要求了。这位大算家心中所想的。无非就是求得大道,另外还有摆脱那个所谓的“终极图景”。除此之外,再也没有什么利益能够打动他了。
倒不如说,为了实现他的理想。王崎这种有天分的后辈越多越好。从这个层面来讲,冯落衣对王崎的支持当真可以说是不遗余力。
这也是那些已经“登顶”的家伙不吝啬于提携后辈的原因。
冯落衣则在脑海当中思考王崎的思路。他想到:“看你这态势,竟好似要杀穿这个二十三问啊。”
“不敢,不敢。”王崎要要有。二十三问何其可怕?就算在地球,这二十三个问题当中依旧有数问是悬而未决的。他就算有信心独立解决其中的一两问,也不敢说能够解决所有。
冯落衣摇摇头:“以后的事情。谁知道呢?五六年前吧,我就没看出来,你居然能够循着那个完备性,一举击穿第二问、第十问唔,说不定还要再添上第一问。”
“不过……”冯落衣的眼神突然锐利起来:“你好像总是很喜欢走弯路。”
“弯路?”
王崎错愕。力迫法才是完美解决连续统假设问题的不二之选啊?为什么是弯路?
“我最近看到了一个思路,很奇特,很有趣。”冯落衣盯着王崎的眼睛,道:“将所有可建立集合同和成一个系统,在无限中比较无限的大小……”
王崎错愕:“有人想出来了?”
这就是
请收藏:https://m.aofce.com
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)