stringtranslate.com

Дональд Кнут

Дональд Эрвин Кнут ( / k ə ˈ n uː θ / [3] kə- NOOTH ; родился 10 января 1938 года) — американский учёный-компьютерщик и математик. Он является почётным профессором Стэнфордского университета . Он является лауреатом премии ACM Turing Award 1974 года , неофициально считающейся Нобелевской премией по информатике. [4] Кнута называют «отцом анализа алгоритмов ». [5]

Кнут является автором многотомного труда «Искусство программирования» . Он внес вклад в разработку строгого анализа вычислительной сложности алгоритмов и систематизировал формальные математические методы для этого. В процессе он также популяризировал асимптотическую нотацию . Помимо фундаментального вклада в несколько отраслей теоретической информатики , Кнут является создателем системы компьютерного набора TeX , связанного с ним языка определения шрифтов и системы рендеринга METAFONT , а также семейства шрифтов Computer Modern .

Как писатель и ученый, Кнут создал системы компьютерного программирования WEB и CWEB, призванные поощрять и облегчать грамотное программирование , и разработал архитектуры набора инструкций MIX / MMIX . Он решительно выступает против выдачи патентов на программное обеспечение и выразил свое мнение Патентному ведомству США и Европейской патентной организации .

Биография

Ранний период жизни

Дональд Кнут родился в Милуоки , штат Висконсин , в семье Эрвина Генри Кнута и Луизы Мари Бонинг. [6] Он описывает свое происхождение как «лютеранское немецкое происхождение со Среднего Запада». [7] : 66  Его отец владел небольшим типографским бизнесом и преподавал бухгалтерский учет. [8] Будучи учеником средней школы Milwaukee Lutheran High School , Кнут придумывал гениальные способы решения задач. Например, в восьмом классе он принял участие в конкурсе, чтобы найти количество слов, которые можно было бы переставить, чтобы создать из букв в слове «Ziegler's Giant Bar»; судьи определили 2500 таких слов. Со временем, проведенным вне школы из-за фальшивой боли в животе, Кнут использовал полный словарь и определял, можно ли образовать каждую словарную запись, используя буквы во фразе. Используя этот алгоритм, он определил более 4500 слов, выиграв конкурс. [7] : 3  В качестве призов школа получила новый телевизор и достаточно шоколадных батончиков, чтобы накормить всех его одноклассников. [9] [10]

Образование

Кнут получил стипендию по физике в Технологическом институте Кейса (теперь часть Университета Кейса Вестерн Резерв ) в Кливленде , штат Огайо, поступив туда в 1956 году. [11] Он также присоединился к отделению Beta Nu братства Theta Chi . Во время изучения физики в Кейсе Кнут познакомился с IBM 650 , ранним коммерческим компьютером . Прочитав руководство к компьютеру, Кнут решил переписать код ассемблера и компилятора для машины, используемой в его школе, потому что он считал, что сможет сделать это лучше. [12]

В 1958 году Кнут создал программу, которая должна была помочь школьной баскетбольной команде побеждать в играх. [13] Он присваивал игрокам «ценности», чтобы оценить вероятность набора ими очков, — новый подход, о котором позже сообщили Newsweek и CBS Evening News . [12]

Кнут был одним из основателей журнала Engineering and Science Review Института Кейса , который в 1959 году получил национальную премию как лучший технический журнал. [14] [15] Затем он переключился с физики на математику и в 1960 году получил от Кейса две степени: [11] степень бакалавра наук и одновременно степень магистра наук по специальной награде факультета, который считал его работу исключительно выдающейся. [4] [12]

В конце своего последнего года обучения в Case в 1960 году Кнут предложил Burroughs Corporation написать компилятор ALGOL для B205 за 5500 долларов. Предложение было принято, и он работал над компилятором ALGOL между окончанием Case и поступлением в Caltech . [7] : 66  [16] : 7 

В 1963 году под руководством математика Маршалла Холла [2] он получил степень доктора философии по математике в Калифорнийском технологическом институте , защитив диссертацию под названием «Конечные полуполя и проективные плоскости» . [17]

Ранние работы

В 1963 году, получив докторскую степень, Кнут присоединился к преподавательскому составу Калтеха в качестве доцента. [18]

Работая в Caltech и после успеха компилятора Burroughs B205 ALGOL, он стал консультантом Burroughs Corporation, присоединившись к отделу планирования продукции. В Caltech он работал математиком, а в Burroughs — программистом, работая с людьми, которых он считал лучшими на тот момент программными средствами для компилятора ALGOL для компьютера B220 (преемника B205). [7] : 9 

Ему предложили контракт на 100 000 долларов на написание компиляторов в Green Tree Corporation, но он отказался, решив не оптимизировать доход, и продолжил работу в Caltech и Burroughs. Он получил стипендию Национального научного фонда и стипендию Фонда Вудро Вильсона, но у них было условие, что вы не можете делать ничего другого, кроме как учиться в аспирантуре, поэтому он не сможет продолжить работу в качестве консультанта в Burroughs. Он решил отказаться от стипендий и продолжил работу в Burroughs. [7] : 12  Летом 1962 года он написал компилятор FORTRAN для Univac, но посчитал, что «продал душу дьяволу», чтобы написать компилятор FORTRAN. [7] : 15 

