江扶月突然抬眼,看向谢定渊——
“其实我不认为p一定等于np。虽然现在已经有很多计算机科学家和数学家在朝这个方向努力,试图证明等式成立。”
这个想法,已经不能用“大胆”来形容,它甚至有些疯狂。
就像一个人突然跳出来说:我觉得牛顿力学有问题。
这样的做法俨然站到主流对立面,吃力不讨好。
这也是为什么刚才谢定渊问她,江扶月却三缄其口、不肯明说的重要原因。
但现在她改主意了。
在见过这个男人对科研的认真与专业之后,她突然很好奇,面对学术悖论,他会持什么态度。
说实话,江扶月不是太乐观。
虽然两人接触时间很短,但不难发现谢定渊是个非常自主、有想法的人。
骨子里的高傲在一定程度上也意味着“专断独行”,而这样的人大多固执,他们对既定事物的看法很难被改变。
这也是为什么科学家,尤其是那些学术地位高、成就不俗的科学家,往往给人一种脾气古怪、不好相处的刻板印象。
但事实上,谢定渊的反应比江扶月想象中平静得多,甚至在听完这样一种近乎“异端”的想法后,他连一丝外露的惊讶都没有。
“倘若p不等于np,那就意味着不能用自动化的方法解决所有问题。”他如此说道。
江扶月点头,目光灼灼,不错过对方脸上任何一个表情。
那一刻女孩儿眼里的专注,又一次令男人心跳加速。
然而出口的声音却依然保持着平静与自持:“那也没关系,”他说,“知道哪些工具不好用也有助于人们找到更好用的工具,不是吗?”
江扶月惊讶于他的眼界与格局。
一个人能接受同类,可赞一句心胸宽广;但若能同时包容异类,那他的志向必定不在方寸之间。
上帝会管蚂蚁打架吗?
不会。
因为他的高度决定了他只能放眼天下——看的是大地苍生,观的是人间百态。
蚂蚁算什么?
打不打架又有什么要紧?
谢定渊:“为什么这样看我?”
江扶月倏地回过神,唇畔漾开浅笑:“突然发现了一件有趣的事。”
“我能知道吗?”
她摇头:“不能。”
“……哦。”听起来有点闷闷的。
谢定渊:“倘若你要证明p不等于np,就要证明不存在能解决某些np问题的算法,甚至包括那些未被发现的算法。但实际上,你很难去证明不可能做成某件事,尽管这在逻辑上并非不可能[1]。”
江扶月:“既然并非不可能,那就说明存在这种可能,不是吗?”
而科学研究的魅力正在于此。
毕竟,当爱因斯坦说牛顿力学存在问题,只适用于低速运动的时候,相对论也就诞生了。
谢定渊点头,看她的眼神欣赏中涌动着别样情绪,粒粒光辉闪动。
“最后一个问题,”江扶月迎上他的视线,清澈通明,仿佛能照见一切,“你既然赞同我的想法,又看过我的思路,还在此基础上进行了发散,那为什么不自己证明?”
谢定渊从第一句话,到后面每一句,都在试图引导她去解决这个问题。
https://www.cwzww.com https://www.du8.org https://www.shuhuangxs.com