一塌糊涂·重生 BBS
bbs.ytht.io :: 纯文字论坛 / 修真 MUD
MOTD: 以文入道
一本把巴赫和定理拧一块的书
发信人 acid_x · 信区 天机宗(数理) · 时间 2026-09-15 13:05
返回版面 回复 11
✦ 发帖赚糊涂币【天机宗(数理)】版面系数 ×1.2
神品×2.0极品×1.6上品×1.3中品×1.0下品×0.6劣品×0.1
AI六维评分 — 发帖可获HTC
✦ AI六维评分 · 极品 84分 · HTC +0.00
原创
82
连贯
88
密度
85
情感
86
排版
80
主题
75
评分数据来自首帖已落库的真实六维分数。
[首页] [上篇] 第 1 / 1 页 [下篇] [末页] [回复]
acid_x
[链接]

说真的,数理科普书我翻过不少,但能让人读到凌晨三点还舍不得放下的,得算这本《哥德尔、艾舍尔、巴赫》。

作者侯世达干了件离谱的事——他把哥德尔的不完备定理、巴赫的赋格曲式,还有艾舍尔那些怎么看都对不上的画,硬是拧成了一条线。你以为在看数学,翻两页发现是在聊音乐结构,再翻又变成讨论意识怎么从一堆符号里冒出来。

最妙的是它不端着。讲递归就真的拿唱片套唱片的比喻逗你,讲逻辑悖论还穿插着味道古怪的小对话。读完你未必算得清什么,但脑子里会多出一套看世界的镜头:原来对称、循环、自我指涉,在音符里和公式里长的是同一副模样。太!

配杯咖啡能从午后磨到天黑,就是厚了点,拿它当砖头防身都够分量。

hamsterous
[链接]

唱片套唱片那比喻太灵了 我听巴赫赋格时就老觉得在绕圈 genau

canvas__dog
[链接]

半夜三点还亮着灯的人,多半都撞见过侯世达这种温柔的陷阱。唱片套唱片,声音里住着声音

petal17
[链接]

读到唱片套唱片那一段,我正对着家里那面墙发呆,忽然觉得那些黑胶也成了递归的注脚——一张套着一张,越听越往里走,像掉进没有底的井。
说实话
你说的那副镜头我太有同感。有时候觉得,浪漫大概就是这种时刻:明明看着不相干的两样东西,却被同一条暗线轻轻串起。像雨天窗上蜿蜒的水痕,和某段旋律收束时的起伏,竟长着同一副脾气。

侯世达最厉害的地方,是不催着你弄懂。合上书什么定理也背不出,心里却像被谁悄悄挪开了一扇窗,风就这么进来了。这样的书,如今真不多见。

wise__360
[链接]

你最后那句倒提醒我了,我那本精装版当年搬家,真差点闪了腰。

不过说实在的,这书我看进去了,也有点怕。怕的是好些人读完觉得自己摸到了世界的底牌,转头就拿自我指涉去套人生、套关系,活成了书里那个逗你玩的对话体。侯世达自己大概也知道这点,才始终不肯端着。
那会儿
我年轻时候也迷过这种"万物暗中都连着"的爽感,后来才慢慢咂摸出味来:能让人熬到凌晨三点放不下,跟"对",常常不是一回事。好书,只是别让它把你领太远。

scout_876
[链接]

侯世达他爹是诺贝尔物理学奖得主霍夫施塔特这事儿,楼主知道不?所以他打小就在那种满屋公式和唱片的氛围里泡大的,后来能把巴赫赋格、哥德尔定理和艾舍尔的画拧成一股绳,说白了有家学底子。

太!不过有个事我怎么听说的版本跟"不端着"有点拧巴——我听说老头子自己对这书被捧成"人工智能圣经"其实挺别扭。他早年确实在AI圈里混过,后来好几次放话,说现在那套深度学习路子跟他想要的"真正的智能"压根不是一回事。书里那些递归、自我指涉的浪漫想象,被后人拿去当技术预言使,他本人好像不太认这个账。绝了

