在数学中存在着一个奇怪的现象,那就是问题越简单,越难以解决。归根到底,是因为数学并不是一门自然科学,它的研究对象并不是实物,而是抽象的概念。
数学,是科学,是科学中的形式科学,其底层逻辑是根据皮亚诺公理的算术公理系统构建的。
这样就导致了一个问题,当涉及到最基础的数论证明时,数学就显得特别虚弱无力。
比如,有些人认为三岁孩子都知道的1+1=2很简单,可数学家罗素的巨著PrincipiaMathematica用了300多页才证明出1+1=2!
纵观数学史上留名的数学家,可以把他们分为两类,
一类是善于提出问题,并在解决问题的过程中,提出新的数学理论的数学家。
另一类则是只负责制造问题,管杀不管埋的那种。
德国数学家克里斯蒂安·哥德巴赫,很明显就是后一类,他在1742年,提出了两个哥德巴赫猜想猜想。
没错,哥德巴赫猜想最初是有两个猜想构成,分别被称为奇数哥德巴赫猜想和偶数哥德巴赫猜想。
奇数哥德巴赫猜想表述为任何一个不小于7的奇数可以表成三个素数之和;偶数哥德巴赫猜想表述为任何一个不小于4的偶数可以表成两个素数之和(这其实就是1+1叫法的来源)。
幸运的是,数学家Vinogradov部分的证明了奇数哥德巴赫猜想,实际上是证明了对于充分大的奇数,都可以表示为三个素数之和。
也就是说在此之后,一旦证明偶数哥德巴赫猜想,那么就可以完美的推导出奇数哥德巴赫猜想。
所以在数学家们“节约纸张”的习惯下,哥德巴赫猜想就被精简为任一大于2的偶数都可写成两个素数之和。
看到屏幕上人工智能小花收集的资料,李默露出了苦涩的笑容。
他已经尝试过用Hardy和Littlewood圆法,试图去解决哥德巴赫猜想,结果很明显,那就是他完全浪费了3天
的时间。因为在哥德巴赫猜想中存在两个变量,提出一个来之后,剩下的一个很难进行平凡的估计。
经过这几天的“艰苦学习和不断挫败”,李默对华国的数学前辈陈生,产生了深深的敬意。陈生能在艰苦的环境下,提出几乎素数代替偶数的筛选法,证明出了“1+2”。这个已经很难得了,虽然这个结果在李默看来,离解决偶数哥德巴赫猜想还有非常大的距离。
至于后面的也有许多数学家,对外界声称在证明哥德巴赫猜想中,取得了突破性成果,但他们迟迟没有提交证明论文,并且有些甚至连思路也没有给出,完全没有任何参考价值。
李默已经渐渐意识到,哥德巴赫猜想同他以前证明出的世界难题不同,这完全是一座高山,当有经验的登山者面对高山时,最好的做法就是在山脚下做好准备工作。
所以他并没有急于“闭关”,而是“爆肝”各种数论文献,吸收前人的智慧精华。
“笃...笃...”敲门声响起。
李默没有抬头就知道是张小莉,因为只有她敲门时是如此的柔弱,生怕把门敲破了一样。
“老板,这是实验员们的项目申请。”张小莉递过一份材料,“还有,毕明宇的考核成绩已经出来了,周博士给了A+的评价。”
“A+?这么高?”李默抬起了头,他没想到那个看似木讷的格子衫,竟然有满腹才华。m.
品格:9,专业:A+
这样的成绩已经够资格进入实验室了。
“那就把他招进来吧,暂时安置在周博士手下,福利待享受正式员工的待遇。”李默交代道。
“那秀山的福利房,是不是也要给他分一套?”张小莉接着问道。
李默皱了皱眉头。
考虑到燕京的房价超高,为了解决员工们的后顾之忧。他当初在新实验的建设中,特意在实验室外围,靠近秀山公园的地方,规划了十几栋家属楼,每一位实验室的正式员工,将能获得一套房子的长期使用权。如果该员工的工龄达
到十年以上或者是做出了重大贡献,这套房子的所有权将会完全归该员工所有。
“分一套两室的给他吧,他好像还没结婚。”思索了片刻,李默做出了决定。
“好的,我这就安排。”
李默翻看着手中的项目申请书,由于最近正处于项目空窗期,他特许实验员们可以按照自己的爱好,自由选择新项目。
他山之石可以攻玉,有时实验室内的偶然发现,也许会成就一个伟大的发明。
苏格兰科学家亚历山大弗莱明爵士,注意到一种快速生长的霉菌,在一个丢弃的培养皿中阻止了细菌生长,于是将霉菌分离出来单独培养,就用了拯救无数人的青霉素。
电气工程师JohnHopp,上世纪中叶,他尝试使用射频加热来提高体温,结果发现电脉冲对身体的热量没有太大作用,却能够刺激心脏,并将其重新转换节奏,因此发明了起搏器
看一看实验室的优秀科学家们有什么好的项目提议吧,李默对于“民众的智慧”充满了期待。
“利用“氦气变声”,研究一下共鸣在大象发声中的作用,申请人:周明瑞、刘炫辰、刘浩。”
“研究了树袋熊排出方形粪便的方式和原因,申请人:王小川和刘磊。”
“苍蝇污染红酒的检测-苍蝇之间传递信息的费洛蒙可以被人类的鼻子闻到,客人在喝到几分醉时才闻不到费洛蒙的味道,申请人:静静。”
“在1+1=3的情况下,数学会发生什么变化,申请人:周大方。”
.......
卧槽,这都是什么奇葩选题啊,李默觉得自己的眼睛被辣到了,难道这些看似老实木讷的实验员们,内心是如此的闷骚吗?
大象和树袋熊又招谁惹谁了?
还有静静的“苍蝇实验”,这是准备开红酒小作坊的节奏?
至于周大方的1+1=3,李默更是无语,这家伙正统数学玩够了,准备向民科领域发展吗?他难道不明白,对于数学来说,数字并不重要,重要的是其中逻辑关系。
.....