После окончания университета Кнут вернулся в Берроуз в июне 1961 года, но не сказал им, что получил степень магистра, а не ожидаемую степень бакалавра. Впечатленный синтаксической таблицей АЛГОЛА, таблицей символов, подходом рекурсивного спуска и разделением функций сканирования, анализа и генерации компилятора, Кнут предложил расширение таблицы символов, чтобы один символ мог обозначать строку символов. Это стало основой DEFINE в АЛГОЛЕ Берроуза, которая с тех пор была принята другими языками. Однако некоторым эта идея действительно не понравилась, и они хотели убрать DEFINE. Последним, кто считал, что это ужасная идея, был Эдсгер Дейкстра во время визита в Берроуз. [16] : 17 

Кнут работал над языками моделирования в Burroughs, создавая SOL 'Simulation Oriented Language', усовершенствование современного уровня, совместно разработанное с Дж. Макнили. Он посетил конференцию в Норвегии в мае 1967 года, организованную людьми, которые изобрели язык Simula. Кнут повлиял на Burroughs, чтобы использовать Simula. [19] [20] Кнут долгое время сотрудничал с Burroughs в качестве консультанта с 1960 по 1968 год, пока не перешел на более академическую работу в Стэнфорде в 1969 году. [21] [22]

В 1962 году Кнут принял заказ от Addison-Wesley на написание книги о компиляторах языков программирования . Работая над этим проектом, он решил, что не сможет адекватно рассмотреть эту тему без предварительной разработки фундаментальной теории программирования, которая стала «Искусством программирования» . Первоначально он планировал опубликовать ее как отдельную книгу, но по мере разработки плана книги он пришел к выводу, что ему потребуется шесть томов, а затем и семь, чтобы полностью охватить эту тему. Он опубликовал первый том в 1968 году. [23]

Незадолго до публикации первого тома «Искусства программирования » Кнут покинул Калтех, чтобы поступить на работу в Отдел исследований в области коммуникаций Института оборонного анализа [24] , который тогда располагался в кампусе Принстона и проводил математические исследования в области криптографии для поддержки Агентства национальной безопасности .

В 1967 году Кнут посетил конференцию Общества промышленной и прикладной математики , и кто-то спросил, чем он занимается. В то время компьютерная наука была разделена на численный анализ , искусственный интеллект и языки программирования . Основываясь на своем исследовании и книге «Искусство программирования» , Кнут решил, что в следующий раз, когда его спросят, он скажет: «Анализ алгоритмов». [25]

В 1969 году Кнут оставил свою должность в Принстоне, чтобы присоединиться к факультету Стэнфордского университета , [26] где он стал профессором компьютерных наук имени Флетчера Джонса в 1977 году. Он стал профессором искусства компьютерного программирования в 1990 году и является почетным профессором с 1993 года. [27] [28]

Сочинения

Кнут — писатель, а также специалист по информатике. [18]

Искусство программирования(ТАОСП)

«Лучший способ общения одного человека с другим — это история».

—  Дональд Кнут [25]

В 1970-х годах Кнут назвал компьютерную науку «совершенно новой областью без реальной идентичности. И стандарт доступных публикаций был не таким уж высоким. Многие из выходящих статей были просто неверными. ... Поэтому одним из моих побуждений было изложить историю, которая была очень плохо рассказана». [29]

С 1972 по 1973 год Кнут провел год в Университете Осло среди таких людей, как Оле-Йохан Даль . Именно там он изначально намеревался написать седьмой том своей серии книг, который должен был касаться языков программирования. Но Кнут закончил только первые два тома, когда приехал в Осло, и поэтому провел год над третьим томом, параллельно с преподаванием. Третий том вышел сразу после того, как Кнут вернулся в Стэнфорд в 1973 году. [30]

К 2011 году был опубликован том 4A. [23] «Конкретная математика: основа компьютерной науки», 2-е изд., которая возникла как расширение раздела математических предварительных сведений тома 1 TAoCP , была опубликована в 1994 году. В апреле 2020 года Кнут заявил, что, по его ожиданиям, том 4 будет содержать по крайней мере части от A до F. [25] Том 4B был опубликован в октябре 2022 года.

Другие работы

Кнут также является автором «Сюрреалистических чисел » [31], математической повести о построении теории множеств Джона Конвея альтернативной системы чисел. Вместо того, чтобы просто объяснять предмет, книга стремится показать развитие математики. Кнут хотел, чтобы книга подготовила студентов к проведению оригинальных, творческих исследований.

В 1995 году Кнут написал предисловие к книге A=B Марко Петковшека , Герберта Вилфа и Дорона Зейлбергера . [32] Он также время от времени вносит свой вклад в решение языковых головоломок в Word Ways: The Journal of Recreational Linguistics . [33]

Кнут углубился в развлекательную математику . Он писал статьи в журнал «Журнал развлекательной математики» с 1960-х годов и был признан основным автором книги Джозефа Мадахи « Математика на каникулах » . [34]

Кнут также появляется в ряде видеороликов Numberphile [35] и Computerphile на YouTube , где он обсуждает темы от написания сюрреалистических чисел [36] до того, почему он не пользуется электронной почтой. [37]

Кнут предложил название « алгоритмология » как лучшее название для дисциплины компьютерной науки. [38]

Работы о его религиозных убеждениях

В дополнение к своим трудам по информатике, Кнут, лютеранин , [39] также является автором книги 3:16 Bible Texts Illuminated , [40], в которой он исследует Библию с помощью процесса систематической выборки , а именно анализа главы 3, стиха 16 каждой книги. Каждый стих сопровождается каллиграфическим переводом, выполненным группой каллиграфов во главе с Германом Цапфом . Кнут был приглашен прочесть серию лекций в Массачусетском технологическом институте о взглядах на религию и информатику, лежащих в основе его проекта 3:16, что привело к появлению еще одной книги, Things a Computer Scientist Rarely Talks About , в которой он опубликовал лекции God and Computer Science . [41]

