素数普遍公式

2000多年前欧几里德在证明素数无穷多时就埋下了寻求素数普遍公式的伏笔素数普遍公式，以布劳维尔为首的直觉主义学派认为：“你没有给出第n个素数是如何构造的，就不能算是好的证明”。2000多年来，数论学最重要的一个任务，就是寻找素数普遍公式。黎曼曾想用他的ζ函数给丝英湖附顶数的“零点”来逼近素数普遍公式，至今未获成功。也有人反向思考，用素数普遍公式逼近“零点”来认解决黎曼猜想。希尔伯特在1900年的国际数学家大会上说：对黎曼来自公式进行了彻底讨论之后，或许就能够严格解决哥德巴赫问题和孪生素数问题。