以往数学家企图证明哥德巴赫猜想荒唐的逻辑关系

qwerty

设a，b，c都是所谓“殆素数”，即n个素数的乘积：

1，是否【1+1】包含在【1+c】或者【a+b】之内？
如果回答：是！

2，证明程序是否可以从【1+c】或者【a+b】到达【1+1】？
如果回答：是！

3， 【1+1】是否可以必然从【1+c】或者【a+b】中剥离出来？
如果回答：是！

4， 如果最后证明了【1+1】不能成立，前面三条就是错误的。

分析一，就是说，前面三条是在假定【1+1】必须正确的情况下的“成果”，
这个就荒唐了，我们还不知道最后是否正确，就假定了最后成果必然正确。

分析二，如果前面三条不能成立或者不能肯定必然成立，怎么可以算是“成果”呢？

关于假定。

    1， 假定，只能用在否定结果的证明中，例如，欧几里得证明素数无穷多个（假定a成立，可以推出b，得到c，c与a矛盾，所以假定的a不能成立，得到非a）。

   2， 假定不能用在肯定的结论（假定a，可以推出b，得到c，c=a，或者c包含a，所以假定的a成立，这个就是预期理由的错误）。

  3， 为什么“假定”只能用于否定的结论，而不能用于肯定的结论？一个对科学理论更强的逻辑制约因素是，它们是能够被证伪的。换一句话说，因为以后能够被观测作有意义的检验，理论一定有被证伪的可能性。这种证伪的判据是区分科学与伪科学的一种方法。原因在于证实的内在局限性，证实只能增加一个理论的可信度，却不能证明整个理论的完全正确。因为在未来的某一个时刻，总是会发现与理论有冲突的事例。