形式化的正确地位

该书要面对的首要问题就是：数学知识的发展是不是形式化的演绎推理。我觉得傻子也知道根本不是，这何以能够成为一个重要的问题。数学学者，乃至自然科学学者，都有一种极大的惯性，将学术发现史的艰辛历程全然抛弃，一旦综述诞生，之前的一切都不再重要。不管不收敛级数有没有遭到过困境，不管复函数有没有遭到过批判，只要逻辑大厦一旦建成，种种概念环环相扣，理论体系无懈可击，历史的...>>查看原文