數學批判家王曉明檢視原始碼討論檢視歷史

數學批判家王曉明。浙江省東陽市人。主要批判數學問題。 因為，數學證明規則沒有制定，不可能證明無誤（三言兩語還勉強）。許多數學證明論文幾十頁，幾百頁，幾十個或者幾百個詞項（概念），幾十步或者幾百步推導，沒有人能夠在沒有規則的情況下準確無誤地完成。

例如，我們已經知道：

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 【吳文俊，一曲數學白痴的輓歌】