[推荐]驻潍某部军官用计算机程序破解哥德巴赫猜想

jingl

驻潍某部军官用计算机程序破解哥德巴赫猜想

潍坊报　近日，一张《切尼斯中国纪录证书》被送到驻潍某部军官张志明手中，以表彰他在哥德巴赫猜想中做出的贡献。张志明所设计的计算机程序成功验证出前1439435465个自然数符合哥德巴赫猜想，并创造了国内纪录。  
　　据了解，张志明是河北省衡水市人，现为驻潍某部中尉军官，他从小就喜欢数学，自从在小学里了解了哥德巴赫猜想后，就一直痴迷于其中。2000年，他考入中国人民解放军空军航空大学学习计算机编程，在这期间他有了更多的时间研究哥德巴赫猜想。一次偶然的机会，他想出了用计算机程序破解哥德巴赫猜想的方法，并在大学数学老师、教授的指导下，设计出这种计算机程序，经过反复修改，该程序方法准确无误，能成功验证出前1439435465个自然数符合哥德巴赫猜想。  
　　8月27日上午，记者在驻潍某部司令部，看到切尼斯中国纪录总部发给张志明的证书，上面写有“切尼斯中国纪录证书，符合哥德巴赫猜想的最大自然数”等字迹，证书上还写有“完成这一工作需要两年的时间，创造了一项新的切尼斯中国纪录”，并有切尼斯中国纪录创始人张大勇的签字，切尼斯就是中国第一和中国纪录拥有者的意思。证书颁布时间为2007年1月。  
　　张志明告诉记者，部队领导和学校教授、老师得知他在设计这种计算机程序后，给予了很大的支持，他每取得一点进步，他们都会带着自己到相关权威部门进行验证，这给他带来了很大的信心。2005年6月，他把这一计算机程序寄到了切尼斯中国纪录总部，很快就得到了答复，让自己没有想到的是，这还创造了国内纪录。张志明希望有对哥德巴赫猜想感兴趣的市民，能与他联系，共同探讨这方面的课题，争取达到国际领先水平。

天山草

下面引用由jingl在 2008/11/01 09:31pm 发表的内容：
验证出前1439435465个自然数符合哥德巴赫猜想　...

    这数能算大吗？ 才 14 亿多点，还不到 100 亿呢。

shihuarong1

      简直是胡闹！计算机验证到14亿就算证明了哥猜？在14亿后面再加一万个零也只能说验证到了那个数，离证明哥猜还有10万8千里！

wangyangke

（笑话）继鲁思顺——定理：鲁思顺是个二百五！——之后，陕西雷明举重若轻，轻松证明哥德巴赫猜想