第1049章 你说p和np可证？

宋御今天左右无事。

跟这两位聊天，应该能听到些有意思的事情。

何况还有两个美人作陪。

听到宋御答应，唐景渊再次一笑。

唐厚、唐青词、张莉等人心情也是极佳。

尤其是唐青词和张莉，对日常的宋御，还是很好奇的。

一行人起身朝着公园西门走去。

这期间宋御自然又是戴上口罩，否则就算是老年人居多的公园，能认出宋御的人，依旧不少。

更别说，中秋诗会就在昨晚。

这里的大爷大妈，大多都对宋御记忆犹新。

走个几百米，几人就到达了目的地。

淮扬老馆子店面不大，进门就能闻到浓郁的桂花甜香。

老板显然认识唐景渊，见他们进门，亲自迎出来招呼，安排了一间靠里的包间。

大厨是个地道的扬州人，手脚麻利，不多时便将冷盘热菜依次上齐。

桂花糖藕、清炒虾仁...

唐景渊夹了一筷子响油鳝糊，满意地咂了咂嘴。

“宋御，尝尝这味道怎么样？”

“能不能入你的眼。”

宋御颔首，夹了块狮子头，肉质酥而不烂。

跟他比虽然是比不了，但也是难得的好滋味了。

“火候功夫都到家，确实好味道。”

见他吃得满意，唐景渊咧嘴一笑，唐青词和张莉也是纷纷动筷。

见唐厚也吃得美滋滋的，唐景渊开口道：

“刚刚硬拉你，你还不出来。”

“若是不出来，哪有这美食可吃。”

见自家老父亲被打趣，唐青词脸上露出笑意。

唐厚也是无奈一笑：

“一日之计在于晨。”

“我早上在网上旁听一个国际数学研讨会。”

“研究课题是第三次数学危机。”

“主讲人是位英国数学家。”

“听起来，还是颇有趣味的。”

说完，唐厚喝了口汤，似是对自己边写字边旁听研讨会的雅事，被打断有些遗憾。

唐景渊一怔，随即摇头失笑。

他对自己这个弟弟确实佩服。

算是真正把活到老、学到老，贯彻到极致了。

治学涉猎极广、文、史、哲、数、计科无不钻研。

天天研究些他看着都头大的东西。

当然，他对此是支持且赞赏的。

毕竟，这些他看起来头疼的东西，才是目前社会最有用的工具。

飞机大炮都要靠这些来造。

宋御拿起餐巾，擦了擦嘴角：

“第三次数学危机？是指集合论悖论吧？”

唐厚有些意外地看向宋御：

“宋小友对数学也有研究？”

“谈不上研究，恰好读过一些。”宋御笑了笑，

“罗素悖论引发的第三次数学危机。”

“还是挺有趣的。”

唐厚叹了口气：

“本质是无穷的理解出了问题，后来通过公理化集合论解决了。”

“但代价是把数学的基础建立在一套人为约定的公理之上，而非绝对的真理之上。”

“还是令人颇为遗憾的。”

宋御轻笑一声：

“那想来研讨会的内容，就是老生常谈的三大流派了。”

唐厚笑着点头：

“没错。”

宋御摇了摇头：

“都是在圈子里打转而已。”

“逻辑主义想把数学全塞进逻辑里，塞到最后不得不靠几条说不清道不明的公理硬撑。”

“本质是自己骗自己。”

“直觉主义倒是敢拆房子，可拆完了连一半数学都没法用，相当于因噎废食。”

“希尔伯特的形式主义最体面，想造一个完美自洽的符号王国，结果被哥德尔一巴掌拍碎了。”

唐厚脸皮不由一抽，这番话若是扔到研讨会上，怕是要激起群愤。可细想又句句戳在要害上，他只得摇头笑道：

“宋小友，倒是...一针见血。”

唐景渊虽听不懂他们聊天，但也能听出来，宋御是在嘲讽外国佬，不由一乐，也来了兴致：

“你们聊的无穷是什么？”

唐青词立刻作出专业解释。

这作为学校的必修，她对这个概念，还是不陌生的。

唐景渊：“听不懂。”

宋御见状，轻笑道：

“庄子说，一尺之棰，日取其半，万世不竭。”

“这就是极限思想，比欧洲的无穷小概念早了近两千年。”

“刘徽在《九章算术注》里用割圆术计算圆周率，用的就是割之弥细，所失弥少，割之又割，以至于不可割，则与圆合体而无所失矣。”

“这其实就是极限思想的完整表述，逻辑链条非常清晰。”

唐景渊眼睛一亮：

“这回听懂了！”

唐青词和张莉立刻投来佩服的目光。

唐厚对自家哥哥也是颇感无语，转头又和宋御交流：

“没想到你对数学史也有涉猎。”

“当时研讨会主要内容，正是这些。”

“最后还有个青年学者，分享了下密码学的研究。”

“主要的研究方向，是P vs NP问题。”

“我刚听一半，便被拉了出来。”

“说起来，这题若是能证明出来。”

“真不敢想，会对现在的文明，造成多大的影响。”

说到这儿，唐厚眼神微眯，似是陷入到幻想中了。

宋御放下筷子：

“那要证明 p = np 才可以。”

“而现在的证明思路，一直是在布尔可满足性问题里兜圈子。”

“很难有什么突破。”

闻言，唐厚回过神来，对宋御的说法有些不解：

“难道还能有其他的角度？”

宋御微微颔首，话音平淡落在唐厚耳中却石破天惊：

“其实...”

“P VS NP 问题，是可以证的。”

唐厚先是一怔，随即眼睛猛得瞪大：

“你说什么！！！”

宋御耸了耸肩：

“从非确定性图灵机的时空资源对偶入手，绕开自然证明的陷阱...”

“...”

......

一顿饭在唐厚的大惊失色中中断。

他火急火燎的便回到家，接着找了他认识的对应专业博士，开始了闭关。

而唐青词和张莉，便负责送宋御回家。

车上。

张莉开着车，唐青词则是坐在宋御身边，她好奇问道：

“你刚刚说得，那个是什么呀？”

“为什么我爸那么激动。”

宋御轻声解释道：

“n和np问题，简单来说，就是如果一个问题的答案能快速验证，是否一定能快速算出答案。”

唐青词皱着眉头想了想，摇了摇头：

“不懂。”

前面开车的张莉，同样悄悄的竖起耳朵，她也没听明白。