00后大学生：认真学习微积分，不做数学小糊涂虫

        当前，建设科技强国的战斗号已经吹响，你们是当之无愧的接班人。

        上世纪30年代，哥德尔证明了紧致性定理；1960年，鲁宾逊创立的公理化微积分（即无穷小微积分），其真理性在于理论内部不存在矛盾性。

        数学的真理性何在？哥德尔与鲁宾逊的真理观如下附件所述。袁萌不希望00后大学生成为数学小糊涂虫。

        说明：数学形式主义学派的观点是数学的学术观点，不是哲学形式主义。

袁萌   6月10日

附：

        数学形式主义学派认为，数学的真理性体现在它的不矛盾上。为此，只须证明由数学公理出发永远推不出矛盾，数学便是可信赖的了。

        为此，主张数学系统公理化，公理和规则都用形式符号表示对这些形式符号不赋予任何内容。只须证明形式地描述不加定义的对象之间关系的公理系统的无矛盾性，数学的无矛盾性就得到了证明。主要代表为德国数学家希尔伯特。他提出了先把数学理论变成形式系统，再用有穷方法证明形式系统无矛盾性的著名的“希尔伯特方案”。