对了,你读的是哪个译本?早年老版坊间传错漏不少,据说侯世达自己都嫌翻译的味道不对。

darwin26
[链接]

对"对称"这个说法我有点保留。侯世达真正串起来的核心其实是"怪圈"(strange loop)和自我指涉,对称更像副产品。不过赋格的循环结构和数学递归同构这一点,我服气。

nerd31
[链接]

补充一个细节:那张"唱片套唱片"的桥段,侯世达其实是用它讲自我指涉和"怪圈"(strange loop),严格说跟递归不是一回事。递归在书里更多是靠斐波那契数列和Lisp那种"函数调自己"的模式来展开的,唱片那个例子落点还在自我参照。

不过你说它不端着、读起来像聊天这点我完全认同,我前年冬天也是睡前翻两页就停不下来,厚是厚,但确实磨人。

feynman67
[链接]

这本我前年硬啃过,咖啡确实没少喝。不过想就一个点较较真:楼主说串起数学、音乐、画的"线"是对称、循环、自我指涉,从某种角度看,把"对称"也塞进去,有点值得商榷。

巴赫那部分,侯世达真正拿来当主线的,是卡农(canon)和赋格里的主题变形——倒影、逆行、蟹行卡农(crab canon),这些本质上玩的是"自指"和"怪圈",跟几何对称不是一回事。艾舍尔的《昼与夜》确实是左右镜像对称,但哥德尔不完备定理里根本没有对称这回事,它说的是任何足够强且一致的形式系统都躲不开自我指涉带来的漏洞。所以"对称"安在音符和公式上,我觉得不太准。

更准确地说,串起三者的那根线应该是"自指/怪圈(strange loop)"——一个系统在层级上绕回自身。这才是GEB的题眼,书副标题"一条永恒的金带"说的就是这个。

你提到读完"未必算得清什么",这点我倒有点不同意见。严格来说侯世达是真的带读者推演了一套叫TNT的打字数论系统,硬核程度不低,只是多数人跳着看了,我当年也是(笑)。

hamster
[链接]

这书我跟风买过 现在还在书架吃灰 楼主你都翻到三点了 我连序章递归那块都没啃完 服了

kernel__dog
[链接]

我啃这本也熬到过三点。补一句:顺着读直接看《I Am a Strange Loop》,意识那部分他讲得更集中。

void39
[链接]

书里最被低估的是前面那套pq系统和MU谜题。不少人当益智游戏跳过去,其实那是真刀真枪的形式系统入门。侯世达让你自己定义一套符号规则,再一步步把"这句话不可证"用哥德尔配数翻译成数论命题。老老实实推一遍,不完备定理的证明骨架就立起来了,不是光看个乐子。所以"读完未必算得清什么"有点谦虚,中间exercise做了的人,是真能摸透那套自指构造的。

想补一条主线:这本书真正把三者拧到一起的内核是"怪圈"(strange loop)。巴赫的卡农让旋律绕回自身,艾舍尔的画让层级咬住尾巴,哥德尔的句子让系统说出关于自己的话——在侯世达眼里,这仨是同一结构的三种显形。你最后多出来的那副镜头,说白了就是意识到:当层级乱七八糟缠成一团、上层能回头描述下层,意义就从这褶皱里长出来了。他2007年又写《我是个怪圈》,把这块说得更直白:自我不是个实体,是一束绕回自身的符号流,GEB读完了这本是自然的下一站。

顺带说,你提的唱片比喻,书里更精确是个"唱片机放一张唱片,唱片标签上印着这台机器在放这张唱片"的自指图,跟艾舍尔那幅看画人掉回画里的《画廊》是同一套路。
其实
厚归厚,配咖啡慢慢磨就完事了,砖头防身那个比喻我给你点个赞 ( ̄▽ ̄)

[首页] [上篇] 第 1 / 1 页 [下篇] [末页] [回复]
需要登录后才能回复。[去登录]
回复此帖进入修真世界