Edsger Dijkstra的藏书（收藏与归档于比利时鲁汶）

# Dijkstra的图书馆 | Dijkstra关于泛化的号召 来源：https://www.dijkstrascry.com/inventory Dijkstra在Nuenen的家——2011年1月——藏有大量科学书籍、小册子、论文、手稿等。其中很大一部分现在由我存档在鲁汶，并将在本页讨论。完整清单见下方（https://www.dijkstrascry.com/inventory#inventory）。 **大学书籍，20世纪50年代早期。** 从Dijkstra在莱顿大学攻读物理学学生时代起，他的大部分大学笔记（如果不是全部）都得以保存。 Dijkstra的一些大学书籍，20世纪50年代早期。 以下是Dijkstra在莱顿修读的一些荷兰课程，翻译为英语： - 化学、无机化学、物理化学、有机化学 - 微积分 I 和 II - 物理 I 和 II - 函数论 I - 数学相对论 - 解析几何 I, II, III - 热力学 - 逻辑学 - 测度与积分理论 - 相对论 - 画法几何 - 电动力学 - 牛顿力学、统计力学 特别值得注意的是Dijkstra关于“逻辑学”的笔记。他在莱顿作为学生时学到了什么逻辑学？快速浏览他的笔记发现，这门课是关于苏格拉底、柏拉图、亚里士多德——也就是说，现代逻辑学似乎并未涵盖在内。 **E.T. Bell 的书籍** Dijkstra深受 Eric Temple Bell（1883-1960）的启发。他收藏的下述书籍是我藏品的一部分： - E.T. Bell,《数学精英：卷一》, 1937年首次出版。1953年由企鹅出版社出版。 - E.T. Bell,《数学精英：卷二》, 1937年首次出版。1953年由企鹅出版社出版。 - E.T. Bell,《数学：女王与科学之仆》, 英国版1952年，1954、1958、1961、1966年重印。G. Bell & Sons, Ltd: 伦敦。 - E.T. Bell,《数字的魔力》, 版权1946年，1974年续版。Dover Publications, Inc., 纽约，1991年。 Dijkstra在20世纪70年代中期开始频繁引用Bell，例如在EWD512和EWD682中。在后一篇EWD中，Dijkstra明确引用了： - E.T. Bell,《数学的发展》, McGraw-Hill Book Company, 纽约-伦敦，1945年。 Bell的工作如何影响了Dijkstra的思想？ 在2011年1月访问Dijkstra在Nuenen的家时，Dijkstra办公室的书架上仍塞满了书籍。靠墙堆放着几个箱子，是Dijkstra（在1999/2000年）从德克萨斯寄回家中的。甚至非常私人的信息，比如他的医疗档案，仍在他的办公室里。 在Edsger W. Dijkstra家人的允许下，我被允许清空他办公室的大部分。总共，我带走了16箱Edsger W. Dijkstra的原始物品。这些箱子里的内容列在本页中。 --- ## 库存 在2011年1月访问Dijkstra在Nuenen的家时，Dijkstra办公室的书架上仍塞满了书籍。靠墙堆放着几个箱子，是Dijkstra（在1999/2000年）从德克萨斯寄回家中的。甚至非常私人的信息，比如他的医疗档案，仍在他的办公室里。 在Edsger W. Dijkstra家人的允许下，我被允许清空他办公室的大部分。总共，我带走了16箱Edsger W. Dijkstra的原始物品。这些箱子里的内容列在本页中。 **库存摘要：** 箱子1 (https://www.dijkstrascry.com/inventory#box1), 2 (https://www.dijkstrascry.com/inventory#box2), 3 (https://www.dijkstrascry.com/inventory#box3), 4 (https://www.dijkstrascry.com/inventory#box4): 书籍 箱子5 (https://www.dijkstrascry.com/inventory#box5): 小册子、论文、信件 箱子6 (https://www.dijkstrascry.com/inventory#box6): 海报 -- 书籍 箱子7 (https://www.dijkstrascry.com/inventory#box7): 书籍 箱子8 (https://www.dijkstrascry.com/inventory#box8): 讲义 -- 书籍 箱子9 (https://www.dijkstrascry.com/inventory#box9): 讣告与悼词 -- 图片与文件 -- 文件与小册子 -- 书籍 箱子10 (https://www.dijkstrascry.com/inventory#box10): EWDs 合集 -- 手稿、小册子、海报 箱子11 (https://www.dijkstrascry.com/inventory#box11): 手稿、小册子、论文、信件 -- 海报、奖品、图片 箱子12 (https://www.dijkstrascry.com/inventory#box12): 主要是信件 箱子13 (https://www.dijkstrascry.com/inventory#box13): 小册子和信件 箱子14 (https://www.dijkstrascry.com/inventory#box14): 与Ole-Johan Dahl的通信 箱子15 (https://www.dijkstrascry.com/inventory#box15): 信件和选定的EWDs 箱子16 (https://www.dijkstrascry.com/inventory#box16): 书籍 -- 翻译书籍 -- 赞赏 -- 报纸文章 杂项 (https://www.dijkstrascry.com/inventory#varia) --- **完整库存：** **箱子 1** **书籍** - F.L. Bauer, M. Broy (编), *程序构造*, 计算机科学讲义, Springer-Verlag 柏林 海德堡, 1979. - P.J. Davis, R. Hersh, *数学经验*, 企鹅出版社, 1984. - P.J. Davis, R. Hersh, *笛卡尔的梦：数学眼中的世界*, Houghton Mifflin Company, 波士顿, 1987. - C.N. Dean, M.G. Hinchey (编), *形式方法的教与学*. 由 Edsger W. Dijkstra 作序. Academic Press, 1996. - W. Dunham, *欧拉：我们所有人的大师*, 美国数学协会, Dolciani 数学讲座 No. 22, 1999. - H. Freeman, P.M. Lewis II (编), *软件工程*, Academic Press, 1980. - A.J.M. van Gasteren, *论数学论证的形状*, 博士论文, 埃因霍温理工大学, 1988年12月20日. - 包含单独的手写页，推测是Dijkstra的. - R. Goodman (编), *自动程序设计年度评论, 第3卷*, Pergamon Press, 1963. - R. Goodman (编), *自动程序设计年度评论, 第4卷*, Pergamon Press, 1964. - D. Gries (编), *程序设计方法论：IFIP WG2.3成员论文集*, Springer-Verlag 纽约, 1978. - D. Gries, *编程的科学*, Springer-Verlag 纽约, 1981. - 包含 Gries 致 Dijkstra 的个人留言，签署于1981年10月14日. - D. Gries, F.B. Schneider, *离散数学的逻辑方法*, Springer-Verlag 纽约, 1993. - A.N. Habermann, *论抽象机器的和谐协作*, 博士论文, 埃因霍温理工大学, 1967年10月24日. - 包含 Habermann 的单独简历. - D. Harel, *一阶动态逻辑*, 计算机科学讲义, G. Goos & J. Hartmanis (编), Springer-Verlag 柏林 海德堡, 1979. - D.R. Hartree, *计算仪器与机器*, 剑桥大学出版社, 1950. - C.A.R. Hoare, 何积丰, *编程的统一理论*, Prentice Hall Europe, 1998. - 包含 Hoare 致 Edsger 和 Ria Dijkstra 的个人留言，签署于 Foxwold, 1999年9月. **箱子 2** **书籍** - J.N. Buxton, B. Randell, *软件工程技术*, NATO科学委员会赞助会议报告，意大利罗马，1969年10月. Kynoch Press, 伯明翰. - *E.B. White 散文集*, 第一版 Harper Colophon 1979年出版. 1992年由 HarperPerennial 再版. - P. Klint (编), *高级编程语言与计算机架构研讨会*, 阿姆斯特丹数学中心, 1980. - J. Madey (编), *SE-WMT - 结构化编程：软件工程的核心*, ETAPS 2003, 波兰华沙. - N. Metropolis, J. Howlett, G-C. Rota (编), *二十世纪计算史*, Academic Press, 1980. - R. Milner, *通信系统演算*, G. Goos, J. Hartmanis (编), Springer-Verlag, 1980. - M. Minsky, *计算：有限与无限机器*, Prentice-Hall 自动计算丛书, 1967. - *现代计算方法*, 应用科学笔记：No. 16, 第二版, 全面修订, 科学与工业研究部, 国家物理实验室, 1961. - P. Naur, B. Randell, *软件工程*, NATO科学委员会赞助会议报告，德国加米施，1968年10月. 1969年1月出版. - J. von Neumann, *全集, 第五卷：计算机设计、自动机理论与数值分析*, A.H. Taub (编), Pergamon Press, 1963. - C.A. Petri, *与自动机的通信*, 达姆施塔特工业大学数学与物理系——为获得自然科学博士学位，波恩 1962. - B. Randell, L.J. Russell, *ALGOL60 实现*, A.P.I.C. 数据处理研究：No.5, Academic Press, 1964. - 包含 Randell 和 Russell 的个人留言. - B. Randell (编), *数字计算机的起源：精选论文*, Springer-Verlag, 1973. - H. Rutishauser, *程序控制计算机的自动计算计划编制：Nr. 3*, 苏黎世联邦理工学院应用数学研究所通讯，由 Prof. Dr. E. Stiefel 编辑，Birkhauser Verlag - 巴塞尔/斯图加特, 1961. - G. de Santillana, *伽利略的罪行*, 水星丛书：No 14, 1961. - S.A. Schuman (编), *算法语言新方向*, 为 IFIP 工作组 2.1（ALGOL）准备，由 Institut de Recherche D'informatique et D'automatique 出版：Domaine de Voluceau, Rocquencourt, 1976. - E. Stiefel, *数值数学导论*, B.G. Teubner Verlagsgesellschaft, 斯图加特, 1961. - C. Strachey, *编程语言的多样性*, 牛津大学计算实验室，编程研究组，技术专著 PRG-10, 1973年3月. - P.M.B. Vitanyi, J. van Leeuwen, P. van Emde Boas (编), *复杂性与算法研讨会：第一部分*, 阿姆斯特丹数学中心, 1982. **箱子 3** **书籍** - F.E.J.M. Baudet, *中世纪的膳食与厨房*, A.W. Sijthoff, 莱顿. - N. Beets, *J.H. van den Palm 的生平与性格*, 莱顿，D. Du Mortier en Zoon. - N. Beets, *Chatepie de la Saussaye*, 哈勒姆，de Erven F.Bohn. - N. Bohr, *原子理论与自然描述*, 四篇论文附 Niels Bohr 介绍性概述，柏林 Verlag Von Julius Springer, 1931. - C. Delsman, *附解答的数学问题*, 由数学学会会员提交，第十二卷，第4部分，阿姆斯特丹, 1917. - A. France, *西尔维斯特·波纳尔的罪行*, 巴黎, 1889. - K.R. Gallas, *法语词典：第二部分*, 斯内克, J.F. Van Druten. - J. Huizinga, *游戏的人：文化中游戏元素的研究*, H.D. Tjeenk Willink & Zoon N.V. - 哈勒姆, 1940. - D.D. Mayne, *现代商务拼写书*, Powers & Lyons, 1901. - N. Mulder, *美好旧时光：60、70多年前*, 赞代克. - P.J. Out, 1912. - P. Reynders, *工业与绘画证书的透视法*, Uitgave N.V. Uitg.-Mij. AE. E. Kluwer - 代芬特尔. - J.J. Salverda de Grave, *关于荷兰语从书面拉丁语借用的几个词语组的论文*, 阿姆斯特丹，Johannes Muller, 1900. - A.D. Schoch, P. Kron, *小扬基*, 第4版，埃特林根（巴登）和莱比锡，J. Bielefelds Verlag, 1930. - F. Schuh, J.G. Rutgers, *高等数学纲要*, 第三部分——微分学——空间解析几何，积分学. P. Noordhoff, 格罗宁根, 1919. - G.A. Walton, A.N.L. Walton, *算术手册*, Brewer and Tileston, 波士顿, 1871. - R. Witzenbock, *不变理论*, P. Noordhoff, 格罗宁根, 1923. **箱子 4** **书籍** - P. Benacerraf, H. Putnam, *数学哲学*, 第二版，剑桥大学出版社, 1985. - W.K. Buhler, *高斯：传记研究*, Springer-Verlag, 1981. - S-C. Chou, X-S. Gao, J-Z. Zhang, *几何中的机器证明：几何定理可读证明的注释生成*, 应用数学丛书：第6卷. World Scientific Publishing, 1994. - R. Courant, H. Robbins, *什么是数学？：思想与方法的基本探讨*, 牛津大学出版社, 1941. - 附 Wim H.J. Feijen 的个人留言. - H.S.M. Coxeter, *几何导论*, 第二版，John Wiley & Sons, 1969. - 由 Feijen, van Gasteren 等人签名. - E. Engeler, *初等数学的元数学*, Springer-Verlag, 1983. - L. Gurko, *英雄、知识分子与大众思想*, 弗里波特，纽约, 1971. - R. Honsberger, *从厄尔多斯到基辅：奥林匹克难度问题*, 美国数学协会, 1996. - C.B. Jones, *软件开发：严谨方法*, Prentice Hall International, 1980. - M. Kindt, *射影几何课程*, Epsilon Uitgaven 乌得勒支, 1996. - M. Kline, *数学思想：从古代到现代：第1卷*, 牛津大学出版社, 1972. - M. Kline, *数学思想：从古代到现代：第2卷*, 牛津大学出版社, 1972. - M. Kline, *数学思想：从古代到现代：第3卷*, 牛津大学出版社, 1972. - I. Lakatos, *证明与反驳：数学发现的逻辑*, 由 J. Worrall 和 E. Zahar 编辑. 剑桥大学出版社, 1976. - D.S. Landes, *挣脱束缚的普罗米修斯：1750年至今西欧的技术变革与工业发展*, 剑桥大学出版社, 1969. - R.M. McKeag, R. Wilson, 由 D.H.R. Huxtable 编辑, *操作系统研究*, APIC 数据处理研究：No. 13, Academic Press, 1976. - C. Mead, L. Conway, *VLSI 系统导论*, Addison-Wesley, 1980. - N.J. Nilsson, *人工智能原理*, Tioga Publishing Co., 1980. - S. Pinker, *语言本能：心灵如何创造语言*, HarperPerennial, 1995. - J.C. Reynolds, *编程的技巧*, Prentice Hall International, 1981. - J. Simon, *失落的范式：关于读写能力及其衰退的反思*, Clarkson N. Potter, Inc., 纽约, 1980. - J.T. Tou (编), *信息系统科学进展：第4卷*, Plenium Press, 1972. - J. Weizenbaum, *计算机力量与人类理性：从判断到计算*, W.H. Freeman and Company, 旧金山, 1976. - J. Welsh, M. McKeag, *结构化系统编程*, Prentice Hall International, 1980. - W.A. Wulf, M. Shaw, P.N. Hilfinger, L. Flon, *计算机科学基本结构*, Addison-Wesley, 1981. **箱子 5** **小册子、论文、信件** - H. Abelson, G.J. Sussman, *计算机程序的结构与解释*, 技术报告 735 草稿版，MIT 人工智能实验室, 1983年7月31日. - E.A. Ashcroft, *函数式程序作为公理化理论*, 语言定义组, C.C.A. 报告 No. 9, 计算与自动化中心, 帝国理工学院. - E.A. Ashcroft, *证明关于并行程序的断言*, 研究报告 CS-73-01, 应用分析与计算机科学系, 滑铁卢大学，安大略省滑铁卢，加拿大, 1973年1月, 1974年4月修订. - T. Anderson, *关于程序可靠性证明*, 备忘录草稿, 1972年8月. - A.J.C. Bakhuizen, *对步进电机发展的贡献*, 博士论文，埃因霍温理工大学. - P. Brinch Hansen, *RC 4000 监控器的结构*, A/S Regnecentralen, 哥本哈根, 1968年2月. - P. Brinch Hansen, *并发 PASCAL：一种用于设计层次操作系统的编程语言*, 信息科学，加州理工学院, 1973年6月. - C. Bron, *迈向可重用模块库*, CS 8901, 计算机科学系，格罗宁根大学, 1989年3月31日. - N.G. De Bruijn, *推理的机器验证*