Мнение о патентах на программное обеспечение

Кнут решительно выступает против выдачи патентов на программное обеспечение для тривиальных решений, которые должны быть очевидными, но выразил более тонкие взгляды на нетривиальные решения, такие как метод внутренней точки линейного программирования . [42] Он выразил свое несогласие напрямую как в Патентном ведомстве США , так и в Европейской патентной организации . [43]

Программирование

Цифровой набор текста

В 1970-х годах издатели TAOCP отказались от Monotype в пользу фотонабора . Кнут был настолько разочарован неспособностью последней системы приблизиться к качеству предыдущих томов, которые были набраны с помощью старой системы, что он взял тайм-аут, чтобы заняться цифровым набором, и создал TeX и Metafont . [44]

Грамотное программирование

Разрабатывая TeX, Кнут создал новую методологию программирования, которую он назвал грамотным программированием , поскольку считал, что программисты должны думать о программах как о литературных произведениях:

Вместо того чтобы воображать, что наша главная задача — указывать компьютеру, что делать, давайте сосредоточимся на объяснении людям того, что мы хотим, чтобы делал компьютер. [45]

Кнут воплотил идею грамотного программирования в системе WEB . Тот же исходный код WEB используется для плетения файла TeX и для запутывания исходного файла Pascal . Они, в свою очередь, производят читаемое описание программы и исполняемый двоичный файл соответственно. Более поздняя итерация системы, CWEB , заменяет Pascal на C , C++ и Java . [46]

Кнут использовал WEB для программирования TeX и METAFONT и опубликовал обе программы в виде книг, обе первоначально были опубликованы в одном и том же году: TeX: The Program (1986); и METAFONT: The Program (1986). [47] Примерно в то же время, LaTeX , ныне широко используемый пакет макросов на основе TeX, был впервые разработан Лесли Лэмпортом , который позже опубликовал его первое руководство пользователя в 1986 году. [48]

Личная жизнь

Дональд Кнут женился на Нэнси Джилл Картер 24 июня 1961 года, когда он был аспирантом Калифорнийского технологического института. У них двое детей: Джон Мартин Кнут и Дженнифер Сьерра Кнут. [49]

Кнут несколько раз в год читает неформальные лекции в Стэнфордском университете , которые он называет «Computer Musings». Он был приглашенным профессором на кафедре компьютерных наук Оксфордского университета в Соединенном Королевстве до 2017 года и почетным членом колледжа Магдалины . [50] [51]

Кнут — органист и композитор . Он и его отец служили органистами в лютеранских общинах. У Кнута и его жены дома есть 16-го ранга орган. [52] В 2016 году он закончил произведение для органа Fantasia Apocalyptica , которое он называет «переводом греческого текста Откровения Святого Иоанна Богослова на музыку». Премьера состоялась в Швеции 10 января 2018 года. [53]

китайское имя

Китайское имя Кнута — Гао Дена ( упрощенный китайский :高德纳; традиционный китайский :高德納; пиньинь : Gāo Dénà ). [54] [3] Это имя он получил в 1977 году от Фрэнсис Яо незадолго до трехнедельной поездки в Китай . [3] [55] В китайском переводе 1-го тома «Искусства программирования» ( упрощенный китайский :计算机程序设计艺术; традиционный китайский :計算機程式設計藝術; пиньинь : Jìsuànjī chéngxù shèjì yìshù ) Кнут объясняет, что он принял свое китайское имя, потому что он хотел, чтобы его знали все большее число программистов в Китае в то время. В 1989 году его китайское имя было помещено в заголовок журнала «Компьютерная наука и технологии » , что, по словам Кнута, «заставляет меня чувствовать себя близким ко всем китайцам, хотя я не могу говорить на вашем языке». [55]

Проблемы со здоровьем

В 2006 году у Кнута диагностировали рак простаты . В декабре того же года он перенес операцию и сказал в своей видеоавтобиографии: «немного лучевой терапии... в качестве меры предосторожности, но прогноз выглядит довольно хорошим». [56]

Юмор

Один из чеков на вознаграждение Кнута

Кнут платил гонорар за обнаружение ошибок или опечаток в размере 2,56 долл. за любые типографские ошибки или ошибки, обнаруженные в его книгах, потому что «256 пенни — это один шестнадцатеричный доллар», и 0,32 долл. за «ценные предложения». Согласно статье в Technology Review Массачусетского технологического института , эти чеки вознаграждения Кнута «являются одними из самых ценных трофеев компьютерного мира». Кнуту пришлось прекратить отправлять настоящие чеки в 2008 году из-за банковского мошенничества, и теперь он выдает каждому находчику ошибки «сертификат депозита» с публично зарегистрированного баланса в его фиктивном «Банке Сан-Серрифе ». [57]

Однажды он предупредил корреспондента: «Остерегайтесь ошибок в приведенном выше коде; я только доказал его правильность, а не пробовал его». [3]

Кнут опубликовал свою первую «научную» статью в школьном журнале в 1957 году под названием « Система мер и весов Потшебие ». В ней он определил фундаментальную единицу длины как толщину Mad No. 26 и назвал фундаментальную единицу силы «whatmeworry». Mad опубликовал статью в выпуске No. 33 (июнь 1957 года). [58] [ 59]

Чтобы продемонстрировать концепцию рекурсии , Кнут намеренно соотнес «Циклическое определение» и «Циклическое определение» друг с другом в индексе « Искусства программирования» , том 1 .

В предисловии к «Конкретной математике» есть следующий абзац:

