找回密码立即注册
搜索
热搜: 论文 科普 华科
查看: 198|回复: 1

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

[复制链接]   [推荐给好友]

58

主题

100

回复

94

博文
发表于 2018-2-13 06:44:36 | 显示全部楼层 |阅读模式
本帖最后由 wxmwrk 于 2018-2-18 09:52 编辑

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

  现在我告诉大家,为什么抽屉原理是正确的。
  抽屉原理中,例如“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的素数对无穷;...

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

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


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



回复

使用道具 举报

58

主题

100

回复

94

博文
 楼主| 发表于 2018-2-13 07:14:57 | 显示全部楼层
本帖最后由 wxmwrk 于 2018-2-16 18:48 编辑

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

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

快速回复 返回顶部 返回列表