西西河

主题:谈谈陈经的"预测和自由意志"的例子 -- CatOH

共:💬28 🌺19 新:
全看分页树展 · 主题 跟帖
请教
家园 ID读作亲氧化猫,hehe

所谓复杂到一定程度,就是说此系统能够表达自指的叙述,比如这一类的命题:“CatOH无法证明此命题”。

这个就是一个我无法证明的命题。但是对于你来说,明显可知此命题为真--这并不能推出你总是胜过我的,仅仅是因为对于此命题我们不是对等可比较的双方。

希望解释清楚了...

全看分页树展 · 主题 跟帖


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

Copyright © cchere 西西河