Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Николаас Говерт де Брёйн
Николаас де Брюйн.jpg
Родившийся( 1918-07-09 )9 июля 1918 г.
Гаага
Умер17 февраля 2012 г. (2012-02-17)(93 года)
Nuenen
Национальностьнидерландский язык
Альма-матерVrije Universiteit Amsterdam
ИзвестенПоследовательность
Де Брёйна Индекс Де Брёйна
Автомат
Научная карьера
ПоляМатематика
УчрежденияЭйндховенский технологический университет
ДокторантЮрьен Фердинанд Коксма
ДокторантыЙоханнес Рунненбург Стэн Акерманс

Николаас Говерт ( Дик ) де Брюйн ( голландский:  [nikoːˈlaːs ˈxoːvərt də brœyn] ; [1] 9 июля 1918 - 17 февраля 2012) был голландским математиком , известным своим большим вкладом в области анализа , теории чисел , комбинаторики и логики. . [2]

Биография [ править ]

Де Брёйн родился в Гааге, где он учился в начальной школе с 1924 по 1930 год и в средней школе до 1934 года. Он начал изучать математику в Лейденском университете в 1936 году, но его учеба была прервана началом Второй мировой войны в 1939 году. штатный ассистент кафедры математики Технологического университета Делфта в сентябре 1939 г., продолжая учебу. [3] Он закончил бакалавриат в Лейденском университете в 1941 году. Он получил докторскую степень в 1943 году в Vrije Universiteit Amsterdam, защитив диссертацию под названием «Over modulaire vormen van meer veranderlijken» под руководством Юрьена Фердинанда Коксма .[4]

С июня 1944 года он работал научным сотрудником в исследовательских лабораториях Philips в Эйндховене .

Он женился на Элизабет де Гроот 30 августа 1944 года. У пары было четверо детей: Джорина Алейда (родилась 19 января 1947 года), Франс Виллем (родилась 13 апреля 1948 года), Элизабет (родилась 24 ноября 1950 года) и Джудит Элизабет (родилась 31 марта 1963 года). ). [3]

Де Брейн начал свою академическую карьеру в Амстердамском университете , где он был профессором математики с 1952 по 1960 год. В 1960 году он перешел в Технический университет Эйндховена, где он был профессором математики до выхода на пенсию в 1984 году. [2] Среди его выпускников. учениками были Йоханнес Рунненбург (1960), Антониус Левелт (1961), С. Акерманс (1964), Йозеф Бинаккер (1966), В. ван дер Мейден (1967), Матеус Хаутус (1970), Роберт Недерпельт Лазар (1973), Ламберт ван Бентем Юттинг (1977), А. Янссен (1979), Дидерик ван Даален (1980) и Харманнус Балстерс (1986). [4]

В 1957 году он был назначен членом Королевской Нидерландской академии искусств и наук . [5] Он был посвящен в рыцари Ордена Нидерландского льва .

Работа [ править ]

Де Брёйн охватил многие области математики. Он особенно известен:

  • открытие последовательности Де Брейна ,
  • открытие алгебраической теории мозаики Пенроуза и, в более общем плане, открытие "проекционных" и "многосеточных" методов для построения квазипериодических мозаик, [6] [7]
  • постоянная Де Брейна – Ньюмана ,
  • теорема де Брейна-Erdős , в теории графов ,
  • другая теорема с тем же названием: теорема Де Брейна – Эрдеша в геометрии инцидентности ,
  • ЛУЧШАЯ теорема в теории графов и
  • Индексы Де Брёйна .

Он написал одну из стандартных книг по продвинутому асимптотическому анализу (De Bruijn, 1958).

В конце шестидесятых он разработал язык Automath для представления математических доказательств, чтобы их можно было проверять автоматически (см. Автоматическая проверка теорем ). Незадолго до смерти он работал над моделями человеческого мозга .

Публикации [ править ]

Книги, подборка:

  • 1943. Over modulaire vormen van meer veranderlijken.
  • 1958. Асимптотические методы анализа, Северная Голландия, Амстердам.

Статьи, подборка:

  • де Брёйн, Николаас Говерт. «Комбинаторная задача», 1946. В трудах Секции наук, т. 49, No. 7, pp. 758–764. Koninklijke Nederlandse Akademie v. Wetenschappen.
  • де Брёйн, Николаас Говерт. « Математический язык AUTOMATH, его использование и некоторые его расширения ». Симпозиум по автоматической демонстрации. Springer Berlin Heidelberg, 1970 год.
  • де Брёйн, Николаас Говерт. « Нотация лямбда-исчисления с безымянными манекенами, инструмент для автоматического манипулирования формулами, с приложением к теореме Черча-Россера ». Indagationes Mathematicae (Труды). Vol. 75. № 5. Северная Голландия, 1972.

См. Также [ править ]

  • Последовательность Мозера – де Брейна

Ссылки [ править ]

  1. ^ В отдельности Говерт произносится[ˈƔoːvərt] .
  2. ^ a b Некролог Николааса Говерта де Брюйна. Архивировано 25 апреля 2013 г. на Wayback Machine 2012.
  3. ^ a b Архив истории математики MacTutor : Николаас Говерт де Брюйн. Архивировано 2 октября 2013 года на Wayback Machine.
  4. ^ a b Николаас Говер де Брёйн в проекте « Математическая генеалогия»
  5. ^ «Николаас Говерт де Брюйн (1918–2012)» (на голландском языке). Королевская Нидерландская академия искусств и наук . Проверено 17 июля 2015 года .
  6. ^ Де Брейна, NG (1981). "Алгебраическая теория непериодических мозаик Пенроуза плоскости. I" . Indagationes Mathematicae (Труды) . 84 : 39–52. DOI : 10.1016 / 1385-7258 (81) 90016-0 .
  7. ^ Де Брейна, NG (1981). "Алгебраическая теория непериодических мозаик Пенроуза плоскости. II" . Indagationes Mathematicae (Труды) . 84 : 53–66. DOI : 10.1016 / 1385-7258 (81) 90017-2 .

Внешние ссылки [ править ]

  • Некролог Николааса Говерта де Брюйна
  • Bruijn NG de at win.tue.nl (на голландском языке)