檢視数学批判家王晓明的原始碼

数学批判家王晓明。浙江省东阳市人。世界著名数学批判家。

第一，由于数学家普遍不懂逻辑学，不懂语法与修辞，所以数学家的推理和证明几乎全部都是错误的。

第二，数学推理和证明没有规则，所以，不可能证明无误（三言两语还勉强）。许多数学证明论文几十页，几百页，几十个或者几百个词项（概念），几十步或者几百步推导，没有人能够在没有规则的情况下准确无误地完成。

第三，数学没有物质世界可以检验，只能通过批判完成理论证明。不像其他学科，例如物理学，一个理论对不对，只要通过实验就可以知道。个人的工作总是片面的，需要别人批判才能知道错误或者不足。

第四，数学没有时时剔除错误的机制，没有反省错误的习惯，造成错误的堆积。

第五，数学家普遍精神疾患和智力底下，数学界近亲通奸产生下一代白痴。https://bkimg.cdn.bcebos.com/pic/a9d3fd1f4134970a464b17ed98cad1c8a7865d33?x-bce-process=image/format,f_auto/resize,m_lfit,limit_1,h_270




例如，我们已经知道：

1，数学界不会使用正确的推理形式，演绎推理也就是三段论有256种形式，而正确的只有19种。例如安德鲁怀尔斯（在企图证明费马大定理时）和迈克尔阿迪亚（企图证明黎曼猜想时）都是使用错误的IOA形式。

2，数学界不知道概念之间的逻辑关系哪一些是无法传递的，例如数学界在证明费马大定理时不知道费马大定理与古山志村猜想之间是一种对称关系-一种非传递关系（弗莱方程如果可以模形式化，费马大定理与古山志村猜想之间是交叉关系；如果不能模形式化，费马大定理与古山志村猜想是反对关系。交叉关系与反对关系都是非传递关系）。一方的对与错都是不能传递到另外一方。

3，数学界不知道二阶逻辑问题是无法证明的，例如柯召（企图证明卡塔兰猜想）和伊万尼克（企图证明
素数问题）以及费马大定理和黎曼猜想都是二阶逻辑问题（变化率的变化率）。

4，数学界不知道数学定理必须是全称判断（一切A是B），例如陈景润把特称判断（有些A是B）作为证明结论。

5，数学界不知道数学命题主项必须是普遍概念和单独概念，不能是集合概念（等价于二阶逻辑问题,例如费马大定理和黎曼猜想和货郎担问题等）。

6，数学界不知道肯定判断的谓项不周延，例如陶哲轩-陈景润。

7，数学界不知道数学定理的主项必须周延，例如张益唐和陶哲轩。

8，数学界不知道在数学证明中的科学概念必须经过正确的定义（种加属差定义）才能使用。例如陈景润陶哲轩使用错误概念殆素数。

9，数学界不知道抽屉原理的抽屉必须是普遍概念，不能是集合概念例如张益唐。

10，数学界不知道证明一个命题不能与公理矛盾，例如安德鲁怀尔斯证明费马大定理与三段论公理矛盾。

11，数学界不知道“假定”的结论只能是否定的，不能是肯定的，例如帮别理-陈景润等。

12，数学界不知道机器证明不能判定属性。所有的定理都是全称判断，所有的全称判断主项都是普遍概念或者单独概念。普遍概念的特征就是具有属性。机器无法判定属性，例如一个人的性别，需要生物化学鉴定，染色体两个x，即xx是女性；xy是男性。

13，其他。