素数生成公式
在这个讨论中,我说我曾看到过一个素数生成公式。这个公式是在《数学:新的黄金时代》这本书中看到的。有人说没有这样的公式,否则那个寻找梅森素数的项目可以停摆了。这次春节回到上海家中,总算找到了这个公式。这个公式确实是有,但它对寻找大素数却无帮助,请看以下说明:
这个公式是一个26元25次的公式,光看这个变量数目你就知道这个公式很长,而且很有意思,它恰好用完所有英文字母。它的基本形式是(k+2)*(……)。你可能会奇怪,为什么素数生成公式会有因子相乘的结构?答案就在这个表达式为正时,全为素数,且包含所有素数。而它当且仅当k+2是素数且第二个括号内表达式等于1时才为正数。所以,你就知道它为什么对寻找大素数没有帮助了,因为从第二个括号等于1的条件,根本无法写出k的一般表达式。
其实更一般的结论是:所有“可列集”(素数集更强,是“可计算集”)都有一个丢番图方程与它对应,欲知更祥,请看那本书,绝对值的一看的好书。