为什么数学证明的“抽屉原理”可以使用“至少存在”

wxmwrk

    在以前的文章中，我们谈到张益唐陶哲轩陈景润莱文森等人使用“至少存在”是错误的，而数学证明中使用“抽屉原理”也使用“至少存在”，两者有什么不同吗？

  现在我告诉大家，为什么抽屉原理是正确的。
  抽屉原理中，例如“5个抽屉放了6个信封至少有一个抽屉放了2个或者2个以上的信封”。
  因为主项中每一个抽屉都是：
1，一样的，没有区别；
2，可以互换的；


   而张益唐，陈景润，陶哲轩，莱文森的所谓“证明”，每一个个体是有区别的。
例如张益唐的小于7000万素数对，有相差2的素数对，相差4的素数对，....，相差7000万的素数对，每一种都是独一无二的，无法区别的，不能互换的。这样的“证明”暗含“假定存在”非逻辑前提，逻辑证明严禁使用非逻辑前提。并且这样的证明，在演绎法证明的三段论推理中，无法使用正确的推理形式——相容选言推理中的：否定肯定式：
大前提：或者A或者B；
小前提：非A；
结论：所以B。

而只能使用错误的推理形式：肯定肯定式：

大前提：或者A或者B；
小前提：A;；
结论：所以或者A或者B或者A和B。

错误的结论等于什么也没有说，在认识论中被称为“不可证伪”。而科学结论的根本要素就是“可以被证伪”。
---------------------------------------------------

如果有人不能理解，我就举例说明。

1，n个抽屉放了n+1个信封，至少存在一个抽屉放了2个信封或者两个以上信封。

用相容选言推理的正确形式——否定肯定式证明：

大前提：或者第一个抽屉放了2个或者2个以上信封；或者第二个抽屉放了2个或者2个以上信封；...；或者第n个抽屉放了2个或者2个以上信封。

小前提：第一个抽屉没有放2个信封；第二个抽屉没有放2个信封；.....；第n-1个抽屉没有放2个信封。

（如果第一个抽屉放了2个信封，问题结束；第二个抽屉放了2个问题结束；...；第n-1个抽屉放了2个问题结束）

--------------------------------------------------------------------------------------

结论：所以，第n个抽屉放了2个信封。

即至少有一个抽屉放了2个信封。

2，集合概念每一个个体不一样就不能使用正确形式否定肯定式，例如张益唐小于7000万素数对至少有一对是无穷多个。我们验证

否定肯定式：

大前提：或者相差2的素数对无穷；或者相差4的素数对无穷；......;；;或者相差7000万的素数对无穷。

小前提：（要剔除掉不是无穷多个的素数对）。这个显然做不到。

-------------------------------------------------------------------------------------------

结论：无法完成。

张益唐只能采用错误的推理形式——肯定肯定式：

大前提：或者相差2的素数对无穷；或者相差4的素数对无穷；...；或者相差7000万的素数对无穷。

小前提：或者相差2的素数对无穷；或者相差4的素数对无穷；...

------------------------------------------------------------------------------------------------------------

结论：至少有一对素数是无穷多个。

陈景润，王元，潘承洞，陶哲轩，张益唐等人都是这种错误。

wxmwrk

数学对其他应用科学，必须做到绝对忠诚，绝对可靠，绝对服从。[size=14.6667px]有道是“天作孽，犹可违；自作孽，不可活”整个数论学自作自受，自我毁灭。