杨聪、李建明以及孙梦飞不知道的是,他们都被雷勇提供的消息误导了。
雷勇和鲍恩红觉得赵奕的灵感来自于模型飞机,实际上并不是这样的,赵奕做飞机设计根本不需要灵感,需要的只是找一个突破口。
当然了突破口不同,最终做出的设计也不同,但真要去说灵感,还是来自于雷勇和鲍恩红,来自于他们对玩具模型飞机的论证报告。
雷勇和鲍恩红觉得对玩具模型飞机进行论证,就像是完成一个考核作业一样,实际上,赵奕就是根据他们的论证,来对各部分进行的修正。
所以雷勇和鲍恩红在设计中,起到了非常重要的作用,只是他们自己不知道,还觉得赵奕真是很照顾他们,否则怎么解释什么都没做的情况下,赵奕还会对他们的工作非常满意,设计报告中就有他们的名字,并且还委以重任,让他们来航空集团这边辅助设计验收工作?
总之,他们是误会了。
赵奕也不在乎误会不误会,他没有必要独揽全功,把所有的功劳都归在自己身上,分给其他人一些也是很正常的。
现在他甚至没有考虑飞机设计验收工作,只专注于n问题的研究。
赵奕并没有开始做论证,真正去着手解决n问题,因为他还没有想好怎么去解决,从哪里入手去解决,而是在正常的学习工作生活中,不断对问题进行深入的思考。
这种思考能带来很多的思路,有稍微好一些的思路,他就会记录下来。
在连续近一个月的思考后,赵奕都感觉自己有些神经了,他走在路上的时候,都不断念叨着语言逻辑问题。
“下一个大质数是什么数字?一个个验证,验证到x是质数,问题解决。”
“验证x是解决问题的最快途径,也就是过程。如果x是已知的质数,也就是在验证过程中,可以去推导在x和原点数字之间,是否存在其他大质数,但验证次数就会是有限集合,而不是无限的多项式……”
“把问题加上‘平方号’会是什么?”
“大质数的平方肯定不是质数,但它有且只有一个正常因数,问题的平方不一定能用语言来确切做描述,但是可以这么理解……”
“乌拉乌拉~~~”
赵奕思考着语言逻辑问题,感觉头都有点大了,他做的当然不是语言问题,而是纯粹的数学逻辑问题,等他必须要把语言表达的逻辑弄通透,才能够把问数学化,从而以纯数学的方法来解决,否则解决的过程就可能会遇到逻辑不清晰的问题。
两个多星期后。
赵奕差不多理清了逻辑关系,随身的本子上密密麻麻记录了很多内容,他知道可以开始正式做研究了。
当找到了问题的突破口,把问题完全转化为数学后,相对来说就简单了许多,当然了论证过程并不简单。
n=?。
前面的n是无法直接运算的多项式,而对应的则是多项式中的某一个特例,也就是解决n问题的最快最有效的方法。
那么可以假设存在寻找的方法y,使得能从n推导出y,再以y推导出,就能够直接解决n问题。
y就是n问题的答案。
如果y被证明存在,并且能够表达出来,就说明存在可行的特定方法,可以解决复杂无规律、并且只能靠一个个去验证的n问题。
y不存在,证明出来,就说明n问题无法解决。
两者都完成了n问题的证明。
n问题确实是非常复杂的,是千禧年七大数学猜想的第一个,实际上,因为问题非常的简单,只牵扯到逻辑问题,赵奕能用《因果律》直接得到答案,而答案就是‘y不存在’,也就是不存在特定的方法,能够直接解决n问题,答案并不出乎意料,因为九成以上的数学家都认为n问题没有结果,关键就是怎么去证明‘y不存在’。
赵奕想到的办法是图形法。
在三维坐标系中设定一点a,点a向四周发散出无数不规则、无规律的线段,密密麻麻的充斥整个坐标系,而存在一个终点s,有且只有一条线段的终点是s。
如果从原点a出发去寻找s,就必须要一条条的验证,因为a散发出了无数条线段,一一去做验证计算量就太庞大了。
那么是否能找到一个表达式y,使得从原点a的周边范围做判断,就能够按照表达式y,找出那条通往s的线段?
假设表达式y是存在的,可以终点s以及线段,反论证表达式y,再以y去反推原地a,反推的过程中,只需要证明y和a、没有任何相关性,就可以确定y是不存在的。
赵奕想好了证明的方法,就开始闭关在教职工宿舍里做研究了。
这一闭关就是一个星期。
钱虹才清闲了一段时间,就发现自己又要做‘外卖’工作,每一次送饭过去的时候,看向赵奕的眼神都充满了幽怨,同时也期待赵奕是否能完成n问题的研究。
这次只有她一个人知道,赵奕具体是在研究什么。
其他人还觉得赵奕还沉浸于各种技术类的研发中,根本不知道赵奕又重新回归了数学,研究的还是千禧年七大猜想的第一个。
“让其他人知道的话,肯定会是个重磅炸弹吧!”
“估计数学界会沸腾起来!”
“周教授会大声说:赵奕啊,终于回归征途,重新开始研究数学了……”
于此同时。