憋了8个月的书评,我试着一万个字内讲清楚《GEB》

Shoreline 评论 哥德尔、艾舍尔、巴赫 5 2017-08-12 12:54:41

这篇书评可能有关键情节透露

hewitt121
hewitt121 (斯宾诺莎的镜片) 2017-08-19 10:24:59

提示说回复的评论有更新,跟过来的。很不容易,写了这么多。但是你举的“我不是定理”这个例子似乎会带来误解。因为按照哥德尔的说法,可以在系统里把无法证明的定理直接包含进去,但系统依然会有新的无法证明的定理。而这个例子似乎不能起到这个作用。你的例子似乎更接近于罗素悖论的一个版本。

看的不太仔细,如果我理解有误,还请见谅。

Shoreline
Shoreline (hi~) 2017-08-22 14:34:51

“我不是一条定理”不是我举的例子,作者就是用它来解释定理证明的过程。可能我疏忽了对“系统扩充后依然不完全”这点作解释。
那句话更详细地说就是“我不是TNT系统的一条定理”
把G包含进入之后就是“我不是TNT+G系统的一条定理”
但是还是可以用完全相同的方法得出新的不可证定理。
不知道我有没有答到点子上
谢谢(*°∀°)

instinct
instinct 2017-09-28 17:16:40

非常感谢分享!!
不过,行文中有一些错别字,还有多出来的字,建议修改一下吧——
比如:4.大脑和自我 一段中的第二个“极其”应该是“及其”吧?
还有同一段中的这一句“要是没有一个并表示有机体的符号”,好像也不通顺的

> 豆瓣违规公示