同构惊讶 8 · 具体 8 · 可行 8

Damasio 1994《Descartes’ Error》同年也发表了 Iowa Gambling Task 的奠基论文（Bechara-Damasio-Damasio-Anderson 1994 Cognition 50:7-15），论证情绪通过”躯体标志”（somatic markers，即身体状态的感觉）自动引导决策——先于有意识推理。一个 1995 年的建筑师读到这些，但没有 fMRI、没有 Google、没有 Revit（1997 才发布）——却拥有一整套 pre-fMRI 神经科学工具箱：Penfield 1950s 的体感皮层地图、Brodmann 1909 的 52 个分区、Sperry-Gazzaniga 的裂脑研究、Scoville-Milner 1957 的 H.M. 研究（仍可读 1957 论文与 Corkin 持续到 1995 的更新）。建筑师可以读 Damasio 1994 + Ulrich 1984 Science “View through a window”（医院窗外有树可缩短术后住院 8.5 天），把”躯体标志”形式化为建筑参数：每个房间的入口都会改变身体状态（心率、姿势、皮质醇），这就是”躯体建筑学”。具体落点：Louis Kahn 的 Salk Institute（1965）面向大海的中庭是文献可考的”躯体标志”——地平线诱导心率下降。1995 年的建筑师读完 Damasio + Ulrich，可把这套实践编码成”躯体建筑学”三十年后才正式出现的 neuroaesthetics 领域。

如果要做用 1995 年的工具写一份精装本《Somatic Architecture》——封面是 Kahn Salk Institute 黑白照片（混凝土 + 海平面），内页是手绘 somatotopic map 与建筑平面图的叠加图，配 VHS 录像带演示”如何用 GSR 测量建筑入口的躯体反应”

文化隐喻惊讶 8 · 具体 8 · 可行 8

PIVC（parieto-insular vestibular cortex）的人类图谱由 Brandt et al. 1995 在《Brain》上首次精确定位，但前体可追溯到 Penfield 1950s 的体感皮层电刺激。在此之前，唯一关于”前庭建筑学”的学术参考是 James Gibson 1979《生态学视觉方法》（含倾斜屋实验）。1995 年的建筑师可以读到的另一个原始资源：George Berkeley 1709《视觉新论》（论前庭-空间感知）——这本在很多 1995 年的建筑学院图书馆都能找到。三者叠加（Penfield + Gibson + Berkeley 1709）给了”1995 年前庭建筑学”完整的理论地基：建筑物为身体平衡而设计。具体落点：Frank Lloyd Wright 的 Fallingwater（1935）刻意让前庭系统迷失——地板悬挑于瀑布之上，诱发”坠落”的体感。1995 年的术语中，这已经是”应用前庭神经科学”——早于 MRI 整整三十年。

如果要做把 Fallingwater 的每条悬挑线转化为前庭诱发参数（倾斜角度 → 估算的半规管刺激量），输出 1995 年风格的”前庭建筑图集”——每张建筑照片旁标注红色箭头表示”前庭失重方向”和”半规管信号强度”

装置/原型惊讶 9 · 具体 8 · 可行 8

Sperry 1982 Nobel 奖 + Gazzaniga 1995《Neuropsychologia》综述（33:937-959 “Visual integration in the split brain”）定义了左脑的”解释器”（interpreter）——一个口头叙事生成器，会为右脑做出的决策编造解释。1995 年的建筑师可以读到这些。他们可以设计”裂脑建筑”——左翼是”解释器”（大厅、标牌、叙事展示），右翼是”沉默执行者”（工作空间、无标牌、无叙事）。真实对应：Getty Center（Meier 1997，1995 年正在设计）恰好是这种二元结构——入口馆负责讲述博物馆故事（解释器），花园馆没有任何解说标牌（沉默执行者）。建筑师（Meier）当年没有 Gazzaniga 1995 的框架，但设计本身就是裂脑认知的完美物化。

如果要做用 VHS 录像带做一个”裂脑建筑导览”——镜头先跟受试者走过 Getty 入口馆（听到”interpreter”解说），然后切到花园馆（完全没有解说），用 GSR 传感器记录两次的躯体反应差异；配套一篇 “Getty Center as pre-1995 corpus callosotomy” 的博客

方法论惊讶 8 · 具体 7 · 可行 7

