为了数学的明天，，穿越时空，重返南大（II）
今年7月，国家4部委联合下发《关于加强数学科学研究工作方案》的重要通知，说明国家决定专项财政拨款资助基础数学研究，希尔伯特计划并不除外。此举，在世界范围内，开创了国家（级）专项资助基础数学研究之先河。
回到现在，希尔伯特与哥德尔关于数学形式化（公理化）的研究成果，将世界数学研究推进到一个本质上全新的高度。我们要顺应历史发展潮流（比如超实数方向），不做数守旧派。
袁萌
附件：
阿基米德公理
在抽象代数和分析学中，以古希腊数学家阿基米德命名的阿基米德公理（又称阿基米德性质），是一些赋范的群、域和代数结构具有的一个性质。粗略地讲，它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五，1883年，奥地利数学家
今年7月，国家4部委联合下发《关于加强数学科学研究工作方案》的重要通知，说明国家决定专项财政拨款资助基础数学研究，希尔伯特计划并不除外。此举，在世界范围内，开创了国家（级）专项资助基础数学研究之先河。
回到现在，希尔伯特与哥德尔关于数学形式化（公理化）的研究成果，将世界数学研究推进到一个本质上全新的高度。我们要顺应历史发展潮流（比如超实数方向），不做数守旧派。
袁萌
附件：
阿基米德公理
在抽象代数和分析学中，以古希腊数学家阿基米德命名的阿基米德公理（又称阿基米德性质），是一些赋范的群、域和代数结构具有的一个性质。粗略地讲，它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五，1883年，奥地利数学家