467
次編輯
變更
创建页面，内容为“数学批判家王晓明。浙江省东阳市人。主要批判数学问题。 因为，数学证明规则没有制定，不可能证明无误（三言两语还勉…”
数学批判家王晓明。浙江省东阳市人。主要批判数学问题。
因为，数学证明规则没有制定，不可能证明无误（三言两语还勉强）。许多数学证明论文几十页，几百页，几十个或者几百个词项（概念），几十步或者几百步推导，没有人能够在没有规则的情况下准确无误地完成。
例如，我们已经知道：
1，数学界不会使用正确的推理形式，演绎推理也就是三段论有256种形式，而正确的只有19种。例如安德鲁怀尔斯（在企图证明费马大定理时）和迈克尔阿迪亚（企图证明黎曼猜想时）都是使用错误的IOA形式。
2，数学界不知道概念之间的逻辑关系哪一些是无法传递的，例如数学界在证明费马大定理时不知道费马大定理与古山志村猜想之间是一种对称关系-一种非传递关系（弗莱方程如果可以模形式化，费马大定理与古山志村猜想之间是交叉关系；如果不能模形式化，费马大定理与古山志村猜想是反对关系。交叉关系与反对关系都是非传递关系）。一方的对与错都是不能传递到另外一方。
3，数学界不知道二阶逻辑问题是无法证明的，例如柯召（企图证明卡塔兰猜想）和伊万尼克（企图证明
素数问题）以及费马大定理和黎曼猜想都是二阶逻辑问题（变化率的变化率）。
4，数学界不知道数学定理必须是全称判断（一切A是B），例如陈景润把特称判断（有些A是B）作为证明结论。
5，数学界不知道数学命题主项必须是普遍概念和单独概念，不能是集合概念（等价于二阶逻辑问题,例如费马大定理和黎曼猜想和货郎担问题等）。
6，数学界不知道肯定判断的谓项不周延，例如陶哲轩-陈景润。
7，数学界不知道数学定理的主项必须周延，例如张益唐和陶哲轩。
8，数学界不知道在数学证明中的科学概念必须经过正确的定义（种加属差定义）才能使用。例如陈景润陶哲轩使用错误概念殆素数。
9，数学界不知道抽屉原理的抽屉必须是普遍概念，不能是集合概念例如张益唐。
10，数学界不知道证明一个命题不能与公理矛盾，例如安德鲁怀尔斯证明费马大定理与三段论公理矛盾。
11，数学界不知道“假定”的结论只能是否定的，不能是肯定的，例如帮别理-陈景润等。
12，其他。
论文有：
https://zhuanlan.zhihu.com/p/142811765
【陈景润1+2，中国科学史上最荒唐的闹剧】
https://zhuanlan.zhihu.com/p/110971896
【陶哲轩，菲尔兹奖桂冠下的数学赝品】
https://zhuanlan.zhihu.com/p/110897433
【费马大定理，数学的挽歌】
https://zhuanlan.zhihu.com/p/110901924
【世界上最无耻的炒作，张益唐造假事件】
https://zhuanlan.zhihu.com/p/110973392
【麦克阿迪亚证明黎曼猜想错误百出】
http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=2045750&extra=
【华罗庚与中国数论学派全军覆灭的可悲下场】
https://zhuanlan.zhihu.com/p/373057098
【柯召证明卡塔兰猜想二次幂情形纯属胡闹】
https://zhuanlan.zhihu.com/p/267641655
【亨里克-伊万尼克事件】
http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=2046562&page=1&extra=#pid2415623
【吴文俊，一曲数学白痴的挽歌】
因为，数学证明规则没有制定，不可能证明无误（三言两语还勉强）。许多数学证明论文几十页，几百页，几十个或者几百个词项（概念），几十步或者几百步推导，没有人能够在没有规则的情况下准确无误地完成。
例如，我们已经知道：
1，数学界不会使用正确的推理形式，演绎推理也就是三段论有256种形式，而正确的只有19种。例如安德鲁怀尔斯（在企图证明费马大定理时）和迈克尔阿迪亚（企图证明黎曼猜想时）都是使用错误的IOA形式。
2，数学界不知道概念之间的逻辑关系哪一些是无法传递的，例如数学界在证明费马大定理时不知道费马大定理与古山志村猜想之间是一种对称关系-一种非传递关系（弗莱方程如果可以模形式化，费马大定理与古山志村猜想之间是交叉关系；如果不能模形式化，费马大定理与古山志村猜想是反对关系。交叉关系与反对关系都是非传递关系）。一方的对与错都是不能传递到另外一方。
3，数学界不知道二阶逻辑问题是无法证明的，例如柯召（企图证明卡塔兰猜想）和伊万尼克（企图证明
素数问题）以及费马大定理和黎曼猜想都是二阶逻辑问题（变化率的变化率）。
4，数学界不知道数学定理必须是全称判断（一切A是B），例如陈景润把特称判断（有些A是B）作为证明结论。
5，数学界不知道数学命题主项必须是普遍概念和单独概念，不能是集合概念（等价于二阶逻辑问题,例如费马大定理和黎曼猜想和货郎担问题等）。
6，数学界不知道肯定判断的谓项不周延，例如陶哲轩-陈景润。
7，数学界不知道数学定理的主项必须周延，例如张益唐和陶哲轩。
8，数学界不知道在数学证明中的科学概念必须经过正确的定义（种加属差定义）才能使用。例如陈景润陶哲轩使用错误概念殆素数。
9，数学界不知道抽屉原理的抽屉必须是普遍概念，不能是集合概念例如张益唐。
10，数学界不知道证明一个命题不能与公理矛盾，例如安德鲁怀尔斯证明费马大定理与三段论公理矛盾。
11，数学界不知道“假定”的结论只能是否定的，不能是肯定的，例如帮别理-陈景润等。
12，其他。
论文有：
https://zhuanlan.zhihu.com/p/142811765
【陈景润1+2，中国科学史上最荒唐的闹剧】
https://zhuanlan.zhihu.com/p/110971896
【陶哲轩，菲尔兹奖桂冠下的数学赝品】
https://zhuanlan.zhihu.com/p/110897433
【费马大定理，数学的挽歌】
https://zhuanlan.zhihu.com/p/110901924
【世界上最无耻的炒作，张益唐造假事件】
https://zhuanlan.zhihu.com/p/110973392
【麦克阿迪亚证明黎曼猜想错误百出】
http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=2045750&extra=
【华罗庚与中国数论学派全军覆灭的可悲下场】
https://zhuanlan.zhihu.com/p/373057098
【柯召证明卡塔兰猜想二次幂情形纯属胡闹】
https://zhuanlan.zhihu.com/p/267641655
【亨里克-伊万尼克事件】
http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=2046562&page=1&extra=#pid2415623
【吴文俊，一曲数学白痴的挽歌】