Iowa Gambling Task（Bechara et al. 1994 Cognition 50:7-15）测量”模糊情境下的决策”——被试从四叠牌中选两副”好的”两副”坏的”，实验者测量意识到好坏之前的皮电反应。这正是 1995 年神经科学与建筑学的精确结合点——一个”建筑 IGT”：让被试戴着指尖 GSR 传感器穿过复杂建筑，在决策点（走廊分叉处）测量唤醒度。“坏的牌”建筑会在无意识阶段激增唤醒。1995 年没有 wayfinding 评估的神经科学方法（Weisman 1981、Passini 1984 都是 stop-and-survey 范式）。一个 1995 年 vintage 的”建筑 IGT”会是首个捕获”内脏-躯体建筑反应”的方法。

如果要做写一个”Architectural Iowa Gambling Task”实验手册——用 1995 年可买到的设备（Thought Technology GSR 传感器 + 米黄色 CRT 笔记本），让被试在四栋候选建筑中走一圈，每栋楼的”决策点”测量 GSR；最终输出”建筑好坏指数”，配套一篇 “The IGT for Wayfinding: how to read buildings by their skin conductance” 论文

同构惊讶 9 · 具体 9 · 可行 9

arxiv:2507.07052 (Just & Honors 2025) 用 Lean 4 形式化了 Herbert Simon 1956-1957 的 satisficing——证明”Flexible First-Order Stochastic Dominance” (FFSD) 是期望效用理论与 Simon 满意行为之间的桥。整篇证明都在 Lean 4（Apache-2.0 许可证，0 元）里。这是”bounded rationality”第一次机器验证——不再是手挥，而是精确的数学陈述。0 元预算约束的精确适配：Lean 4、Coq（LGPL）、Isabelle（BSD）、Agda 都是开源；商业证明助手要么收费要么要求授权。FFSD 还给出一个关键阈值 ε < 1/2 保证参考点的唯一性——这是一个 bound agent 可以对自己的 bound 推理的定理。换言之：一个被形式化的 bounded agent 可以证明自己理性的极限。

如果要做在 Lean 4 中把 FFSD 框架扩展为完整的”bounded rationality 标准库”——除 Simon satisficing 外，加入 Kahneman-Tversky anchoring、availability、representativeness、Gigerenzer recognition heuristic；输出 `MathlibBoundedRationality` GitHub 仓库，写一篇 “From Simon 1956 to Lean 4: a 70-year route to mechanized irrationality” 的综述论文

装置/原型惊讶 8 · 具体 8 · 可行 8

arxiv:1911.00572 (Martignon et al.) 把”Take The Best”（TTB）形式化为概率决策启发式——agent 按效度顺序搜索线索，在第一个有判别力的线索处停下并决策。0 元预算意味着 Coq（LGPL）。Coq 的依赖类型是天然适配：TTB 需要有序线索（带效度排序的列表）、终止搜索（bounded depth 的 `while` 循环）、概率选择（monad）。Martignon 2003 FFT 论文给出形式化决策树，Coq 库 `fast-and-frugal-coq` 提供机器检查的证明——证明 FFT 在特定生态条件下击败回归模型。0 元预算的副作用：所有证明开源可读，所有反例开源可改——这本身就是”open science for bounded rationality”。

如果要做把 `fast-and-frugal-coq` 扩展为完整的 Gigerenzer “adaptive toolbox” 形式化库——除 TTB 外加入 recognition heuristic、fluency heuristic、1/N heuristic；输出对照实验（Coq 验证 FFT vs. 回归模型在自然数据集上的预测准确性），写一篇 “Take The Best as a Verified Algorithm” 的论文

同构惊讶 9 · 具体 9 · 可行 8

Ralf Brown 编写了 Interrupt List（RBIL, 1985-2003，约 4500 页）——每个被记录的 x86 中断、每个 DOS/BIOS 调用、每个内存位置。这是 x86 的”物种志”。生态学上，它起”生态位普查”的功能：每个中断 handler 是一个”物种”，占据特定的向量槽（0x00-0xFF）。256 个生态位，4500 页物种志，18 年的编纂。DOS/8086 中断处理约束强迫我们读 RBIL：生态学洞见自然流出。例如 INT 13h（disk BIOS）和 INT 21h（DOS kernel）是”基石物种”——移除它们会崩溃整个生态系统。INT 2Fh（multiplex）是”泛化种”——被很多 TSR（入侵种）使用。针对 DOS/8086：8086 只有 256 个硬件中断向量槽，但 80286+ 引入了 16 条 IRQ 线和软件中断。

