哥德尔定理的正规表述
1931年，25岁的“小毛头”哥德尔证明了一条定理如下：
“Anyrobust mathematical system contains statements that are true yet unprovablewithin the system.”
哥德尔定理的意思是说：“任何强壮的数学系统必定包含一个真的陈述句，然而，在该系统中，这个陈述句却是不可证明的。”
记得，在1979年，中科院计算所举行哥德尔去世一周年纪念活动，计算所杨东屏研究员报告了哥德尔的生平与科学成就，并且简要介绍了哥德尔定理的证明方法（即哥德尔首创是命题编码方法）。
我应邀与会参加纪念活动。同时在会上作了发言，主题是：利用超滤器（Ultrafilter）构建超实数的新途径。这涉及到模型论的范围。
袁萌 10月23日
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请联系我们举报，一经查实，本站将立刻删除。
发布者：全栈程序员-站长，转载请注明出处：https://javaforall.net/201513.html原文链接：https://javaforall.net
