主题:【原创】上帝之书 -- 我爱莫扎特
共:💬277 🌺1121
复 吐血吐血
不完备性定理说总有一些命题无法证(证明或者证伪),那么能不能装鸵鸟,把这类命题找出来造个监狱关起来不去理睬?“不可判定性定理”说一个足够复杂的体系中不存在一种(按部就班的,程序性的)方法来判断一个命题是否可证。监狱造不起来,不可证的命题可能就潜伏在你的身边。判断是否可证(是可证明性,不是要求寻找证明方法)需要发挥人的聪明才智,具体情况具体分析。
这是一个坏消息,数学家的事业永远不能完成;
这又是一个好消息,数学家永远不用担心失业。
- 相关回复 上下关系8
压缩 2 层
🙂上花,好文章 1 羽羊 字30 2009-02-17 01:55:32