Donald Knuth

Donald Ervin Knuth于1938年1月10日生于威斯康星州Milwaukee，父亲是路德宗中学教师兼教堂管风琴师。⁠[1]

13岁时，他用“Ziegler's Giant Bar”的字母拼出4700多个单词，远超比赛主办方预计的约2000个。⁠[2]

他在Case Institute of Technology取得学士学位，教授们同时授予他数学硕士学位。⁠[3]

1961年，他与Nancy Jill Carter结婚；两人育有一子一女：John Martin（1965年生）和Jennifer Sierra（1966年生）。⁠[1]

1962年1月，Addison-Wesley约请仍是研究生的他写书，即后来的《The Art of Computer Programming》。⁠[1]

1963年，他获California Institute of TechnologyCalifornia Institute of TechnologyCalifornia Institute of Technology（简称 Caltech）是位于美国加利福尼亚州帕萨迪纳的私立研究型大学，以科学与工程的研究和教育为主。学校前身是 Amos G. Throop 于1891年创办的 Throop University，1920年改用现名。Caltech 为 NASA 管理喷气推进实验室（JPL），拥有 Palomar、W. M. Keck 等天文台，并共同创立和管理激光干涉引力波天文台（LIGO）。截至2026年9月，在校本科生971人、研究生1,398人。2026年7月1日起，天体物理学家 Ray Jayawardhana 任第十任校长。点击查看完整词条数学博士学位，同年任该校数学助理教授，1966年升任副教授。⁠[4]

他在Caltech与Stanford任教期间，曾在Institute for Defense Analyses为美国国家安全局从事密码学工作。⁠[3]

1968年，他以“Professor of Computer Programming”头衔加入Stanford University。⁠[5]

同年，《The Art of Computer Programming》第1卷出版，第2、3卷分别于1969年和1973年出版。⁠[2]

1970年至1989年，他在Stanford讲授Concrete Mathematics课程，后来与Ron Graham、Oren Patashnik据此合著同名教材。⁠[6]

1972年，John Horton Conway在午餐时向他讲解自己的新数系；1973年他在奥斯陆休假一周期间把它写成中篇小说体的介绍，1974年由Addison-Wesley以《Surreal Numbers》出版。⁠[7]

1974年，他获ACMAustralian Community MediaAustralian Community Media（ACM）是澳大利亚地区与乡村新闻出版集团，旗下有The Canberra Times等逾100个品牌；2019年Nine将其出售给由Antony Catalano与Thorney Investment Group相关方控制的公司。点击查看完整词条 A. M. Turing Award，获奖理由为“his major contributions to the analysis of algorithms and the design of programming languages”（他对算法分析与程序设计语言设计的重大贡献）。⁠[8]

同年，他与James H. Morris, Jr.、Vaughan R. Pratt在Stanford技术报告中提出字符串快速匹配算法，论文后发表于SIAM Journal on Computing。⁠[9]

1975年，他当选美国国家科学院院士，主学部为计算机与信息科学。⁠[10]

1975年6月6日，由洛杉矶Abbott and Sieker为他和妻子Jill设计建造的管风琴落成，安装在两人位于Stanford的住宅中一间两层高的专用房间里。⁠[11]

TeX是他在修订TAOCP第2卷期间开始开发的计算机排版语言与程序，尤其用于数学与技术资料的排版。⁠[12]

同年，Frances Yao为他取中文名高德纳。⁠[13]

1979年，他获美国国家科学奖章，表彰他对高效算法的数学分析与设计的研究及其“profoundly influential books”（影响深远的著作）。⁠[3]

1971年，他获ACM首届Grace Murray Hopper Award；1986年凭TeX获ACM Software System Award。⁠[8]

他自1975年前后开始使用电子邮件，1990年1月1日起不再拥有电子邮件地址。他写道：“15 years of email is plenty for one lifetime.”（15年的电子邮件对一生来说已经足够。）⁠[14]

文学式编程（literate programming）是他提出的把程序设计语言与文档语言结合起来的方法，相关文集《Literate Programming》于1992年出版。⁠[15]

1992年1月28日起，他不定期在Stanford举行面向公众的Computer Musings讲座，免费且不计学分。⁠[16]

1993年，他成为Stanford荣休教授，此后专职撰写TAOCP。⁠[5]

1996年，稻盛财团授予他京都奖尖端技术奖（信息科学领域），所表彰的成果包括《The Art of Computer Programming》、WEB文学式编程系统以及TeX与METAFONT排版系统。⁠[4]

1999年秋，他应邀在MIT就信仰与科学的关系作六场公开讲座，讲稿经他注释后于2001年由CSLI Publications出版为《Things a Computer Scientist Rarely Talks About》，内容包括他研究圣经经文的“3:16 project”。⁠[17]

2007年3月14日与21日，Edward Feigenbaum为计算机历史博物馆采访他，内容涉及家庭背景、音乐与数学兴趣、博士论文、TAOCP与TeX、宗教对他的影响等。⁠[18]

