假设检验(Hypothesis Testing)是数理统计学中根据一定假设条件由样本推断总体的一种方法。假设检验的基本原理举个通俗的例子：你随手扔一个硬币，连仍10次，发现都是正面，这个时候我们开始怀疑这个硬币是不是有问题？我们做一个假设H：这个硬币没有问题那么每次出现正面的概

哥德尔不完全性定理表明，任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。没有证明有没有证明只有有限多的质数？当然没有! 毕竟，欧几里德在他的《几何原理》中告诉我们，有无限多的质数。由