Кнут, Дональд Эрвин

Родился в семье преподавателя. Его отец преподавал бухгалтерский учёт, а также занимался печатным делом на дому как любитель (этим можно объяснить последующий интерес Дональда к этому делу и такие разработки как ΤΕΧ). С юных лет в нём наблюдалась склонность к математике, физике и музыке.

Окончил с отличием отделение математики Кейсовского технологического института (бакалавр, 1960). Одновременно за значительные достижения в программировании был удостоен степени магистра. Спустя три года получил докторскую степень в Калифорнийском технологическом институте. Преподавал там же математику и одновременно работал консультантом по проблемам разработки программного обеспечения в корпорации Burroughs.

В 1968 году перешёл в Стэнфордский университет. В 1968—1969 годах также работал в Институте оборонных исследований. Приглашённый профессор математики в Университете Осло (1972, 1973). В Стэнфорде под его руководством защищено 28 докторских диссертаций.

Большое влияние на молодого Кнута оказали работы Андрея Ершова, впоследствии его друга.

Это началось ещё когда я был студентом последнего курса. Тогда только появилась книга Андрея «Программирование для БЭСМ», и мы, группа студентов, смогли убедить преподавателя русского языка включить её в курс в качестве одного из двух сборников текстов для изучения научной лексики^[4].

Поскольку Кнут всегда считал монографию «Искусство программирования» основным проектом своей жизни, в 1993 году он вышел в отставку с намерением полностью сконцентрироваться на написании недостающих частей и приведении в порядок существующих.

Работа над монографией продолжается: в феврале 2025 года был опубликован седьмой выпуск четвёртого тома (Volume 4, Fascicle 7), посвящённый проблеме удовлетворения ограничений (Constraint Satisfaction), при этом сам том 4C готов примерно на треть. Ради завершения серии книг учёный ведёт уединённый образ жизни, не принимает посетителей и не ездит на конференции. При этом он продолжает участвовать в жизни Стэнфордского университета и читать публичные лекции: так, 4 декабря 2025 года Кнут прочёл лекцию «Adventures with Knight's Tours» в рамках цикла «Computer Musings».

В начале 2026 года Кнут опубликовал статью «Claude’s Cycles», в которой описал, как искусственный интеллект Claude Opus 4.6 за час решил открытую математическую задачу из области комбинаторики, над которой учёный работал несколько недель. Это событие вызвало удивление научного сообщества и было оценено как важный рубеж в развитии автоматизированного математического мышления. Этот успешный опыт сотрудничества заставил Кнута пересмотреть своё ранее скептическое отношение к генеративному искусственному интеллекту^[5][6][7].

С 1961 года женат на Джилл Кнут, у пары двое детей: Джон и Дженнифер.

Дональд Кнут разработал системы ΤΕΧ и METAFONT из-за разочарования низким качеством цифровой вёрстки нового издания своего труда «Искусство программирования». Система ΤΕΧ предоставила авторам беспрецедентный контроль над типографикой и стала де-факто стандартом для подготовки научных и технических публикаций. В свою очередь, METAFONT представил инновационный подход к дизайну шрифтов с помощью математических уравнений^[8]. В процессе разработки этих систем Кнут создал новую методологию, получившую название «грамотное программирование» (англ. literate programming).

В 2026 году в рейтинге Research.com Кнут занимает 515-е место в мире в области информатики (D-индекс 92) и 153-е место в области математики (D-индекс 76)^[9].

Член редакционных коллегий многих научных журналов.

Действительный член Американской академии искусств и наук (1973), Национальной академии наук США (1975)^[10], Национальной инженерной академии США (1981)^[11]. Член Американской гильдии органистов (с 1965 года), Американского математического общества (1961), Ассоциации компьютерной техники (ACM) (1959), Математической ассоциации Америки (1959), Общества промышленной и прикладной математики (1965), действительный член Британского компьютерного общества (1980), почётный член IEEE (1982). Иностранный член Лондонского королевского общества (2003)^[12], Российской академии наук (29 мая 2008)^[13][14].

Почётный доктор многих университетов. Почётный доктор СПбГУ (1992).

Удостоен многочисленных премий и наград в области программирования и вычислительной математики, среди которых:

• 1971 — Премия имени Грейс Мюррей Хоппер
• 1972 — Стипендия Гуггенхайма
• 1974 — Премия Тьюринга
• 1978 — Гиббсовская лекция
• 1979 — Национальная научная медаль США
• 1980 — Премия Уоллеса Макдауэлла
• 1986 — Премия Стила за серию научно-популярных статей
• 1988 — Медаль Франклина
• 1992 — Мемориальные лекции Вейцмана
• 1995 — Премия Харви
• 1995 — Медаль Джона фон Неймана
• 1996 — Премия Киото за достижения в области передовых технологий
• 1998 — Fellow Awards
• 2010 — BBVA Foundation Frontiers of Knowledge Awards
• 2011 — Медаль Фарадея
• 2011 — Лекция Тьюринга
• 2016 — Лекция Джона фон Неймана

Существует премия его имени за вклад в основы информатики.

• «Искусство программирования»
• «Всё про ΤΕΧ», «Всё про METAFONT»
• «Компьютеры и набор текста» (Computers & Typesetting)
• «Конкретная математика. Основание информатики»
• «3:16 Bible Texts Illuminated» (Madison, Wisconsin: A-R Editions), 1990. ISBN 0-89579-252-4
• «Сюрреальные числа» (Surreal Numbers), 1974^[15].
• Фасцикул 7 тома 4C (Addison-Wesley Professional, 2025). ISBN 9780135328347^[16]
• «Claude's Cycles» (препринт, Stanford Computer Science Department, 2026).