Когда DEK впервые преподавал Конкретную математику в Стэнфорде, он объяснил несколько странное название тем, что это была его попытка преподавать математический курс, который был бы жестким, а не мягким. Он объявил, что, вопреки ожиданиям коллег, он не будет преподавать Теорию агрегатов, ни Теорему вложения Стоуна , ни даже Компактификацию Стоуна–Чеха . (Несколько студентов с кафедры гражданского строительства встали и тихо вышли из аудитории.)

На конференции TUG 2010 Кнут анонсировал сатирический XML -преемник TeX под названием «iTeX» ( произносится [iː˨˩˦tɛks˧˥] , исполняется со звоном колокола), который будет поддерживать такие функции, как произвольно масштабируемые иррациональные единицы, 3D-печать , ввод с сейсмографов и кардиомониторов, анимацию и стереофонический звук. [60] [61] [62]

Награды и почести

В 1971 году Кнут получил первую премию ACM Grace Murray Hopper Award . [4] Он получил множество других наград, включая премию Тьюринга , Национальную медаль науки , медаль Джона фон Неймана и премию Киото . [4]

В 1980 году Кнут был избран почетным членом Британского компьютерного общества (DFBCS) в знак признания его вклада в область компьютерных наук. [63]

В 1990 году ему было присвоено уникальное ученое звание «Профессор искусства программирования» ; с тех пор это звание было изменено на « Почетный профессор искусства программирования» .

Кнут был избран в Национальную академию наук в 1975 году. Он также был избран членом Национальной инженерной академии в 1981 году за организацию обширных предметных областей компьютерной науки, чтобы они были доступны всем сегментам компьютерного сообщества. В 1992 году он стал ассоциированным членом Французской академии наук . Также в том же году он ушел из регулярных исследований и преподавания в Стэнфордском университете , чтобы закончить «Искусство компьютерного программирования» . Он был избран иностранным членом Королевского общества (ForMemRS) в 2003 году . [1]

Кнут был избран членом (первым классом) Общества промышленной и прикладной математики в 2009 году за выдающийся вклад в математику. [64] Он является членом Норвежской академии наук и литературы . [65] В 2012 году он стал членом Американского математического общества [66] и членом Американского философского общества . [67] Другие награды и почести включают в себя:

Публикации

Краткий список его публикаций включает: [82]

Искусство программирования :

  1. ——— (1997). Искусство программирования . Том 1: Фундаментальные алгоритмы (3-е изд.). Addison-Wesley Professional. ISBN 978-0-201-89683-1.
  2. ——— (1997). Искусство программирования . Том 2: Получисленные алгоритмы (3-е изд.). Addison-Wesley Professional. ISBN 978-0-201-89684-8.
  3. ——— (1998). Искусство программирования . Том 3: Сортировка и поиск (2-е изд.). Addison-Wesley Professional. ISBN 978-0-201-89685-5.
  4. ——— (2011). Искусство программирования . Том 4А: Комбинаторные алгоритмы, часть 1. Addison-Wesley Professional. ISBN 978-0-201-03804-0.
  5. ——— (2022). Искусство программирования . Том 4B: Комбинаторные алгоритмы, часть 2. Addison-Wesley Professional. ISBN 978-0-201-03806-4.
  6. ——— (2005). MMIX — RISC-компьютер для нового тысячелетия . Том 1, выпуск 1. ISBN 978-0-201-85392-6.
  7. ——— (2008). Искусство программирования . Том 4, выпуск 0: Введение в комбинаторные алгоритмы и булевы функции. Addison-Wesley. ISBN 978-0-321-53496-5.
  8. ——— (2009). Искусство программирования . Том 4, Выпуск 1: Побитовые приемы и методы, Диаграммы двоичных решений. Эддисон-Уэсли. ISBN 978-0-321-58050-4.
  9. ——— (2005). Искусство программирования . Том 4, Выпуск 2: Генерация всех кортежей и перестановок. Addison-Wesley. ISBN 978-0-201-85393-3.
  10. ——— (2005). Искусство программирования . Том 4, Выпуск 3: Генерация всех комбинаций и разделов. ISBN 978-0-201-85394-0.
  11. ——— (2006). Искусство программирования . Том 4, Выпуск 4: Генерация всех деревьев — История комбинаторной генерации. Addison-Wesley. ISBN 978-0-321-33570-8.
  12. ——— (2018). Искусство программирования . Том 4, выпуск 5: Математические предварительные сведения Redux, возврат, танцевальные ссылки. ISBN 978-0-134-67179-6.
  13. ——— (2015). Искусство программирования . Том 4, Выпуск 6: Выполнимость. ISBN 978-0-134-39760-3.

Компьютеры и набор текста (все книги в твердом переплете, если не указано иное):

  1. ——— (1984). Компьютеры и набор текста . Том A, The TeXbook. Рединг, Массачусетс : Addison-Wesley. ISBN 978-0-201-13447-6., х+483стр.
  2. ——— (1984). Компьютеры и набор текста. Том A, The TeXbook. Рединг, Массачусетс : Addison-Wesley. ISBN 978-0-201-13448-3.(мягкая обложка).
  3. ——— (1986). Компьютеры и набор текста. Том B, TeX: Программа. Reading, MA : Addison-Wesley. ISBN 978-0-201-13437-7., xviii+600стр.
  4. ——— (1986). Компьютеры и набор текста. Том C, The METAFONTbook. Рединг, Массачусетс : Addison-Wesley. ISBN 978-0-201-13445-2., xii+361стр.
  5. ——— (1986). Компьютеры и набор текста . Том C, The METAFONTbook. Рединг, Массачусетс : Addison-Wesley. ISBN 978-0-201-13444-5.(мягкая обложка).
  6. ——— (1986). Компьютеры и набор текста . Том D, METAFONT: Программа. Reading, MA : Addison-Wesley. ISBN 978-0-201-13438-4., xviii+566стр.
  7. ——— (1986). Компьютеры и набор текста . Том E, Современные компьютерные шрифты. Рединг, Массачусетс : Addison-Wesley. ISBN 978-0-201-13446-9., xvi+588стр.
  8. ——— (2000). Компьютеры и набор . Том AE Boxed Set. Reading, MA : Addison-Wesley. ISBN 978-0-201-73416-4.

