国家自然科学基金真相查看源代码讨论查看历史

国家自然科学基金的本质就是科学家与政府机关共同贪污和分赃的套路。 例如：

2022年度数理科学部专项项目中的数学项目-算术代数几何中阿黛尔线丛的研究)

nsfc.gov.cn/publish/portal0/tab1184/info88314.htm

参见链接第一条。这是国家自然科学基金委员会李静海与北京大学田刚等人一起分赃的套路。大家说，中国科学家和官员有多么坏！

我多次反映

  第一，由于数学家普遍不懂逻辑学，不懂语法与修辞，几乎所有的长篇数学证明论文都是错误的。几乎所有的数学奖励都是错误的。

第二，第二，因为数学没有物质世界检验，不像其他学科可以通过实验来验证，例如物理学的理论对不对，我们通过实验结果就知道了。所以只能通过批判完成证明。自己认识总是片面的，必须由其他人批判才能看到不足和错误。

第三， 因为数学目前没有制定推理和证明的规则，对一个问题的论证，三言两语还勉强应付，几十页几百页的推理和证明，没有人不出现错误。 所以，必须在制定数学推理规则情况下才能进行研究。数学家必须集体补课逻辑学-语言学，经过考核以后才能进行数学研究。

例如，我们已经知道：

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

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

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

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

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

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

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

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

9，数学界不知道抽屉原理的抽屉必须是普遍概念，不能是集合概念例如张益唐。 10，数学界不知道证明一个命题不能与公理矛盾，例如安德鲁怀尔斯证明费马大定理与三段论公理矛盾。 11，数学界不知道“假定”的结论只能是否定的，不能是肯定的，例如帮别理-陈景润等。 12，数学家不知道机器不能完成属性判定，所以机器证明是荒唐的，例如吴文俊。 13，其他。

举例： http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=84486&extra= 【陈景润，中国科学史上最荒唐的闹剧】 http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=2045828&extra= 【陶哲轩，菲尔兹奖桂冠下的数学赝品】 http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=83215&extra= 【费马大定理，弱智者的盛宴】 http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=2046171&extra= 【柯召没有证明卡塔兰猜想】 http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=1141949&extra=

【张益唐造假事件】 http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=2043744&extra= 【给张益唐审稿的伊万尼克也是错误的】

http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=720542&extra= 【迈克尔阿迪亚证明黎曼猜想错误百出】