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

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

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

斯宾诺莎的镜片
斯宾诺莎的镜片 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.大脑和自我 一段中的第二个“极其”应该是“及其”吧?
还有同一段中的这一句“要是没有一个并表示有机体的符号”,好像也不通顺的

Leo
Leo 2018-10-07 20:36:42

感谢分享,受益匪浅

[已注销]
[已注销] 2018-11-12 20:36:23

这本书真的看得内心奔溃,但感叹自己竟然看下来了

sususlsz
sususlsz (everything will be fine) 2018-11-12 22:09:15

精妙绝伦!

三枭姬嫁本
三枭姬嫁本 2019-01-20 20:34:47

硬着头皮读过开头 根本看不下去。。不过这篇文章又激起了我对这本书的兴趣 螃蟹卡农好有意思

Shoreline
Shoreline (hi~) 2019-01-21 00:25:44
硬着头皮读过开头 根本看不下去。。不过这篇文章又激起了我对这本书的兴趣 螃蟹卡农好有意思 硬着头皮读过开头 根本看不下去。。不过这篇文章又激起了我对这本书的兴趣 螃蟹卡农好有意思 三枭姬嫁本

嗯嗯,希望对你有帮助

出走的猫咪
出走的猫咪 2019-04-19 00:22:48

正好在看侯世达和丹尼特合著的《心我论》,里面就摆着一篇他的《蚂蚁赋格曲》,看了一半忽然想到去年年底曾看过的你的这篇书评。
现在拿起来再读过一遍,确确实实帮我厘清、理顺了很多问题和见解。这些过于繁杂的东西曾经想过,在那时还算是半知不解(其实现在还是一知半解),不料竟能够在一本书中如此淋漓尽致地表现。
关于不完全性定理、自我指涉的现实表现和猜想、大脑层级、符号系统(语言、文字、符号、内在逻辑的演绎等)与自我和自由意志的关系、同构现象(我称之映射关系),以及建立在符号和同构之上的形式系统等等,一下子内容有点庞杂——谁能在一刻钟内把它们都给消化干净呢?——竟不知道从何说起。但是何必着急呢,问题一直在那里。

gaigai
gaigai (I see you) 2019-05-02 18:18:43

迷迷糊糊看完一遍,给作者这么用心的解析,先点个赞!