送交者: YuanMingYuanQingWa 于 2005-6-19, 22:18:32:

最近关于哥德尔不完全性定理的讨论似乎都对该定理（两个）有误解。
请大家先理解和分清了数学证明，公理系统（形式系统），公理系统中的证明，有穷方法，超穷归纳法这些概念之后，再来讨论该定理及其蕴含吧。（输入中文太费时间，简单至此。）

• 哥德尔原证明定义很清楚，黎日工抱一篇科普 - Dishui (116 bytes) 2005-6-20, 00:00:45

加跟贴