Edsger Dijkstra's Library (Housed and Archived in Leuven, Belgium)
This page documents the physical library and personal archive of computer science pioneer Edsger W. Dijkstra, housed at the Nieuwe Gracht site in Leuven, Belgium. The collection includes his extensive book collection, manuscripts, correspondence, and lecture notes, offering a comprehensive view of his intellectual legacy and contributions to computing.
背景速读
- 艾兹赫尔·戴克斯特拉(Edsger W. Dijkstra,1930–2002)是荷兰计算机科学家,图灵奖得主。他奠定了结构化编程的基础,提出了“最短路径算法”(Dijkstra算法)、信号量(semaphore)概念和著名的“goto语句有害论”。
- 本文介绍的是戴克斯特拉个人藏书和手稿的长期归宿:比利时鲁汶大学(KU Leuven)的戴克斯特拉档案库。这份藏书包括他几乎所有已发表和未发表的手稿、信件、讲义笔记、技术报告和私人藏书。
- 戴克斯特拉以手写“EWD报告”闻名——编号系列的技术笔记,其中许多以优雅的书法写成,内容涵盖编程方法论、并发控制、数学证明和计算机科学教育。这些EWD报告是计算机科学史上最珍贵的原始文献之一。
- 鲁汶档案库的完整整理和数字化对理解计算机科学早期思想史至关重要。鲁汶是戴克斯特拉晚年任教(1999–2002)的地方,因此他的学术遗产最终存放在这里具有历史意义。