第1049章 你说p和np可证？（2 / 2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

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

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

“本质是自己骗自己。”

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

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

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

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

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

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

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

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

唐景渊：“听不懂。”

宋御见状，轻笑道：

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

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

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

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

唐景渊眼睛一亮：

“这回听懂了！”

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

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

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

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

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

“主要的研究方向，是PvsNP问题。”

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

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

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

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

宋御放下筷子：

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

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

“很难有什么突破。”

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

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

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

“其实...”

“PVSNP问题，是可以证的。”

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

“你说什么！！！”

宋御耸了耸肩：

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

“...”

......

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

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

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

车上。

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

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

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

宋御轻声解释道：

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

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

“不懂。”

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