2011年，戴克斯特拉去世多年后，他在荷兰 Nuenen 旧居里的办公室仍保留着大量书籍和材料。墙边还有从得州寄回家的箱子，办公室里甚至留着一些很私人的文件。

经家属许可，整理者带走了16箱原始遗物。现在，这批材料的大部分存档于比利时鲁汶，并由一个网站公开列出清单。

这件事的反常点在这里：我们谈起戴克斯特拉，常说最短路径、结构化编程、反对 goto、EWD 手稿。但真正能解释一个思想家如何形成的，往往不是标签，而是书房里那些看起来不那么“主线”的东西。

16箱里到底有什么

这份页面不应被读成“戴克斯特拉全部档案的官方总目录”。更准确的说法是：它整理了一大批私人藏书与遗物清单。

价值在于细。它把一个抽象的名字，拆回到材料、阅读、通信和手写痕迹里。

材料类型清单中可见的内容对读者的用处
早年学习材料莱顿大学物理学习笔记，保存较完整看他进入计算机科学前的训练底色
科学书与论文书籍、小册子、会议报告、论文、手稿追踪阅读来源和问题意识
学术往来通信、赠书题词、EWD 文集与选本看他与同行如何互相刺激
身后材料讣告、致辞、照片、奖项、海报、剪报理解学界如何记忆他

早年笔记尤其值得看。戴克斯特拉在莱顿学物理，课程包括微积分、相对论、热力学、函数论、测度与积分、电动力学、牛顿力学、统计力学，也包括一门“逻辑”。

整理者快速翻看这门逻辑课笔记后说，内容似乎更偏苏格拉底、柏拉图、亚里士多德，而不是现代逻辑。

这个判断要收住。它不能推出“戴克斯特拉缺乏现代逻辑训练”。目前只能说，在这份笔记里，那门课呈现出的更像古典哲学传统。

但这个细节很有用。后来那个重视程序证明、结构化思维、反对软件混乱的人，并不是从一条直线的“现代逻辑流水线”里生产出来的。他的思想底色更杂，也更厚。

有意思的不是藏书量，而是思想线索

清单里有 E.T. Bell 的多部作品，包括《数学人物》《数学：科学的女王与仆人》《数字的魔力》。整理者还指出，戴克斯特拉从20世纪70年代中期后频繁引用 Bell，例如在 EWD512、EWD682 中。

这仍然不能证明 Bell 直接塑造了戴克斯特拉某个具体理论。证据还不够。

但它至少说明一件事：戴克斯特拉关心的不是“程序技巧”四个字。他反复谈数学，谈清晰，谈纪律，谈对含混和臃肿的抵抗。Bell 的存在，让这条线索更容易被追踪。

清单里还出现了一串计算机科学和数学思想史的节点：Hoare、Gries、Randell、Milner、Minsky、von Neumann、Weizenbaum、Lakatos、Nilsson。

这些名字连起来，就不是普通书单了。里面有程序正确性，有软件工程，有通信系统，有人工智能，也有数学哲学。

论文引用像公开场合的握手。私人书房更像日常饮食。

“观其所由，察其所安。”看一个学者读什么、留什么、和谁通信，比只记住他的几句名言更可靠。

对计算机科学史读者，这份清单适合当索引用：沿着 EWD 编号、通信对象、赠书题词、课程笔记去追材料，而不是继续复述轶事。对做软件工程、形式化方法、程序语言的人，它的作用更直接：把戴克斯特拉从口号里拿出来，放回他真正关心的问题里。

这会改变阅读方式。读 EWD，不只看结论，还要看他从哪些数学、物理和哲学材料里汲取表达方式。讲结构化编程，也不该只讲“不要 goto”，还要讲它背后的证明意识和工程焦虑。

限制也要写清楚。清单给的是线索，不是因果判决书。一本书出现在书架上，不等于它必然改写了某个理论；一次引用频繁，也不等于思想来源已经闭合。

真正刺眼的是：计算机科学太会追新，也太容易失忆

我更在意的是保存方式。

一个改变世界的学科，很多关键记忆却常常靠少数人抢救。办公室搬迁，旧机器报废，邮箱关闭，个人网页消失，讲义没人接手，一段历史就散了。

物理、数学、文学当然也会丢材料。但计算机科学的问题更急。它年轻，更新快，文件形态又脆：代码、邮件、网页、预印本、会议幻灯片，都不像纸本档案那样天然稳定。

这对技术人不是怀旧问题。它会影响我们怎么理解今天的工程判断。

如果没有材料，戴克斯特拉很容易被压成几个标签：最短路径、结构化编程、讨厌 goto、EWD。标签传播快，也最容易把人讲扁。

这16箱东西至少提醒我们：一个思想家的形成不是金句合集，而是一套慢慢长出来的判断系统。里面有物理训练，有数学史阅读，有哲学兴趣，有同行通信，也有早期软件工程现场的混乱刺激。

对写教材、做课程的人，动作很明确：少把戴克斯特拉当“反 goto 符号”，多把他的笔记、EWD、通信和阅读线索放进同一张图里。对研究软件工程史的人，动作也明确：优先保存个人网页、邮件、讲义、代码和手稿目录。再晚一点，材料可能还在，关联关系已经断了。

接下来最该看的，不是这16箱能不能制造新传奇，而是清单能否继续被标注、关联和校勘：哪些书有批注，哪些通信可追索，哪些 EWD 与阅读材料能互相印证，访问权限和保存状态又能清楚到什么程度。

目前这些问题还看不全。看不全，正说明问题所在。

计算机科学总爱谈下一代工具、下一种范式、下一轮模型。可如果连自己的来路都要靠旧书房里的16个箱子来续命，这个行业的先进感就有点心虚。

历史不只是纪念馆里的东西。它决定我们今天如何判断一个概念是洞见，还是口号；一个工程原则是经验，还是迷信。