返回

文章详情

埃德斯格·迪克斯特拉的图书馆(位于比利时鲁汶的存放与档案)

Hacker News2026年6月24日 15:10

迪克斯特拉的图书馆迪克斯特拉在诺伊嫩的家——2011年1月——包含了大量的科学书籍、小册子、论文、手稿等。这部分收藏现在已由我归档在鲁汶,并将在此页面上进行讨论。完整的清单见下文。大学书籍,1950年代初。自迪克斯特拉在莱顿大学学习物理的学生时代开始,他大部分(如果不是全部)大学笔记本都得以保存。以下是迪克斯特拉在莱顿学习的一些荷兰语课程,翻译成英语:化学、无机化学、物理化学、有机化学、微积分I和II、物理I和II、函数理论I、相对论的数学理论、解析几何I、II、III、热力学、逻辑、测度与积分理论、相对论理论、描述几何、电动力学、牛顿力学、统计力学。特别有趣的是迪克斯特拉关于“逻辑”的笔记。他在莱顿作为学生时学到了什么关于逻辑的内容?快速翻阅他的笔记显示,这门课程是关于苏格拉底、柏拉图、亚里士多德的——也就是说,这门课程似乎没有涉及现代逻辑。E.T. 贝尔的书籍迪克斯特拉受到埃里克·庙宇·贝尔(1883-1960年)的启发。以下是我的收藏中的一些书籍:E.T.贝尔,《数学之人与数学家:第一卷》,首次出版于1937年。企鹅出版社,1953年。E.T.贝尔,《数学之人与数学家:第二卷》,首次出版于1937年。企鹅出版社,1953年。E.T.贝尔,《数学:科学的女王与仆人》,1952年英国版,1954年、1958年、1961年、1966年再版。G. 贝尔与儿子有限公司:伦敦。E.T.贝尔,《数字的魔力》,版权1946,1974年续期。道佛出版公司,1991年纽约。迪克斯特拉在1970年代中期开始频繁引用贝尔的作品,例如在EWD512和EWD682中。在后者的EWD中,迪克斯特拉明确提到:E.T. 贝尔,《数学的发展》,麦格劳希尔图书公司,纽约-伦敦,1945年。贝尔的工作是如何影响迪克斯特拉的思维的?2011年1月访问迪克斯特拉在诺伊嫩的家时,迪克斯特拉办公室的书架上仍然堆满了书籍。靠墙堆放着几只盒子,迪克斯特拉于1999/2000年从德克萨斯州寄送到诺伊嫩的家。甚至非常个人的信息,例如他的医疗档案,仍然在他的办公室内。在埃德斯格·迪克斯特拉的家人的许可下,我被允许清空他办公室的大部分空间。总共,我带走了16个装有埃德斯格·迪克斯特拉原始物品的盒子。这些盒子的内容在此页面上列出。库存在2011年1月访问迪克斯特拉在诺伊嫩的家时,迪克斯特拉办公室的书架上仍然堆满了书籍。靠墙堆放着几只盒子,迪克斯特拉于1999/2000年从德克萨斯州寄送到诺伊嫩的家。甚至非常个人的信息,例如他的医疗档案,仍然在他的办公室内。在埃德斯格·迪克斯特拉的家人的许可下,我被允许清空他办公室的大部分空间。总共,我带走了16个装有埃德斯格·迪克斯特拉原始物品的盒子。这些盒子的内容在此页面上列出。库存总结:盒子1、2、3、4:书籍;盒子5:小册子、论文、信件;盒子6:海报——书籍;盒子7:书籍;盒子8:讲义——书籍;盒子9:讣告与致敬——图片和文件——文件和小册子——书籍;盒子10:EWD合集——手稿、小册子、海报;盒子11:手稿、小册子、论文、信件——海报、奖品、图片;盒子12:主要是信件;盒子13:小册子和信件;盒子14:与霍尔-约翰·达尔的通信;盒子15:通信和选定的EWD;盒子16:书籍——翻译书籍——欣赏——报纸文章;其他完整清单:盒子1 书籍F.L. 鲍尔, M. 布罗伊(编辑),程序构造,计算机科学讲义,斯普林格- Verlag Berlin Heidelberg,1979年。P.J. 戴维斯, R. 赫希,《数学经历》,企鹅出版社,1984年。P.J. 戴维斯, R. 赫希,《笛卡尔的梦:根据数学的世界》,霍顿-米弗林公司,1987年。C.N. 迪恩, M.G. 辛切(编辑),教授与学习形式方法。前言由埃德斯格·迪克斯特拉撰写。学术出版社,1996年。W. 邓哈姆,欧拉:我们所有人的大师,美国数学协会,杜尔奇安数学展览第22号,1999年。H. 弗里曼, P.M. 刘易斯二世(编辑),软件工程,学术出版社,1980年。A.J.M. 范·加斯特伦,数学论证的形状,博士论文,埃因霍温技术学院,1988年12月20日。包含单独的手写页面,可能是迪克斯特拉的。R. 古德曼(编辑),自动编程年鉴,第3卷, 佩尔伽蒙出版社,1963年。R. 古德曼(编辑),自动编程年鉴,第4卷,佩尔伽蒙出版社,1964年。D. 格里斯(编辑),编程方法论:IFIP WG2.3成员的文章集,斯普林格- Verlag New York,1978年。D. 格里斯,科学

赞助内容

NordVPN Next-gen Antivirus

本站免费、广告极少。如果觉得有帮助,可以请我们喝杯咖啡 —— 任何金额都对持续运营有实际帮助。

请我喝杯咖啡