身为数学系的学生,梅森素数是个什么东西,陆舟当然是知道的。
毕竟一说到梅森素数,就不得不提到一位伟大的华国数学家,以及他在92年发表的《梅森素数分布规律》,让梅森素数变成了一条可以被数学符号表达的公式,也就是国际上惯称的周氏猜测。
而在此前,虽然英国数学家香克斯、法国数学家托洛塔、德国数学家伯利哈特、印度数学家拉曼纽杨和美国数学家吉里斯等都曾分别提出过猜测,但他们的猜测有一个共同点,那就是都以近似表达式提出,并且与实际情况的接近程度均难如人意。
而周氏猜测的精确公式却很简洁,即当2^(2^n)<p<2^(2^(n+1))时,mp有2^(n+1)-1个是素数。
看起来很简单是不是?
我上我也行是不是?
然而就这么一条猜测,至今未被证明或反证,已经成了著名的数学难题,困扰了整个数学界二十多年。
不过这玩意儿就像黎曼猜想一样,虽然无法被证实,但并不妨碍后人假设他成立,并将它拿来运用。
当然了,即便有了精确的计算公式,即便将寻宝的工作交给了计算机,想要发现梅森素数依旧不是一件容易的事情。
截止到目前(2014年),数学界一共发现44个梅森素数。
至于这梅森素数有什么用?
好像也没什么用。
硬要说的话,rsa算法算一个,每次网购都得感谢隐藏在密码里拆解不开的大素数。
与此同时,大素数还被用来考验计算机性能。
比如intel检验芯片使用的就是gimps程序,skylake芯片也曾由此发现bug。
另外,纠结数学是否有用,其实没什么意义。
很多时候趋势数学家行动的动机,并不一定是解开一道算式能获得多少经济收益,而是因为它就在那里。
往大了说,人类不能只有眼前的苟且,还得有诗和远方。
然而陆舟就不乐意了,他可不想要什么诗和远方,他想要的就是眼前的苟且啊!
而且,为什么偏偏是周氏猜想的证明方法!
给我来个黎曼猜想啊!
要么稍微低一档的比尔猜想也行啊!
抛开学术价值不谈,比尔猜想的悬赏已经翻到了一百万美金,这笔钱将由德克萨斯州知名银行家比尔本人提供。
至于周氏猜想,尝试证明的人不少,可好像没人悬赏这玩意儿。
眼看着一套房子就这么飞走了,陆舟心情瞬间不美丽了。
不过往好的地方想,即便只是周氏猜想,如果自己能拿把它给证明了,那也是能在数学史上留名的好事儿。
至于物质方面的奖励,虽然没有关于这个猜测的悬赏,但想来学校方面应该不会亏待自己,至少未来三年的奖学金是稳了的。
那位大二就证明西塔潘猜想的刘同学,不就是最好的证据吗?据说南大直接给了100万rmb,其中50万作为科研经费,50万用来改善生活。
金大好歹能排进全国前十,虽然数学系弱了点,可哪怕是为了面子,也不能被十名开外的南大给比下去吧?
这么一想,陆舟心情稍微好受了点。
冷静下来后,他把那个证明过程拿出来扫了眼。
和那瓶标签为【垃圾】的可乐不同,作为【图纸】这一大类的周氏猜想证明法,不是具体呈现在纸张或者电子档上。
在想要看的时候,只要在心中默念一遍,整套证明步骤就能直接在脑海中浮现。
功夫究竟是什么花架子还是杀人技三千年冷兵器战争和无数民间私斗酝酿出来的把式,究竟是不是骗局国术流开创者,功夫小说第一人梦入神机,在本书中为您揭秘。止戈为武,点到为止。你若无敌,将会如何...
无需虚伪,无需掩饰,在这末世和异界里释放你自己。变异猩猩,曼妙精灵,苟活人类,美女,大人物,强者交汇出一幅幅画卷,血淋淋的现实,绝不妥协。...
迷迷糊糊穿越到了八零年,成了一本书里的恶毒女配,还多了个小萌娃。郁闷的是,这恶毒女配把男主给设计了,让男主娶了她也就算了,她的娃儿,竟不是男主的然后,男主金蝉脱壳成功,却让女配成了被村里人嘲讽的...
睡个觉而已,她竟是穿成了书中同名脑残女配男主的渣前妻,一朵怼天怼地的盛世白莲,而且还是正在私奔路上,既来之则安之,程宁宁表示她要抱紧相公大腿,逆转人生,做诰命夫人,绝不能落得被卖去花楼的下场。...
上辈子上个警察的林耀,没想到这辈子也是个警察,还是个卧底警察,卧底在这个融合了无数经典电视剧,经典电影的特殊世界内。寄语死亡非是终结,亦或是无限开端...
公告,本文于3月5日入v,当天三更掉落,欢迎小可爱们继续支持嗷虞抚芷在一本修真文里穿了三百遍,每次都是路人甲,最后一次依然是个路人甲。时值内门弟子试炼,为了躲避剧情,虞抚芷当场摆烂,最后被一个懒名...