当年,诺贝尔没有设立,不知是有先天预见之明还是偶然遗漏。现在看来真是高明。
数学是所有的科学项目中最不可靠的学科。两千年以来不断发生危机,这是因为:
第一,因为数学没有物质世界检验,不像其他学科可以通过实验来验证,例如物理学的理论对不对,我们通过实验结果就知道了。所以只能通过批判完成证明。自己的认识总是片面的,必须由其他人批判才能看到自己不足和错误。
第二,因为数学目前没有制定推理和证明的规则,对一个问题的论证,三言两语还勉强应付,几十页上百页的推理和证明,没有人不出现错误。
第三,由于数学家普遍不懂逻辑学,不懂语法与修辞,几乎所有的长篇数学证明论文都是错误的。几乎所有的数学奖励都是错误的。
第四,数学家从来不知反省,没有批判学支撑,没有时时检查剔除错误的机制。长期积累错误,造成急重难返。
1,下面内容是获得菲尔兹奖的首位华人丘成桐,丘成桐缺乏必要的逻辑学常识,搞不清楚什么叫做“证明”。