西西河

主题:最近看到的笑话之四 -- 钛豌豆

共:💬4005 🌺35933 🌵168
全看分页树展 · 主题 跟帖
家园 补充:推论

哥德尔不完全性定理:任何足以展开初等数论的数学形式系统,如果是一致的,就是不完全的,即其中必定存在不可判定命题;任何足以展开初等数论的数学形式系统,如果是一致的,其一致性在系统内不可证。

推论:如果一个杀毒软件不能篡改操作系统,那它就不能清除所有病毒。

全看分页树展 · 主题 跟帖


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

Copyright © cchere 西西河