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

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

Николас Говерт (Дик ) де Брейн (голландский: ; 9 июля 1918 - 17 февраля 2012) был голландским математиком, отмечен своим большим вкладом в области анализа, теории чисел, комбинаторики и логики.

Содержание

• 1 Биография
• 2 Работа
• 3 Публикации
• 4 См. Также
• 5 Ссылки
• 6 Внешние ссылки

Биография

Родился в Гааге. Де Брёйн получил степень магистра математики в Лейденском университете в 1941 году. защитил докторскую диссертацию в 1943 году в Амстердамском университете, защитив диссертацию на тему «Over modulaire vormen van meer veranderlijken» под руководством Юрьена Фердинанда Коксма.

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

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

Работа

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

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

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

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

Публикации

Книги, выборка:

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

Статьи, выборка:

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

См. Также

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

Ссылки

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

На Викискладе есть материалы, связанные с Николаас Говерт де Брёйн (математик).

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