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]