林永青 2023年9月2日 03:55 | 查看原文
20世纪初，正当人们自鸣得意的时候，被#罗素#，#怀特海#，#维特根斯坦#等人奉为#数学#圭臬的集合论出现了#悖论#，数学家们不得不重新审视数学基础；人们开始从4个方面试图解答——集合论的公理化、逻辑主义、形式主义、直观主义都曾尝试努力，但都没有提供一个可普遍接受的途径。#哥德尔不完备定理#在1931年的提出，更对#数学基础#投下了阴影。
林永青 2023年9月2日 03:29 | 查看原文
哲学家#罗素#说过一段看似无理，实则充满睿智的话：“#数学#可以定义为这样一门学科：我们不知道在其中说的是什么，也不知道我们是否正确。”——其一，纯数学与实际意义无关；其二，数学家们也不费心去证实一个定理是否与物质世界相符，只问它是否是通达正确的推理而得的。
