西西河

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

共:💬28 🌺19 新:
全看分页树展 · 主题 跟帖
家园 是否有大量的非自指的系统不可证的命题?

你对Godel的解读的确比我泛泛的印象要深刻。

以前看《皇帝的新脑》时,似乎看到过这样的例子:很平常的数论命题,一点

不象是自指的怪命题,数学家却怀疑它是皮亚诺整数公理系统无法判定的,要

证它,得加新的公理。记不太清楚了。

如果真有这样的命题,那么你说的“找到一种算法等价于人的心灵或者灵感或

者洞察力,从而可以产生新的正确的定理”的可能性就小了,还得靠人硬上。

我不相信强人工智能,倾向于相信人的智能是特殊的,并非是因为歌德尔定律

。我主要是因为相信精神与物质是二元的,才认为智能是特殊的。

全看分页树展 · 主题 跟帖


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

Copyright © cchere 西西河