论文部分内容阅读
对孪生素数猜想进行了探索性的测试和论证。借助Excel的计算功能,提出了一个数论IF函数。把孪生素数猜想的证明转化为IF函数的求值问题。运用Excel对IF函数值的增性(不减性)进行了测试性研究。初步证明了IF函数值的非零性与不减性。如果进一步采用数学机械证明,则有望成功解决孪生素数猜想问题。