主题：谈谈陈经的"预测和自由意志"的例子 -- CatOH
共:💬28 🌺19
你对Godel的解读的确比我泛泛的印象要深刻。
以前看《皇帝的新脑》时，似乎看到过这样的例子：很平常的数论命题，一点
不象是自指的怪命题，数学家却怀疑它是皮亚诺整数公理系统无法判定的，要
证它，得加新的公理。记不太清楚了。
如果真有这样的命题，那么你说的“找到一种算法等价于人的心灵或者灵感或
者洞察力，从而可以产生新的正确的定理”的可能性就小了，还得靠人硬上。
我不相信强人工智能，倾向于相信人的智能是特殊的，并非是因为歌德尔定律
。我主要是因为相信精神与物质是二元的，才认为智能是特殊的。
- 相关回复 上下关系8
🙂hehe，沙发被我自己抢了，只有板凳 CatOH 字16 2007-01-13 17:56:09
🙂再顺便说说对歌德尔定理的理解 4 CatOH 字2297 2007-01-13 03:24:44
🙂强人！！ 大醉侠 字78 2007-01-14 16:47:57
🙂是否有大量的非自指的系统不可证的命题？
🙂这是一个很好的问题，花 CatOH 字346 2007-01-14 16:58:34
🙂不用相信精神与物质是二元的， 踏翅 字182 2007-01-14 03:34:05