西西河

主题:你真的能看懂茅于轼先生吗? -- 渔儿漂漂

共:💬144 🌺678 🌵79 新:
全看分页树展 · 主题 跟帖
家园 用逻辑检验真理?哥德尔要哭了

敢情不完全性定理白证了。对第一不完全定理的通俗理解就是“我们永远不能发现这样一个形式逻辑系统:它能够证明一切真理,否定任何谬误。”也就是说,用逻辑检验真理,在逻辑上就是不可能的。

全看分页树展 · 主题 跟帖


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

Copyright © cchere 西西河