如果要做写一篇 “RBIL as a 1985-2003 Field Guide to the x86 Ecosystem”——把 RBIL 的 4500 页索引映射成”物种分布图”（256 个 IVT 槽 × 出现频次），输出可视化（哪些槽是”基石物种”，哪些是”入侵种热点”）；配套一篇博客 “The 1985-2003 Census of DOS”

同构惊讶 8 · 具体 8 · 可行 7

DOS/8086 只能寻址 1MB（segment:offset）。1MB 以上是”扩展内存”，只能通过 XMS（HIMEM.SYS）访问。在 1MB 常规内存中，上位内存区 UMA（640KB-1MB）是碎片的——被 BIOS、video RAM、各种设备 ROM 占用。HIMEM.SYS（1988 年首次用于 Windows/286 2.1，再用于 DOS 4.0 1988）通过把扩展内存映射到 UMA 中未使用的空洞创建”廊道”。生态学上，这与景观生态学的”栖息地廊道”完全同构：小块孤立的栖息地（UMA 空洞）通过廊道（HIMEM 的映射）连接，允许物种（设备驱动、TSR）在其间迁移。景观生态学中，廊道将灭绝概率降低 ~50%（Tewksbury et al. 2002 Science）。HIMEM.SYS 将 TSR 灭绝概率降低 ~50%。同样的数学。

如果要做写一篇对仗结构的科普长文 “HIMEM.SYS 与景观生态学：64KB 段碎片化的栖息地走廊”——左栏描述 DOS 内存布局（640KB conventional + 384KB UMA，UMA 中标注彩色”holes”代表 BIOS/ROM 占用，HIMEM.SYS 用红色虚线箭头把扩展内存映射到 hole 中），右栏描述景观生态学（绿色斑块代表 habitat，红色斑块代表 corridor 连接），结论论证”HIMEM.SYS = habitat corridor”的精确同构

文化隐喻惊讶 8 · 具体 8 · 可行 7

TSR（Terminate-and-Stay-Resident）程序钩入 DOS 中断向量表来拦截事件——就像入侵物种占据空缺的生态位。一旦 TSR 钩住 INT 21h（DOS kernel），它能拦截每个 DOS 调用。这就是入侵生物学中的”niche shift”——入侵者占据本地物种的生态位。一些 TSR（如 DOSKEY）与 DOS 一起发布，被视为”已归化”；另一些（如 1986 年起的 Brain 等驻留病毒）则是入侵种。具体的生态洞见：早期入侵种占据”空缺生态位”（空的 IVT 槽）；当生态位完全被占，入侵者必须”niche-shift”——它们占据相关但略有不同的槽。PubMed 2266837 (1990) 的”Memo关于 DOS 的 memory management programs”评论记录了 TSR 在 1985-1995 间沿这条路径演化。

如果要做写一篇 “TSR as Invasive Species in the DOS Ecosystem”——把 1985-2000 的代表性 TSR（DOSKEY、Sidekick、Print、GRABIKZ 等）按”入侵生态位”分类（空缺槽 / shifted 槽 / generalist 槽），输出”TSR 入侵历史年表”；配套博客 “From Brain 1986 to Conficker: 25 years of DOS infections as ecological invasions”

同构惊讶 9 · 具体 8 · 可行 8

Jakob von Uexküll 的 Umwelt（1934，1957 英译，2010 重译）是物种的感知世界——每个物种生活在自己由其感受器和效应器定义的 Umwelt 中。DOS 的 INT 21h（DOS kernel interrupt）定义了每个 DOS 程序的”Umwelt”：程序只能”感知” INT 21h 暴露的内容（文件句柄、环境、返回码）。两个 DOS 程序”生活”在 INT 21h 定义的同一个 Umwelt 中。不同 OS（CP/M、DOS、Windows、Linux）给它们的程序定义不同 Umwelt。Umwelt 间的翻译就是 POSIX/Wine/Cygwin 试图做的事——它们翻译”系统调用”（system calls），就像翻译者在两种人类语言之间斡旋。DOS/8086 中断处理约束强制这个角度：只有 256 个 IVT 槽，DOS 的 Umwelt 小但严谨。

如果要做用 Ruby/Go 写一个”DOS Umwelt 模拟器”——实现完整的 INT 21h handler（含文件操作、内存分配、环境变量），让程序只能通过 INT 21h “感知”环境；然后用 Wine-style 系统调用翻译层对比 Linux 程序访问相同文件的能力；写一篇 “The 256-Slot Umwelt: DOS, von Uexküll, and the Limits of Programmatic Perception”