2010年，他获BBVA基金会第三届知识前沿奖（信息与通信技术类），评语称：“Knuth made computing a science by introducing formal mathematical techniques for the rigorous analysis of algorithms.”（Knuth通过引入严格分析算法的形式化数学方法，使计算成为一门科学。）⁠[5]

2011年，《The Art of Computer Programming》第4A卷出版；此前第1、2卷第3版于1997年、第3卷第2版于1998年面世。⁠[19]

同年他获IET Faraday Medal；Stanford个人资料所列其他荣誉还包括1995年IEEE John von Neumann Medal和2012年当选美国哲学会会员。⁠[20]

《Fantasia Apocalyptica》是他依《启示录》创作的管风琴与视频多媒体作品，2011年开始构思，2016年8月20日完成。2018年1月10日，即他80岁生日当天，Jan Overduin在瑞典Piteå的Studio Acusticum首演。⁠[21]

2019年12月30日，他做客Lex FridmanLex FridmanLex Fridman 是生于苏联、在美国长大的计算机科学家和播客主持人，任 MIT 研究科学家，研究人机交互与自动驾驶。他主持的 Lex Fridman Podcast 以数小时长篇对话著称，嘉宾包括多国领导人和科技企业领袖。点击查看完整词条主持的播客（当时名为Artificial Intelligence Podcast），谈及IBM 650、Alan Turing、TAOCP的写作、组合数学、大O记号、P与NP问题、人工智能、信仰与死亡以及TeX与排版之美。⁠[22]

2020年4月，82岁的他正撰写第4卷B部分，并说：“I viewed myself not as a pioneer, but as a journalist.”（我不把自己看作先驱，而是看作记者。）⁠[2]

2021年9月9日，他第二次做客Lex Fridman Podcast（第219期），谈及早年的程序、文学式编程、编程之美、OpenAIOpenAIOpenAI是2015年创立的人工智能研究与产品机构，开发GPT系列模型、ChatGPT、Codex及开发者API，并开展图像、语音、视频与智能代理研究。2025年重组后，非营利的OpenAI Foundation继续控制营利主体OpenAI Group PBC。其发展涉及大规模融资与算力合作，也伴随治理、版权、隐私及人工智能安全争议。点击查看完整词条、意识、Conway的生命游戏、稳定婚姻问题、Richard FeynmanRichard FeynmanRichard Feynman（Richard Phillips Feynman，1918—1988）是美国理论物理学家，以路径积分表述和费曼图重新构建量子电动力学，并因此与 Julian Schwinger、朝永振一郎分享1965年诺贝尔物理学奖。他二战期间参与曼哈顿计划，此后长期任教于加州理工学院，其新生物理课整理成《费曼物理学讲义》；1986年作为总统委员会委员调查挑战者号航天飞机事故，以冰水演示 O 形环在低温下失去弹性。点击查看完整词条、Knuth-Morris-Pratt算法与开源等。⁠[23]

2022年9月28日，Addison-Wesley Professional出版《The Art of Computer Programming》第4B卷（组合算法）。⁠[24]

他在该卷前言中称其为第4A卷的续篇，并写道：“I've had loads of fun writing other parts of these volumes.”（我在撰写这些卷的其他部分时乐趣无穷。）⁠[25]

2023年4月，他拟定20个问题，由一名研究生提交给ChatGPTChatGPTChatGPT是OpenAI于2022年11月30日推出的生成式人工智能助手，通过网页和应用提供对话、写作、编程、搜索、文件分析及图像和语音交互等服务。产品从免费研究预览发展为面向个人、企业和教育机构的多种方案，并逐步增加深度研究、学习模式和跨应用任务执行能力。其应用也引发有关事实准确性、个人隐私、版权、教育及青少年安全的持续讨论。点击查看完整词条，并逐条批注答案，指出措辞出色但存在事实错误；他表示自己将把时间用于发展“authentic and trustworthy”（真实可信）的概念。⁠[26]

2025年2月，他收到Addison-Wesley出版的TAOCP第4卷分册7《Constraint Satisfaction》样书，该分册为304页平装本。⁠[27]

2026年2月28日，他发表短文《Claude's Cycles》，记述自己研究数周的一个有向图分解问题（奇数情形）由Claude Opus 4.6在约一小时、第31次探索时解出，并写道：“Hats off to Claude!”（向Claude致敬！）偶数情形随后在其他模型协助下解决。⁠[28]

截至2026年10月，他仍以Stanford大学“The Art of Computer Programming”荣休教授身份撰写第4C卷与第5卷，并计划此后修订第1至3卷。⁠[19]

他的公开讲座页面显示，2026年的Christmas Lecture定于12月3日在Stanford Huang Engineering Center的NVIDIANVIDIANVIDIA 是美国半导体与计算技术公司，提供图形处理器、人工智能基础设施、网络互连和计算软件，在纳斯达克以 NVDA 为代码上市。点击查看完整词条 Auditorium举行。⁠[16]

个人网站：公开链接：https://cs.stanford.edu/~knuth/（在新窗口打开）⁠[29]