憋了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系统的一条定理”
但是还是可以用完全相同的方法得出新的不可证定理。
不知道我有没有答到点子上
谢谢(*°∀°)

来自豆瓣App