Сборники научных трудов:

  1. ——— (1992). Грамотное программирование . Конспект лекций. Стэнфорд, Калифорния : Центр изучения языка и информации — CSLI. ISBN 978-0-937073-80-3.[83]
  2. ——— (1996). Избранные статьи по информатике . Конспект лекций. Стэнфорд, Калифорния : Центр изучения языка и информации — CSLI. ISBN 978-1-881526-91-9.[84]
  3. ——— (1999). Цифровая типографика . Конспект лекций. Стэнфорд, Калифорния : Центр изучения языка и информации — CSLI. ISBN 978-1-57586-010-7.[85]
  4. ——— (2000). Избранные статьи по анализу алгоритмов . Заметки к лекциям. Стэнфорд, Калифорния : Центр изучения языка и информации — CSLI. ISBN 978-1-57586-212-5.[86]
  5. ——— (2003). Избранные статьи по компьютерным языкам . Конспект лекций. Стэнфорд, Калифорния : Центр изучения языка и информации — CSLI. ISBN 978-1-57586-381-8., ISBN 1-57586-382-0 (мягкая обложка) [87] 
  6. ——— (2003). Избранные статьи по дискретной математике . Конспект лекций. Стэнфорд, Калифорния : Центр изучения языка и информации — CSLI. ISBN 978-1-57586-249-1., ISBN 1-57586-248-4 (мягкая обложка) [88] 
  7. Дональд Э. Кнут, Избранные статьи по разработке алгоритмов (Стэнфорд, Калифорния: Центр изучения языка и информации — CSLI Lecture Notes, № 191), 2010. ISBN 1-57586-583-1 (ткань), ISBN 1-57586-582-3 (мягкая обложка) [89]  
  8. Дональд Э. Кнут, Избранные статьи о развлечениях и играх (Стэнфорд, Калифорния: Центр изучения языка и информации — CSLI Lecture Notes, № 192), 2011. ISBN 978-1-57586-585-0 (ткань), ISBN 978-1-57586-584-3 (мягкая обложка) [90]  
  9. Дональд Э. Кнут, Companion to the Papers of Donald Knuth (Стэнфорд, Калифорния: Центр изучения языка и информации — CSLI Lecture Notes, № 202), 2011. ISBN 978-1-57586-635-2 (ткань), ISBN 978-1-57586-634-5 (мягкая обложка) [91]  

