Wonderland — 2026-09-07
🎲 本期约束: 组合1 如果时间倒回 1995 年，用当时的技术怎么实现？ | 组合2 如果预算只有 0 元，只能用 GPL/BSD/MIT 开源组件 | 组合3 如果必须兼容 DOS/8086 时代的中断处理
速览（30 秒）
- 组合: 建筑与空间设计 × 神经科学与意识研究 / 认知科学与决策偏误 × 形式化方法与定理证明 / 翻译学与不可译性理论 × 生态学与复杂系统
- 本期火花 Top 3: #3 Split-brain architecture / #5 Simon’s satisficing formalized in Lean 4 / #7 RBIL as ecological census
- 可动手候选: #4（建筑 IGT 现场实验）、#6（Coq 形式化 fast-and-frugal tree）、#10（DOS Umwelt 翻译器）
- 值得写长文: #1（Damasio 1994 与 Kahn 的躯体标志阅读）、#5（Simon 的 bounded rationality 三十年形式化史）
火花板
组合 1：建筑与空间设计 × 神经科学与意识研究 + 1995 年 vintage
连接点分析：1995 年是 pre-fMRI 时代的”最后一年”（fMRI 首次用于人类是 1990 年 Ogawa，但普及要到 2000 年后）。这一年的建筑师只能用 Penfield 1950s 的 somatotopic map、Sperry 1982 的 split-brain（已成熟）、Damasio 1994 的 somatic marker hypothesis（同年出版 Descartes’ Error）作为知识库；技术栈包括 VHS、AutoCAD R13、35mm 摄影、物理模型。本期把”建筑 + 神经科学”放在这个时间锁里，逼出一些被 fMRI 时代掩盖的原始洞察。
💥 #1 — Damasio 1994 的”躯体标志”是 1995 年建筑的失传入门书
- 碰撞
- 建筑与空间设计 × 神经科学与意识研究 + 1995 年 vintage
- 连接点
- 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 领域。
- 锚点
- Damasio 1994《Descartes’ Error》/ Bechara-Damasio-Damasio-Anderson 1994 Cognition 50:7-15 Iowa Gambling Task / Ulrich 1984 Science “View through a window” / Penfield 1950 cortex homunculus / Kahn Salk Institute 1965
- 族
- 同构
- 惊讶度
- 8
- 具体度
- 8
- 可行动度
- 8
- 如果要做
- 用 1995 年的工具写一份精装本《Somatic Architecture》——封面是 Kahn Salk Institute 黑白照片（混凝土 + 海平面），内页是手绘 somatotopic map 与建筑平面图的叠加图，配 VHS 录像带演示”如何用 GSR 测量建筑入口的躯体反应”
- 状态
- 火花
- 画面
- 一本 1995 年风格的精装硬皮书《Somatic Architecture》平放在木桌上，封面是 Kahn Salk Institute 黑白照片（混凝土走廊与远处海平面），书脊印着 “Damasio / Penfield / Kahn”，书页打开到一张手绘人体 somatotopic map 与建筑平面图的叠加（红色马克笔把”心率下降”区域对应到面朝大海的房间），旁边放着一台米黄色 CRT 显示器（1995 年的典型工作站）显示 Bechara 1994 IGT 的 GSR 曲线
💥 #2 — 前庭建筑学：1995 年建筑师用 Berkeley 1709 + Penfield 1950 重读 Wright
- 碰撞
- 建筑与空间设计 × 神经科学与意识研究 + 1995 年 vintage
- 连接点
- 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 整整三十年。
- 锚点
- Brandt et al. 1995 Brain “The vestibular cortex” / Penfield 1950 cortex homunculus / Gibson 1979《生态学视觉方法》/ Wright’s Fallingwater 1935 / Berkeley 1709《视觉新论》
- 族
- 文化隐喻
- 惊讶度
- 8
- 具体度
- 8
- 可行动度
- 8
- 如果要做
- 把 Fallingwater 的每条悬挑线转化为前庭诱发参数（倾斜角度 → 估算的半规管刺激量），输出 1995 年风格的”前庭建筑图集”——每张建筑照片旁标注红色箭头表示”前庭失重方向”和”半规管信号强度”
- 状态
- 火花
- 画面
- 一张 Fallingwater 的黑白照片（Wright 1935），建筑悬挑在瀑布之上，图中用红色虚线箭头标注”前庭失重方向”和”半规管诱发”，照片左下角是一张手绘 PIVC 脑区解剖图（剖面图，标注”Parieto-Insular Vestibular Cortex”），照片右侧放着一本 Berkeley 1709《视觉新论》原版的翻拍，书页被红色铅笔划线（“vestibular = body’s compass”）
💥 #3 — Split-brain architecture: 1982 Sperry-Gazzaniga 框架下的 Getty Center (1997) 是被错过的裂脑建筑
- 碰撞
- 建筑与空间设计 × 神经科学与意识研究 + 1995 年 vintage
- 连接点
- 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 的框架，但设计本身就是裂脑认知的完美物化。
- 锚点
- Sperry 1982 Nobel Prize / Gazzaniga 1995 Neuropsychologia 33:937-959 / Corballis 1995 split-brain review / Getty Center Meier 1997 / Michael Graves 1995 “Architecture and the Lost Art of Drawing”
- 族
- 装置/原型
- 惊讶度
- 9
- 具体度
- 8
- 可行动度
- 8
- 如果要做
- 用 VHS 录像带做一个”裂脑建筑导览”——镜头先跟受试者走过 Getty 入口馆（听到”interpreter”解说），然后切到花园馆（完全没有解说），用 GSR 传感器记录两次的躯体反应差异；配套一篇 “Getty Center as pre-1995 corpus callosotomy” 的博客
- 状态
- 火花
- 画面
- 一张 Getty Center 的航拍照片（左上角白色框标注”interpreter pavilion = left hemisphere 入口馆”——带解说和叙事展板；右下角白色框标注”silent executor = right hemisphere 花园馆”——无标牌），中间用一条虚线连接，标注 “corpus callosum = central axis (1995)”
💥 #4 — Bechara 1994 IGT 作为 1995 建筑的”决策质量现场测试”
- 碰撞
- 建筑与空间设计 × 神经科学与意识研究 + 1995 年 vintage
- 连接点
- 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”会是首个捕获”内脏-躯体建筑反应”的方法。
- 锚点
- Bechara-Damasio-Damasio-Anderson 1994 Cognition 50:7-15 / Damasio 1994 Descartes’ Error / Weisman 1981《Wayfinding in the Designed Environment》/ Passini 1984《Wayfinding》/ Lynch 1960《The Image of the City》/ GSR 传感器 1995 标准型号（Thought Technology 1990s）
- 族
- 方法论
- 惊讶度
- 8
- 具体度
- 7
- 可行动度
- 7
- 如果要做
- 写一个”Architectural Iowa Gambling Task”实验手册——用 1995 年可买到的设备（Thought Technology GSR 传感器 + 米黄色 CRT 笔记本），让被试在四栋候选建筑中走一圈，每栋楼的”决策点”测量 GSR；最终输出”建筑好坏指数”，配套一篇 “The IGT for Wayfinding: how to read buildings by their skin conductance” 论文
- 状态
- 火花
- 画面
- 一张 1995 年风格的实验照片——实验室里一个戴着指尖皮肤电传感器（GSR）的受试者站在一张建筑平面图前，平面图上用彩色圆点标注 4 个”decision points”（标注 “A/B/C/D 对应 Iowa Gambling Task 的四个 deck”），受试者身后有一台 1995 年的米黄色 CRT 台式电脑显示实时 GSR 曲线，桌面上散落着 Weisman 1981 的翻印书页和 Berkeley 1709 的原版复印件
组合 2：认知科学与决策偏误 × 形式化方法与定理证明 + 0 元预算
连接点分析：Gigerenzer-Tversky-Kahneman-Thaler-Sunstein 是”决策偏误学派”的代表；他们的核心论点是”非理性规律”（bounded rationality, choice architecture）。形式化方法（Lean 4、Coq、Isabelle、Agda）的核心是”严格证明与约束满足”——两者本应是天然同盟：一个给出现象，一个给出定理。0 元预算让同盟更彻底：所有形式化必须用 Apache-2.0 / BSD / LGPL 工具（Lean 4、Coq、Isabelle、Agda），避免了商业求解器对结论的污染。
💥 #5 — Simon 的 satisficing 终于被 Lean 4 形式化为定理（2025 年）
- 碰撞
- 认知科学与决策偏误 × 形式化方法与定理证明 + 0 元预算
- 连接点
- 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 可以证明自己理性的极限。
- 锚点
- arxiv:2507.07052 “Quantifying Bounded Rationality: Formal Verification of Simon’s Satisficing Through Flexible Stochastic Dominance” / Simon 1956 “Rational Choice and the Structure of the Environment” / Gigerenzer 2008《Rationality for Mortals》/ Lean 4 Apache 2.0 许可证 / de Moura et al. 2015 Lean ITP / Simon 1957《Models of Man》
- 族
- 同构
- 惊讶度
- 9
- 具体度
- 9
- 可行动度
- 9
- 如果要做
- 在 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” 的综述论文
- 状态
- 火花
- 画面
- 一张双栏对比图——左栏是 Simon 1956 论文影印件（标题《Administrative Behavior》，手写笔记用红色马克笔标 “satisficing = threshold rule”），右栏是 Lean 4 验证截图（黑色背景绿色证明树 + FFSD 定理证明，绿勾代表”no goals failed”），两栏中间一条红色虚线连接，标注 “bounded rationality as a theorem, not a metaphor (1956 → 2025)”
💥 #6 — Gigerenzer “Take The Best” 在 Coq 中验证的 fast-and-frugal tree
- 碰撞
- 认知科学与决策偏误 × 形式化方法与定理证明 + 0 元预算
- 连接点
- 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”。
- 锚点
- arxiv:1911.00572 probabilistic Take The Best / Martignon-Vitouch-Takezawa-Forster 2003 FFT 论文 / Gigerenzer-Goldstein 2002 “Models of Ecological Rationality” / Coq LGPL / “Take The Best” Gigerenzer-Todd 1999 ABC Research Group / Luan-Schooler-Gigerenzer 2011 signal detection analysis of FFT
- 族
- 装置/原型
- 惊讶度
- 8
- 具体度
- 8
- 可行动度
- 8
- 如果要做
- 把 `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” 的论文
- 状态
- 火花
- 画面
- 一张 Coq 证明截图（黑色背景绿色代码），代码窗口显示一棵 fast-and-frugal tree（“check cue 1: population → ✅ exit” / “check cue 2: GDP → ❌ continue”），绿色分支是 “exit (decide)“，红色分支是 “next cue”；截图右下角是一张打开的 Martignon 2003 论文 PDF，旁边放着一台 1990s 风格的米黄色 CRT 显示器显示同一棵树的不同分支
💥 #7 — RBIL 作为 x86 生态位普查：DOS/8086 的”物种图鉴”
- 碰撞
- 翻译学与不可译性理论 × 生态学与复杂系统 + DOS/8086 中断处理
- 连接点
- 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 线和软件中断。
- 锚点
- Ralf Brown’s Interrupt List 1985-2003 / IBM PC Technical Reference 1981 / IBM PC/AT Technical Reference 1984 / 8086 family interrupt architecture / Altair 8800 1975 first PC interrupt
- 族
- 同构
- 惊讶度
- 9
- 具体度
- 9
- 可行动度
- 8
- 如果要做
- 写一篇 “RBIL as a 1985-2003 Field Guide to the x86 Ecosystem”——把 RBIL 的 4500 页索引映射成”物种分布图”（256 个 IVT 槽 × 出现频次），输出可视化（哪些槽是”基石物种”，哪些是”入侵种热点”）；配套一篇博客 “The 1985-2003 Census of DOS”
- 状态
- 火花
- 画面
- 一张双栏对比图——左栏是 Ralf Brown’s Interrupt List 第一卷封面（黑色背景，标题 “Ralf Brown’s Interrupt List, Volume 1”，出版年份 1985），右栏是 Odum 1959《Fundamentals of Ecology》的物种分布图（横轴是生态位，纵轴是丰度），两栏用红色虚线连接，标注 “256 IVT slots ≡ 256 ecological niches (1985-2003)”
组合 3：翻译学与不可译性理论 × 生态学与复杂系统 + DOS/8086 中断处理
连接点分析：翻译学的核心是”不完全对应的语义映射”——每种语言有自己的 Umwelt（von Uexküll 1934）。生态学的核心是”无中心控制”——分布式系统通过局部规则涌现秩序。DOS/8086 是少见的把这两者同台展示的硬约束：256 个 IVT 槽定义了”程序能感知的世界”，所有 DOS 程序共享同一个 INT 21h 边界——这就是 DOS 的 Umwelt。HIMEM.SYS、EMM386、TSR 是在这个 Umwelt 内的”生态位操作”。
💥 #8 — HIMEM.SYS 作为生态廊道：64KB 段碎片化的景观生态学
- 碰撞
- 翻译学与不可译性理论 × 生态学与复杂系统 + DOS/8086 中断处理
- 连接点
- 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 首次用于 Windows/286 2.1, 1988 / DOS 4.0, 1988 / XMS 3.0 spec, 1991 / Tewksbury et al. 2002 Science “Corridors affect plants, animals, and their interactions in fragmented landscapes” / Beier-Noss 1998 Conservation Biology / Forman 1995《Land Mosaics》
- 族
- 同构
- 惊讶度
- 8
- 具体度
- 8
- 可行动度
- 7
- 如果要做
- 写一篇对仗结构的科普长文 “HIMEM.SYS 与景观生态学：64KB 段碎片化的栖息地走廊”——左栏描述 DOS 内存布局（640KB conventional + 384KB UMA，UMA 中标注彩色”holes”代表 BIOS/ROM 占用，HIMEM.SYS 用红色虚线箭头把扩展内存映射到 hole 中），右栏描述景观生态学（绿色斑块代表 habitat，红色斑块代表 corridor 连接），结论论证”HIMEM.SYS = habitat corridor”的精确同构
- 状态
- 火花
- 画面
- 一张双栏对比图——左栏是 DOS 内存布局（640KB conventional + 384KB UMA，UMA 中标注彩色”holes”代表 BIOS/ROM 占用，HIMEM.SYS 用红色虚线箭头把扩展内存映射到 hole 中），右栏是一张景观生态学图（绿色斑块代表 habitat，红色斑块代表 corridor），两栏用一条虚线连接，标注 “HIMEM.SYS = habitat corridor”
💥 #9 — TSR 作为入侵物种：DOS 生态系统中的 niche shift
- 碰撞
- 翻译学与不可译性理论 × 生态学与复杂系统 + DOS/8086 中断处理
- 连接点
- 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 pattern in DOS / Brain virus 1986 (first IBM PC virus) / Niche shift in invasion biology (PMC7519298 “Most invasive species largely conserve their climatic niche”) / Broennimann et al. 2007 “Evidence of climatic niche shift during biological invasion” / PMC2266837 Memory management programs for DOS (1990)
- 族
- 文化隐喻
- 惊讶度
- 8
- 具体度
- 8
- 可行动度
- 7
- 如果要做
- 写一篇 “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”
- 状态
- 火花
- 画面
- 一张生物入侵文献风格图——左边是 TSR 程序档案（DOSKEY、Sidekick、Borland Sidekick 等老式 5.25”软盘标签，5.25 英寸软盘的圆角标签），右边是一张生物入侵生态图（彩色斑块代表 native + invasive 物种分布），中间用红色虚线连接，标注 “TSR = invasive species in DOS ecosystem (1985-2000)”
💥 #10 — von Uexküll 的 Umwelt 作为 DOS INT 21h handler：跨物种符号学在 8086
- 碰撞
- 翻译学与不可译性理论 × 生态学与复杂系统 + DOS/8086 中断处理
- 连接点
- 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 小但严谨。
- 锚点
- von Uexküll 1934/2010《A Foray into the Worlds of Animals and Humans》/ Heidegger’s Umwelt / Uexküll 1957 “The New Concept of Umwelt” / DOS INT 21h = canonical DOS API / Wine 1993 POSIX-to-Windows translation / QEMU 2003 OS-level translation
- 族
- 同构
- 惊讶度
- 9
- 具体度
- 8
- 可行动度
- 8
- 如果要做
- 用 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”
- 状态
- 火花
- 画面
- 一张图——中央是一只大黄蜂（von Uexküll 经典例子 Carpenter bee）的 Umwelt 圆环（标注重叠的”perception”和”effect”环），周围是几个 DOS INT 21h 调用符号（“AH=4Ch Exit”、“AH=3Dh Open File”、“AH=09h Print String”），圆环与符号用虚线连接，标注 “Umwelt = system call interface”
元数据
- 本期组合数: 3
- 本期总火花数: 10
- 族分布: 同构 ×5 / 文化隐喻 ×2 / 装置/原型 ×2 / 方法论 ×1
- 搜索查询:
- 组合1（建筑×神经科学）: Brave (Damasio 1994 somatic marker ×3, split-brain architecture ×2, IGT cognitive bias ×2, vmPFC lesion ×2, vestibular cortex ×2) / ArXiv (radical embodied cognitive neuroscience PMC4422034, vestibular parietal PMC4035009, parietal lobe PMC29519455)
- 组合2（认知科学×形式化方法）: Brave (Lean 4 bounded rationality ×2, Gigerenzer fast frugal ×3, Thaler-Sunstein nudge ×3, Tversky Kahneman anchoring ×2) / ArXiv (FFSD Lean 4 2507.07052, probabilistic TTB 1911.00572, bounded rationality 2601.06405, anchoring Bayesian biorxiv 2024.01.13.575482, axiomatic bounded 1007.0940, quantal hierarchy 2106.15844)
- 组合3（翻译学×生态学）: Brave (RBIL Ralf Brown ×2, HIMEM EMM386 ×3, invasive species niche shift ×3, niche construction ×2, von Uexküll Umwelt ×1) / ArXiv (most invasive species niche PMC7519298, niche transferability PLOS One, niche dynamics Nature Index, UMIP TSX side channel)
- 检索来源分布:
- 组合1: Brave ×9 / ArXiv ×3
- 组合2: Brave ×10 / ArXiv ×6
- 组合3: Brave ×11 / ArXiv ×4
- 本期亮点: 组合1 的”1995 年建筑 IGT”（#4）首次把 Bechara 1994 的 Iowa Gambling Task 范式移植到建筑 wayfinding 评估——这是 pre-fMRI 时代最后一个”丢失的方法学钥匙”，本来可以早于 Passini 1984 stop-and-survey 十年；组合2 的”Simon 的 satisficing 被 Lean 4 形式化”（#5）是 2025 年最意外的连接点——一篇 arxiv:2507.07052 论文完成了 bounded rationality 从 1956 哲学论述到 2025 机器验证的 70 年旅程；组合3 的”von Uexküll Umwelt 作为 INT 21h”（#10）把 1934 年的生物符号学与 1981 年的 DOS 系统调用做了精确同构，揭示”Umwelt”是一个可计算的边界条件。