“第一”和“质数”？

虽然“第一”和“质数”在某些语境下是同义词 ，但数字1并不被看成一个质数。质数的定义排除了它：“任何大于1的除了1和其自身外没有其他因数的数。”还有其他越来越复杂的原因，但我们权且认为1因为太特别而不是质数吧。

事实上，哥德巴赫确实将1看成质数。他还有个想法，叫弱哥德巴赫猜想。它声称，每个比2大的奇数都可以写成三个质数的和。这个说法要改成每个比5大的奇数，这样我们就不必指定1承担一个它不再有权承担的角色。[2013年，秘鲁数学家哈洛德·贺欧夫（Harald Helfgott）证明了弱哥德巴赫猜想。]

欧拉很不明智地对哥德巴赫的想法不屑一顾。结果，虽然哥德巴赫可以用大量数字来测试它，并且它都成立，但他证明不了。在数学中，一个理论要想成立，光靠你测试的每一个数是不够的，你还得有一个证明。

哥德巴赫猜想至今都没得到证明。计算机已经把它试算到4×10 ¹⁸ （4,000,000,000,000,000,000），但那还不够。如果在10 ^2,000,000 附近有个数值导致它不成立该怎么办呢？那我们就上当了，把它当成一个定理来信任，而实际上它不是。虽然因为已知宇宙没有那么大数量的任何事物，10 ^2,000,000 这个数没有实际用途，但它依然是重要的。虽然仅仅做测试永远算不上证明，但测试有可能证明它不成立。因为这个原因，不断地测试并不是浪费时间。 C/SQJbvVcwkVeM/vkCipYUx4+RCv7iOqGlbZVe6jbVLrvhgIioxANwPO8N4opdwb