Другие книги:

  1. Грэм, Рональд Л .; Кнут, Дональд Э.; Паташник, Орен (1994). Конкретная математика: Основа компьютерной науки (Второе изд.). Reading, MA: Addison-Wesley. ISBN 978-0-201-55802-9. МР  1397498. xiv+657 стр.
  2. Кнут, Дональд Эрвин (1974). Сюрреалистические числа: как два бывших студента обратились к чистой математике и обрели полное счастье: математическая повесть . Эддисон-Уэсли. ISBN 978-0-201-03812-5.[31]
  3. Дональд Э. Кнут, The Stanford GraphBase: A Platform for Combinatorial Computing (Нью-Йорк, ACM Press) 1993. Второе издание в мягкой обложке 2009. ISBN 0-321-60632-9 
  4. Дональд Э. Кнут, 3:16 Библейские тексты с иллюстрациями (Мэдисон, Висконсин: AR Editions), 1990. ISBN 0-89579-252-4 
  5. Дональд Э. Кнут, «То, о чем редко говорит специалист по информатике» (Центр изучения языка и информации — CSLI Lecture Notes № 136), 2001. ISBN 1-57586-326-X 
  6. Дональд Э. Кнут, MMIXware: RISC-компьютер для третьего тысячелетия (Гейдельберг: Springer-Verlag — Lecture Notes in Computer Science, № 1750), 1999. viii+550 стр. ISBN 978-3-540-66938-8 
  7. Дональд Э. Кнут и Сильвио Леви, Система структурированной документации CWEB (Рединг, Массачусетс: Addison-Wesley), 1993. iv+227 стр. ISBN 0-201-57569-8 . Третье издание 2001 г. с поддержкой гипертекста, ii + 237 стр. 
  8. Дональд Э. Кнут, Трейси Л. Ларраби и Пол М. Робертс, «Математическое письмо» (Вашингтон, округ Колумбия: Математическая ассоциация Америки), 1989. ii+115 стр. ISBN 978-0883850633 
  9. Дэниел Х. Грин и Дональд Э. Кнут, Математика для анализа алгоритмов (Бостон: Birkhäuser), 1990. viii+132 стр. ISBN 978-0817647285 
  10. Дональд Э. Кнут, Конюшни Мариажей: и отношения с другими комбинаторными проблемами (Монреаль: Les Presses de l'Université de Montréal) , 1976. 106 стр. ISBN 978-0840503428 
  11. Дональд Э. Кнут, Стабильный брак и его связь с другими комбинаторными проблемами: Введение в математический анализ алгоритмов. ISBN 978-0821806036 
  12. Дональд Э. Кнут, Аксиомы и оболочки (Гейдельберг: Springer-Verlag — Конспект лекций по информатике, № 606), 1992. ix+109 стр. ISBN 3-540-55611-7 

Смотрите также

Ссылки

  1. ^ ab "Professor Donald Knuth ForMemRS". Лондон: Королевское общество . Архивировано из оригинала 17 ноября 2015 г.
  2. ^ abc Дональд Кнут в проекте «Генеалогия математики»
  3. ^ abcd Кнут, Дональд Эрвин. "Часто задаваемые вопросы". Домашняя страница . Стэнфордский университет . Архивировано из оригинала 3 августа 2019 г. Получено 2 ноября 2010 г.
  4. ^ abcdefghi Уолден, Дэвид. «Дональд Э. Кнут - лауреат премии А. М. Тьюринга». Архивировано из оригинала 17 октября 2019 года . Проверено 14 декабря 2022 г.
  5. ^ Карп, Ричард М. (февраль 1986 г.). «Комбинаторика, сложность и случайность». Сообщения ACM . 29 (2): 98–109. doi : 10.1145/5657.5658 .
  6. ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. (октябрь 2015 г.), «Дональд Кнут», Архив истории математики MacTutor , Университет Сент-Эндрюс , дата обращения 2 июля 2021 г.
  7. ^ abcdef Фейгенбаум, Эдвард (2007). «Устная история Дональда Кнута» (PDF) . Музей компьютерной истории . Архивировано (PDF) из оригинала 9 декабря 2008 г. . Получено 17 сентября 2020 г. .
  8. ^ Молли Найт Раскин (2013). Нет лучшего времени: короткая, замечательная жизнь Дэнни Левина — гения, который изменил Интернет. Da Capo Press, Incorporated. С. 61–62. ISBN 978-0-306-82166-0.
  9. ^ Шаша, Деннис Эллиотт; Лазер, Кэти А. (1998). Сошли с ума: жизнь и открытия 15 великих ученых-компьютерщиков. Springer. стр. 90. ISBN 978-0-387-98269-4.
  10. ^ Кнут, Дональд (2011). Избранные статьи о развлечениях и играх . Центр изучения языка и информации — CSLI Lecture Notes, № 192. стр. 400. ISBN 978-1-57586-584-3.
  11. ^ ab "Donald E. Knuth". Encyclopedia.com . Получено 17 сентября 2020 г. .
  12. ^ abc Коши, Томас (2004). Дискретная математика с приложениями. Academic Press. стр. 244. ISBN 978-0-12-421180-3. Архивировано из оригинала 12 ноября 2012 г. . Получено 30 июля 2011 г. .
  13. ↑ Lyons, Keith (25 сентября 2018 г.). «Дональд Кнут, баскетбол и компьютеры в спорте». Архив Clyde Street . Архивировано из оригинала 16 августа 2019 г. Получено 16 августа 2019 г.
  14. ^ "Beta Nu of Theta Chi, History of Beta Nu Chapter". CWRU . Архивировано из оригинала 4 сентября 2016 г. Получено 15 апреля 2019 г.
  15. ^ "Beta Nu, Theta Chi". Theta Chi . Архивировано из оригинала 21 декабря 2019 г. Получено 21 декабря 2019 г.
  16. ^ ab Waychoff, Richard. «Истории о B5000 и людях, которые там были» (PDF) . Музей истории компьютеров .
  17. ^ Кнут, Дональд Эрвин (1963). Конечные полуполя и проективные плоскости (PDF) (PhD). Калифорнийский технологический институт .
  18. ^ ab Knuth, Donald Ervin. "Curriculum vitae". Стэнфордский университет. Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.
  19. ^ Даль, Оле-Йохан. «Рождение объектной ориентации: языки Simula» (PDF) .
  20. ^ "Биография".
  21. ^ «Интервью с Ричардом Нэнсом 2013».
  22. ^ Даль, Оле-Йохан. «Рождение объектной ориентации: языки Simula».
  23. ^ ab Knuth, Donald Ervin (3 августа 2019 г.). «Искусство программирования компьютеров (TAOCP)». Архивировано из оригинала 3 августа 2019 г. Получено 6 февраля 2018 г.
  24. ^ "Институт оборонного анализа". ИНФОРМАЦИЯ . 27 августа 2021 г. Получено 8 января 2024 г.
  25. ^ abc D'Agostino, Susan (16 апреля 2020 г.). «Ученый-компьютерщик, который не может перестать рассказывать истории». Журнал Quanta . Получено 19 апреля 2020 г.
  26. ^ "Timeline". Computer Science @ Stanford - Spotlight at Stanford . 21 июня 2019 г. Получено 8 января 2024 г.
  27. ^ Кнут, Дональд Эрвин. "Домашняя страница". Стэнфордский университет . Архивировано из оригинала 27 ноября 2019 года . Получено 16 марта 2005 года .
  28. ^ "Дональд Кнут". Профили . Стэнфордский университет. Архивировано из оригинала 12 июня 2016 г. Получено 24 августа 2020 г.
  29. ^ "BBVA Foundation Frontiers of Knowledge Awards". Архивировано из оригинала 19 августа 2016 г. Получено 15 октября 2016 г.
  30. ^ «Publikasjonen «Datahistorien ved Universitetet i Oslo - Institutt for informationatikk 1977–1997» utgitt» [Опубликована публикация «История компьютеров в Университете Осло - факультет информатики 1977–1997 гг.»]. Университет Осло (на норвежском языке). 1997. Архивировано из оригинала 29 апреля 2021 года . Проверено 29 апреля 2021 г.
  31. ^ ab Knuth, Donald Ervin. "Surreal numbers". Домашняя страница . Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.
  32. ^ Zeilberg. "DEK". Rutgers. Архивировано из оригинала 28 августа 2017 г. Получено 26 марта 2020 г.
  33. ^ "The Linguist List -- Journal Page". linguistlist.org . Архивировано из оригинала 11 июня 2021 г. . Получено 14 декабря 2022 г. .
  34. ^ Мадачи, Джозеф С., Математика на каникулах , Thomas Nelson & Sons Ltd. 1966
  35. ^ "Видео о числах и прочем". Numberphile . Архивировано из оригинала 4 ноября 2018 г. Получено 16 августа 2019 г.
  36. ↑ Numberphile (27 июня 2016 г.), Surreal Numbers (написание первой книги) - Numberphile, заархивировано из оригинала 11 декабря 2021 г. , извлечено 19 июля 2019 г.
  37. ↑ Computerphile (21 августа 2015 г.), Почему Дон Кнут не использует электронную почту - Computerphile, заархивировано из оригинала 11 июля 2018 г. , извлечено 19 июля 2019 г.
  38. ^ Беркхолдер, Лесли (1992). Философия и компьютер . Тейлор и Фрэнсис. ISBN 9780429301629.
  39. ^ Платони 2006.
  40. ^ Кнут, Дональд Эрвин (1991). 3:16: Иллюстрированные тексты Библии . Мэдисон, Висконсин : AR Eds. ISBN 978-0-89579-252-5.
  41. ^ Кнут, Дональд Эрвин (2001). Вещи, о которых редко говорит компьютерный ученый . Стэнфорд, Калифорния: Центр изучения языка и информационных публикаций. ISBN 978-1-57586-326-9.
  42. ^ "Ответы на все вопросы" (PDF) . Уведомления (статья). Март 2002 г. Архивировано (PDF) из оригинала 30 апреля 2019 г. . Получено 26 марта 2020 г. .
  43. ^ Кнут, Дональд Эрвин. «Против патентов на программное обеспечение» (PDF) . Архивировано из оригинала (PDF) 24 сентября 2015 г. . Получено 1 февраля 2020 г. Письмо{{cite web}}: CS1 maint: постскриптум ( ссылка )в патентные ведомства США и Европы.
  44. ^ Кнут, Дональд Эрвин (1997). "Цифровая типографика (Лекция Киотской премии, 1996)" (PDF) . Архивировано из оригинала (PDF) 27 января 2018 г.
  45. ^ Кнут, Дональд Эрвин (1984). «Грамотное программирование» (PDF) . Архивировано из оригинала (PDF) 19 августа 2019 года . Получено 26 марта 2020 года .
  46. ^ «Кнут и Леви: CWEB».
  47. ^ Кнут, Дональд (11 апреля 2019 г.). «Кнут: Компьютеры и набор текста». www-cs-faculty.stanford.edu . Архивировано из оригинала 11 апреля 2019 г. . Получено 19 июля 2019 г. .
  48. ^ Лампорт, Лесли (1986). LATEX: система подготовки документов . Addison-Wesley Pub. Co. ISBN 020115790X. OCLC  12550262.
  49. ^ O'Connor, JJ; Robertson, EF (2015). "Donald Ervin Knuth". University of St Andrews . Архивировано из оригинала 5 октября 2017 года . Получено 20 октября 2017 года .
  50. ^ "Профессор Дональд Кнут". Колледж Магдалины. Архивировано из оригинала 4 января 2011 г. Получено 6 декабря 2010 г.
  51. ^ "Notices". Oxford University Gazette . 30 октября 2014 г. Архивировано из оригинала 15 мая 2015 г. Получено 21 мая 2015 г.
  52. ^ "Орган Дона и Джилл Кнут" . Получено 11 января 2023 г. – через Stanford.edu.
  53. ^ de Groot, Martin (3 ноября 2018 г.). «Искусство и культура: Эрудит использует свой гений для создания мультимедийного произведения для духового органа». Waterloo Region Record .
  54. ^ Ройтенауэр, Артур. «Краткая история TeX, том II». TUGboat : 68–72. ISSN  0896-3207.
  55. ^ ab Knuth, Donald Ervin (1980).计算机程序设计技巧 (Ji suan ji cheng xu she ji ji qiao) [ Искусство программирования ]. Перевод Guan, JiWen; Su, Yunlin. Пекин: Defense Industry Publishing Co. Я искренне надеюсь, что многие китайские программисты узнают мое китайское имя Гао Дена, которое мне дал Фрэнсис Яо как раз перед моим визитом в вашу страну в 1977 году. У меня до сих пор остались очень приятные воспоминания о том трехнедельном визите, и я рад видеть Гао Дена на титульном листе журнала Journal of Computer Science and Technology с 1989 года. Это имя заставляет меня чувствовать себя близким ко всем китайцам, хотя я не говорю на вашем языке.
  56. ^ "Дональд Кнут: 85 – Борьба с раком". Web of Stories . Апрель 2006. Получено 4 февраля 2021 г.
  57. ^ "Переписывая Библию нулями и единицами". Обзор технологий . Архивировано из оригинала 9 июля 2022 г.
  58. ↑ Кнут, Дональд Эрвин (июнь 1957 г.). «Система мер и весов Потшебие». Журнал Mad Magazine . № 33. Архивировано из оригинала 6 ноября 2018 г. Получено 26 марта 2020 г.
  59. ^ Киддер, Трейси (2016). Грузовик, полный денег . Random House . стр. 68. ISBN 9780812995244.
  60. ^ Кнут, Дон (2010). "TUG". Zeeba TV. Архивировано из оригинала 25 марта 2016 г. Получено 26 марта 2020 г. конференция{{cite web}}: CS1 maint: postscript (link)
  61. ^ Кнут, Дональд Эрвин, Потрясающее заявление, видеозапись Zeeba TV{{citation}}: CS1 maint: postscript (link)
  62. ^ Кнут, Дональд Эрвин (2010). «Землетрясающее объявление» (PDF) . TUGboat . 31 (2): 121–24. ISSN  0896-3207. Архивировано (PDF) из оригинала 13 апреля 2019 г. . Получено 26 марта 2020 г. .
  63. ↑ Anon (2016). «Список выдающихся ученых». British Computer Society. Архивировано из оригинала 4 марта 2016 года . Получено 10 сентября 2014 года .
  64. ^ "Fellows". Siam. 2009. Архивировано из оригинала 21 апреля 2019 года . Получено 26 марта 2020 года .
  65. ^ "Gruppe 1: Matematiske fag" (на норвежском). Норвежская академия наук и литературы . Архивировано из оригинала 10 ноября 2013 года . Получено 7 октября 2010 года .
  66. ^ "Члены Американского математического общества" . Получено 14 декабря 2022 г.
  67. ^ "История члена APS". search.amphilsoc.org . Получено 19 марта 2021 г. .
  68. ^ Knuth, DE (1974). «Компьютерная наука и ее связь с математикой». Amer. Math. Monthly . 81 (4): 323–343. doi :10.2307/2318994. JSTOR  2318994. Архивировано из оригинала 20 февраля 2019 г. Получено 26 марта 2020 г.
  69. ^ Knuth, DE (1992). «Две заметки о нотации». Amer. Math. Monthly . 99 (5): 403–422. arXiv : math/9205211 . Bibcode : 1992math......5211K. doi : 10.2307/2325085. JSTOR  2325085. S2CID  119584305. Архивировано из оригинала 20 февраля 2019 г. Получено 26 марта 2020 г.
  70. ^ "Лекции Джозайи Уилларда Гиббса". Американское математическое общество . Архивировано из оригинала 7 октября 2016 года . Получено 15 октября 2016 года .
  71. ^ Кнут, Дональд Э. (1979). «Математическая типографика» (PDF) . Bull. Amer. Math. Soc. (NS) . 1 (2): 337–372. doi : 10.1090/s0273-0979-1979-14598-1 . MR  0520078. Архивировано (PDF) из оригинала 28 сентября 2015 г. . Получено 1 июня 2022 г. .
  72. ^ "Национальная медаль президента в области науки: сведения о получателе - NSF - Национальный научный фонд". www.nsf.gov . Архивировано из оригинала 23 ноября 2018 г. . Получено 26 марта 2020 г. .
  73. ^ "Лауреаты Золотой пластины Американской академии достижений". www.achievement.org . Американская академия достижений .
  74. ^ "Харви". IL : Technion. 1995. Архивировано из оригинала 21 июля 2011 года.
  75. ^ "Donald Knuth: 1998 Fellow". Computer History Museum . 2015. Архивировано из оригинала 13 марта 2018 года . Получено 12 марта 2018 года .
  76. ^ "21656 Knuth (1999 PX1)". Minor Planet Center . Архивировано из оригинала 8 мая 2016 года . Получено 23 февраля 2019 года .
  77. ^ "Архив MPC/MPO/MPS". Minor Planet Center . Архивировано из оригинала 5 марта 2019 года . Получено 23 февраля 2019 года .
  78. ^ "Katayanagi". CMU. Архивировано из оригинала 15 июня 2019 г. Получено 6 января 2020 г.
  79. ^ Galardonados (2010). "Fronteras" (на испанском языке). ES : FBBVA. Архивировано из оригинала 19 августа 2016 года.
  80. ↑ Myers, Andrew (1 июня 2001 г.). «Дон Кнут из Стэнфорда, герой-первопроходец в области компьютерного программирования». Stanford Report . Архивировано из оригинала 23 июня 2011 г. Получено 27 июня 2011 г.
  81. ^ Кнут, Дональд. «Проблемы, которые бы понравились Филиппу» (PDF) . Стэнфордский университет. Архивировано (PDF) из оригинала 16 марта 2018 г. . Получено 23 марта 2022 г. .
  82. ^ Кнут, Дональд Эрвин. «Книги». Домашняя страница (список). Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.
  83. ^ Кнут, Дональд Эрвин. "Грамотное программирование". Домашняя страница . Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.
  84. ^ Кнут, Дональд Эрвин. «Избранные статьи по информатике». Домашняя страница . Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.
  85. ^ Кнут, Дональд Эрвин (1983). «Цифровая типографика». Scientific American . 249 (2): 106–119. Bibcode : 1983SciAm.249b.106B. doi : 10.1038/scientificamerican0883-106. Архивировано из оригинала 5 мая 2019 г. Получено 26 марта 2020 г.
  86. ^ Кнут, Дональд Эрвин. «Избранные статьи по анализу алгоритмов». Домашняя страница . Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.
  87. ^ Кнут, Дональд Эрвин. «Избранные статьи о компьютерных языках». Домашняя страница . Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.
  88. ^ Кнут, Дональд Эрвин. "Избранные статьи по дискретной математике". Домашняя страница . Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.
  89. ^ Кнут, Дональд Эрвин. «Избранные статьи по проектированию алгоритмов». Домашняя страница . Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.
  90. ^ Кнут, Дональд Эрвин. «Избранные статьи о развлечениях и играх». Домашняя страница . Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.
  91. ^ Кнут, Дональд Эрвин. «Companion to the Papers of Donald Knuth». Домашняя страница . Архивировано из оригинала 3 августа 2019 г. Получено 26 марта 2020 г.

Библиография

Внешние ссылки