西西河

主题:【原创】上帝之书 -- 我爱莫扎特

共:💬277 🌺1121
全看分页树展 · 主题 跟帖
家园 比这个还要糟糕的是“不可判定性定理”的存在

不完备性定理说总有一些命题无法证(证明或者证伪),那么能不能装鸵鸟,把这类命题找出来造个监狱关起来不去理睬?“不可判定性定理”说一个足够复杂的体系中不存在一种(按部就班的,程序性的)方法来判断一个命题是否可证。监狱造不起来,不可证的命题可能就潜伏在你的身边。判断是否可证(是可证明性,不是要求寻找证明方法)需要发挥人的聪明才智,具体情况具体分析。

这是一个坏消息,数学家的事业永远不能完成;

这又是一个好消息,数学家永远不用担心失业。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河