哥德尔定理的正规表述
1931年，25岁的“小毛头”哥德尔证明了一条定理如下：
“Anyrobust mathematical system contains statements that are true yet unprovablewithin the system.”
哥德尔定理的意思是说：“任何强壮的数学系统必定包含一个真的陈述句，然而，在该系统中，这个陈述句却是不可证明的。”
记得，在1979年，中科院计算所举行哥德尔去世一周年纪念活动，计算所杨东屏研究员报告了哥德尔的生平与科学成就，并且简要介绍了哥德尔定理的证明方法（即哥德尔首创是命题编码方法）。
我应邀与会参加纪念活动。同时在会上作了发言，主题是：利用超滤器（Ultrafilter）构建超实数的新途径。这涉及到模型论的范围。
袁萌 10月23日
6797
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
