Николас Говерт де Брейн

голландский математик

Профессор, доктор Н.Г. де Брюйн, 1947 г.

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

Биография

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

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

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

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

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

Работа

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

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

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

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

Публикации

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

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

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

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

Примечания

1. Отдельно Говерт произносится [ˈɣoːvərt] .

Ссылки

1. Некролог Аба Николааса Говерта де Брейна. Архивировано 25 апреля 2013 г. в Wayback Machine , 2012 г.
2. MacTutor Архив истории математики : Николаас Говерт де Брейн. «Николаас де Брейн - Биография». Архивировано из оригинала 1 октября 2012 г. Проверено 8 февраля 2021 г.{{cite web}}: CS1 maint: бот: исходный статус URL неизвестен ( ссылка )
3. Николаас Говерт де Брейн в проекте «Математическая генеалогия»
4. «Николаас Говерт де Брейн (1918–2012)» (на голландском языке). Королевская Нидерландская академия искусств и наук . Проверено 17 июля 2015 г.
5. de Bruijn, NG (1981). "Алгебраическая теория непериодических мозаик Пенроуза плоскости. I". Indagationes Mathematicae (Proceedings) . 84 : 39–52. doi : 10.1016/1385-7258(81)90016-0 .
6. de Bruijn, NG (1981). "Алгебраическая теория непериодических мозаик Пенроуза плоскости. II". Indagationes Mathematicae (Proceedings) . 84 : 53–66. doi : 10.1016/1385-7258(81)90017-2 .

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

• Некролог Николааса Говерта де Брейна
• Bruijn NG de Архивировано 04.03.2012 на Wayback Machine на win.tue.nl (на голландском)