素数计数公式全面拉丁化改写-小有改进-Meissel公式-梅塞尔-Lehmer公式-莱梅=勒梅尔-筛法三种形式-孟庆余公式

何冬州的百度空间Blog  
本文的另一版本:  http://hi.baidu.com/wsktuuytyh/blog/item/396a934ac679680208f7ef2c.html    信息革命先驱者/数学电脑爱好者

注： wsktuuytyh 即何冬州 三字的五笔编码

    主页博客相册|个人档案|好友|个人中心|i贴吧

写新文章

素数计数公式全面拉丁化改写-小有改进-Meissel公式-梅塞尔-Lehmer公式-莱梅=勒梅尔-筛法三种形式-孟庆余公式

    2012年06月13日 星期三 6:17

本文标题：

素数计数公式全面拉丁化改写-小有改进-Meissel公式-梅塞尔-Lehmer公式-莱梅=勒梅尔-筛法三种形式-孟庆余公式

前言:

   约在2002~2003年我在家闲呆了段时间,专心自学数论,矩阵论等资料,自己有些心得。

    其中有一件小事,就是计算万以内的素数的个数.

    当时自行推导几个公式,近日发现,与Legendre公式, Meissel公式一致,但没有Meissel公式这样简明.近日看到Meissel公式,与自己的想法一结合,发现可以简化Meissel公式.

    而 Lehmer公式,我当时有这样的思路,作了这样的计算,不过没有整理成公式.

    此外,看到孟庆余先生的公式,觉得很奇特,竟然使用四舍五入,我还没有验证.

    而王晓明素数计数公式,我在2003年的数学笔记中已经有这样的计算,但是,我并不觉得有什么特别,因为黎曼和欧拉等人比我走得老远.我当前试图精确控制误差,找到这个公式的小数部分的误差限,结果没有成功.网上盛传的一些数论难题的所谓证明, 所谓公式,都是在拿误差限不明确的公式在论证,我觉得十分有失严谨.当然, 如果公式的误差限找到,这些证明的过程是可以参考利用的,意义是有的,但是,现在无法肯定.

    因此,我提醒数论爱好者们,包括王晓明先生,孟庆余先生,弯国强先生,多多研读经典,治学严谨一些,谦虚务实,不可累于虚名.虽然我这些话并不是什么新内容新道理,但是我强调一下,亦作为自勉吧.

    而王晓明先生的索数普遍公式,实际是构造了质数连乘积的缩系(既约剩余系,简化剩余系),我于2003年受台尔曼公式和闽嗣鹤·严士健《初等数论》的启发, 给出了构造缩系的更简明的方案,例如 ( ( 1/2+{1,2}/3+{1,2,3,4}/5+{1,2,…,6}/7 ) mod 1 ) *2*3*5*7

    其中a mod 1,即是a的小数部分.

    . 2004-2005年,受洪伯阳先生的《数学宝山上的明珠》的启发,在研究中国剩余定理有所改进之后,给出了另外的表示.2010年,看过了王晓明先生的文章后,发现始终没有解决误差限问题和算法复杂性问题,所以,我曾经致信王晓明先生, 认为素数普遍公式,并没有完成,也不成熟.

    因此,我略整理了一下网上搜集来的经典结论,打算从中获得一些启发,巩固自己的数论基础.

    其中有我个人的心