Edsger Dijkstra 图书馆（位于比利时鲁汶并存档）

2011 年 1 月，Dijkstra 在纽南的家中藏有大量科学书籍、小册子、论文、手稿等。其中很大一部分现在由我在鲁汶存档，并将在本页进行讨论。有关完整库存，请参阅下文。大学书籍，20 世纪 50 年代初。从迪杰斯特拉在莱顿大学攻读物理专业开始，他的大部分（如果不是全部）大学笔记本都被保存下来。以下是 Dijkstra 在莱顿修读的一些荷兰课程，已翻译成英语： 化学、无机化学、物理化学、有机化学、微积分 I 和 II 物理 I 和 II 函数论 I 数学理论 相对论 解析几何 I、II、III 热力学 逻辑 测量和积分理论 相对论 描述几何 电动力学 牛顿力学、统计力学 特别令人感兴趣的是 Dijkstra 关于“逻辑”的笔记。作为莱顿的一名学生，他学到了什么逻辑知识？快速浏览一下他的笔记，就会发现这门课程是关于苏格拉底、柏拉图、亚里士多德的——也就是说，这门课程似乎没有涉及任何现代逻辑。 E.T. 的书籍Bell Dijkstra 的灵感来自 Eric Temple Bell（1883-1960）。他的以下书籍是我的收藏的一部分：E.T.贝尔，《数学家：第一卷》，1937 年首次出版。企鹅图书出版，1953 年。贝尔，《数学家：第二卷》，1937 年首次出版。企鹅出版社出版，1953 年。贝尔，《数学：科学的女王和仆人》，1952 年英国版，1954 年、1958 年、1961 年、1966 年重印。G. Bell & Sons, Ltd：伦敦。外星人Bell，《数字的魔力》，1946 年版权，1974 年更新。Dover Publications, Inc.，纽约，1991 年。Dijkstra 在 20 世纪 70 年代中期开始频繁引用 Bell，例如在 EWD512 和 EWD682 中。在后一个 EWD 中，Dijkstra 明确提到：E.T.贝尔，《数学的发展》，麦格劳-希尔图书公司，纽约-伦敦，1945 年。贝尔的工作如何影响迪杰斯特拉的思想？ 2011年1月，当迪杰斯特拉参观位于纽南的家时，迪杰斯特拉办公室的书架上仍然摆满了书籍。靠墙堆放着几个盒子，是 Dijkstra 从德克萨斯州（1999/2000 年）寄到他位于纽南的家中的。即使是非常个人的信息，例如他的医疗档案，仍然在他的办公室里。经艾兹格·W·迪杰斯特拉 (Edsger W. Dijkstra) 家人的许可，我被允许清空他办公室的很大一部分。我总共带走了 16 箱 Edsger W. Dijkstra 的原始物品。这些框中的内容列在本页上。库存 2011 年 1 月，当参观 Dijkstra 在纽南的家时，Dijkstra 办公室的书架上仍然堆满了书籍。靠墙堆放着几个盒子，是 Dijkstra 从德克萨斯州（1999/2000 年）寄到他位于纽南的家中的。即使是非常个人的信息，例如他的医疗档案，仍然在他的办公室里。经艾兹格·W·迪杰斯特拉 (Edsger W. Dijkstra) 家人的许可，我被允许清空他办公室的很大一部分。我总共带走了 16 箱 Edsger W. Dijkstra 的原始物品。这些框中的内容列在本页上。库存概要： 框 1、2、3、4：书籍 框 5：小册子、论文、信件 框 6：海报 - 书籍 框 7：书籍 框 8：讲义 - 书籍 框 9：讣告和悼念 - 图片和文件 - 文件和小册子 - 书籍 框 10：EWD 收藏 - 手稿、小册子、海报 框 11：手稿、小册子、论文、信件 - 海报、奖品、图片 方框 12：主要是信件 方框 13：小册子和信件 方框 14：与 Ole-Johan Dahl 的信件 方框 15：信件和选定的 EWD 方框 16：书籍 - 翻译书籍 - 欣赏 - 报纸文章 VARIA 完整库存： 方框 1 书籍 F.L. Bauer, M. Broy（编辑），程序构造，计算机科学讲义，Springer-Verlag Berlin Heidelberg，1979。 P.J. Davis, R. Hersh，《数学经验》，企鹅图书，1984。 P.J. Davis, R. Hersh，笛卡尔的梦想：根据数学的世界，Houghton Mifflin Company，波士顿，1987。迪恩，M.G. Hinchey（编辑），教学和学习形式方法。 Edsger W. Dijkstra 作序。学术出版社，1996 年。W. Dunham，欧拉：我们所有人的大师，美国数学协会，Dolciani 数学论述第 22 期，1999 年。H. Freeman，P.M. Lewis II（编辑），软件工程，学术出版社，1980 年。 van Gasteren，《论数学论证的形状》，博士论文，埃因霍温理工学院，1988 年 12 月 20 日。包含一页单独的笔迹，可能是 Dijkstra 的笔迹。 R. Goodman（编辑），《自动编程年度评论》，卷。 3，佩加蒙出版社，1963 年。R. Goodman（编辑），《自动编程年度评论》，卷。 4，佩加蒙出版社，1964 年。D. Gries（编辑），编程方法论：IFIP WG2.3 成员的文章集，Springer-Verlag 纽约，1978 年。D. Gries，编程科学