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

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

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


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

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

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

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




Copyright © 2018 Panswer All rights reserved.