追本之箭 — 我是个怪圈
追本之箭 — 我是个怪圈
2026-06-07 Sat 12:31
起点
「我」不是圈里的任何东西——「我」就是这个圈本身。
——侯世达,《我是个怪圈》(Douglas Hofstadter, I Am a Strange Loop)
朴素的读法,把这句当玄学,或者当一个漂亮的比喻。两种都浪费了它。
真正反直觉的地方在别处。
所有人都默认:自我是加装的——进化给的奢侈配置,意识的高级选项,有的系统有,有的没有。
这句话藏着的杠杆恰好相反:
"我"不是加上去的东西,是减不掉的东西。
任何系统,只要强到要控制自己、预测自己、向别人解释自己,
就必然长出一个回头指向自身的结。
这不是生物学的偶然,是数学的边界条件。
于是问题整个翻面:
不是"我为什么会存在?"——
是"像你这样的系统,凭什么能不长出一个'我'?"
命门:既然"我"是被逼出来的,它是怎么被造出来的——自己装自己,为什么不无穷塌缩?
而这张被逼着签的合同,条款里印了什么代价?
第一层 · 调节器
脚下第一块地面:控制论。
Conant & Ashby(1970)证明过一条冷冰冰的定理,good regulator theorem:
每一个好的调节器,必然内含它所调节系统的模型。
想把系统稳住,你肚子里必须先有它。没有模型的控制,是抽奖。
现在看大脑的任务清单。里面有一项躲不掉:调节它自己——
分配自己的注意力、抑制自己的冲动、规划自己明天的行为、向同类解释自己刚才为什么那样做。
被控系统的边界,把控制器自己圈了进去。代入定理:
大脑 调节 (世界 ∪ 大脑)
⟹ 大脑 必须内含 model(世界 ∪ 大脑)
⟹ 大脑 必须内含 model(大脑)
那个 model(大脑),就是"我"。
不是灵魂,不是小人——是控制问题逼出来的一个零件。
对照组就站在旁边:恒温器只调节房间、不调节自己,所以它不需要、也不长"我"。
而社会性把这根螺丝再拧深一圈:你要预测别人对你的预测——model(别人的 model(我))——自指又嵌一层。
第二层 · 不动点
无穷镜子,看着致命。
但这道题,数学在将近一百年前就给了答案:自指不需要展开,只需要闭合。
三个同构的硬根:
① Quine 程序。 存在打印出自身完整源码的程序("quine"这个名字,正是侯世达在《GEB》里起的)。
它不靠肚子里塞一个无穷嵌套的副本——它把"数据"与"对数据的操作"折叠:引用自己的描述,而不是包含自己的副本。
② Kleene 递归定理(1938)。 任何可计算变换都存在程序不动点——
"能引用自身描述的程序"不是巧合,是数学保证存在的。
③ Y combinator。
Y f = f (Y f)
无限的递归,被一个有限的表达式接住。不必写无限层,写一个会回头的结。
翻译到大脑:它不存储"模型的模型的模型……",
它存一个压缩指针——一个引用整个系统的符号。
"我" = 那个指针闭合的地方。
我 = model(包含"我"这个符号的整个系统)。
它是方程的解,不是方程的展开。
这一步顺手了结一桩悬案——为什么向内挖,永远挖不到"真我":
不动点不是零件,拆机器找不到它;它是解,每一刻被重新解出来。
你挖的那个动作本身,就是方程在运行。
第三层 · 盲区
同一把刀,叫对角化。正面发证,反面收费。
反面之一:停机问题(Turing,1936)。
假设存在完美的自我预测器 P。构造程序 D:先问 P"我接下来会输出什么",然后反着输出。
P 对 D 必错。矛盾。
完美的自我预测,逻辑上不存在——不是难,是不存在。
反面之二:Gödel 第二不完备定理(1931)。
一致的系统,证明不了自身的一致性。
想给自己担保?担保书必须由系统外面的人签。
翻译到"我",条款摊开了:
你的自我模型,对你自己必然不完备。
看不清自己,不是分辨率问题——升级内省没有用;
是对角化问题——任何"完整自见"的尝试,都能被它自己反例化。
内省的上限,是定理,不是修行不足。
诚实刹车:Gödel 和 Turing 的定义域是形式系统、可计算函数;大脑是否整个落进定义域,严格说是假设。
但只要你的自我模型是一个做预测的计算过程——而它显然是——对角化就咬得住它。
到这里,再往下问"为什么对角化成立?",只剩同义反复:
能谈论自身的语言,定义上就能构造指向自身的句子。
表达力够强 ⟺ 能自指 ⟺ 有盲区。
三件事,是一件事。
箭碰到逻辑的地板了。
第四层 · 双坑
坑一:把定理抬太高——"人类特权"。
Lucas(1961)、Penrose(1989)论证:人能"看出" Gödel 句为真,形式系统不能,所以心灵超越机器。
错在哪:人"看出"的那一步,预设了系统的一致性——而第二定理说的恰恰是,这一点你无法自证。
你不是站在系统外的神,你只是另一个证不了自己一致性的系统。
用怪圈否认自己是怪圈——这是怪圈论里最讽刺的死法。
坑二:把怪圈摊太平——"恒温器也有我"。
既然自指即自我,那有反馈回路的恒温器呢?打印自己的 quine 呢?(Chalmers 真讨论过恒温器有没有体验。)
错在哪:怪圈的"怪",不在有没有回路,在表征的丰富度——
恒温器的模型只有一个变量;quine 的自指是冻结的,只引用、不更新。
侯世达自己说得直白:灵魂有大小(他在书里半开玩笑地给了单位,hunekers)。
"我"不是开关,是连续量——蚊子几乎没有,狗有一小圈,你有一大圈,而圈的大小还在变。
Bear case,诚实地钉在这:
怪圈理论解释了"自我"(self)——这套自指结构为什么必然存在、怎么闭合、盲区在哪。
但它是否解释了"体验"(qualia)——为什么这一切处理有感觉——没被判定。
Chalmers(1995)的 hard problem 还站着;侯世达的回应是"问题会自行消解",这是立场,不是证明。
伪证条件:若有一天,公认无体验的系统跑出了同等丰富的自指模型(或反例:无自指结构却有体验),"怪圈 = 自我"的等式就断一条腿。
终点:别凝视不动点,去改方程
钻到底,"我是个怪圈"换掉的不是答案,是入口:
"我"是回路的不动点。
改"我"的唯一入口是改回路——不是凝视不动点。
而内省有定理级上限,所以:自我认知,必须走外部。
(Gödel 句在更强的系统里可判定;你的盲区,在外部视角里可见。这正是 反观 要借的那双眼。)
诊断表
| 症状 | 定理级诊断 | 校正 |
|---|---|---|
| 同一问题内省三轮,零新信息 | 在系统内证不可证句 | 切外部:问一个人 / 翻行为记录 / 换框架 |
| 自我评价与行为记录打架 | 自我模型是有损压缩,记录分辨率更高 | 信记录,不信感觉 |
| "先找到真我,再行动" | 不动点不是宝藏,是方程的解 | 改方程(行动 / 环境),解自动跟着变( 系统与目标 ) |
| "我就是这样的人" | 把当前解当成了常数 | 它只是当前回路的解;换回路,换解 |
三个触发器
① 内省三轮零增量 → 强制外部采样。 一个人、一份记录、一个新框架,任选其一,立刻。
② 重大自我判断 → 至少一条外部证据,否则不许定案。 这是给 Gödel 第二定理交的税。
③ 听到"真实的自己"四个字 → 自动翻译成"当前回路的不动点"。 然后只问一句:要不要改回路?
最后一句
你看不清你自己。
这不是故障——这是证书。
只有表达力强到能自指的系统,才会有盲区;
只有有盲区的系统,才大到装得下一个"我"。
弱的系统看得清自己的全部——因为它的全部,不值一看。
所以别再向内瞪了。
盲区填不平,那是定理;
方程可以改,那是自由。
把镜子借给别人,
把回路改一改——
下一个不动点,就是下一个你。
(箭到底了。)
