Николаас Говерт де Брейн
Николаас Говерт де Брейн | |
|---|---|
 | |
| Рожденный | 9 июля 1918 г. |
| Умер | 17 февраля 2012 г. (93 года) |
| Национальность | Голландский |
| Альма-матер | Свободный университет Амстердама |
| Известный | Автомат ЛУЧШАЯ теорема Фактор Брюйна Индекс Де Брейна График де Брёйна Обозначение де Брейна Последовательность Де Брейна Теорема де Брейна Тор Де Брейна Теорема де Брейна–Эрдеша Теорема де Брейна – Эрдеша (геометрия) постоянная де Брейна – Ньюмана Функция Дикмана – де Брейна Последовательность Мозера – де Брейна |
| Научная карьера | |
| Поля | Математика |
| Учреждения | Эйндховенский технологический университет |
| Докторантура | Юрьен Фердинанд Коксма |
| Докторанты | Йоханнес Рунненбург Стэн Акерманс |
Николаас Говерт « Дик» де Брейн (англ. Голландский: [nikoːˈlaːs ˈxoːvärt de ˈbrœyn] ; [1] 9 июля 1918 — 17 февраля 2012) — голландский математик , известный своими многочисленными вкладами в области анализа , теории чисел , комбинаторики и логики . [2]
Биография
[ редактировать ]Де Брейн родился в Гааге , где он посещал начальную школу с 1924 по 1930 год и среднюю школу до 1934 года. Он начал изучать математику в Лейденском университете в 1936 году, но его учеба была прервана началом Второй мировой войны в 1939 году. штатный ассистент кафедры математики Делфтского технологического университета в сентябре 1939 года, продолжая учебу. [3] Он закончил бакалавриат в Лейденском университете в 1941 году. В 1943 году он получил докторскую степень в Свободном университете Амстердама, защитив диссертацию на тему « О модульных формах большего количества переменных », которую консультировал Юрьен Фердинанд Коксма . [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]
- постоянная Де Брейна–Ньюмана ,
- теорема Де Брейна–Эрдёша в теории графов ,
- другая одноименная теорема: теорема Де Брейна-Эрдёша в геометрии инцидентности ,
- теорема BEST в теории графов и
- Индексы де Брёйна .
Он написал одну из стандартных книг по расширенному асимптотическому анализу (De Bruijn, 1958).
В конце шестидесятых он разработал язык Automath для представления математических доказательств, чтобы их можно было проверять автоматически (см. Автоматическая проверка теорем ). Незадолго до смерти он работал над моделями человеческого мозга .
Публикации
[ редактировать ]Книги, подборка:
- 1943. О модулярных формах большего числа переменных.
- 1958. Асимптотические методы анализа, Северная Голландия, Амстердам.
Статьи, подборка:
- де Брёйн, Николаас Говерт. «Комбинаторная задача», 1946. В трудах секции наук, Vol. 49, нет. 7, с. 758–764. Королевская Нидерландская академия искусств и наук.
- де Брёйн, Николаас Говерт. « Математический язык АВТОМАТ, его использование и некоторые его расширения ». Симпозиум по автоматической демонстрации. Спрингер Берлин Гейдельберг, 1970 год.
- де Брёйн, Николаас Говерт. « Обозначение лямбда-исчисления с безымянными манекенами, инструмент для автоматического манипулирования формулами с применением к теореме Чёрча-Россера ». Indagationes Mathematicae (Труды). Том. 75. № 5. Северная Голландия, 1972.
Ссылки
[ редактировать ]- ^ Отдельно Говерт произносится [ˈɣoːvərt] .
- ^ Jump up to: Перейти обратно: а б Некролог Николааса Говерта де Брейна. Архивировано 25 апреля 2013 г. в Wayback Machine , 2012 г.
- ^ Jump up to: Перейти обратно: а б Архив MacTutor История математики : Николаас Говерт де Брейн. «Архивная копия» . Архивировано из оригинала 1 октября 2012 г. Проверено 08 февраля 2021 г.
{{cite web}}: CS1 maint: архивная копия в качестве заголовка ( ссылка ) CS1 maint: бот: статус исходного URL неизвестен ( ссылка ) - ^ Jump up to: Перейти обратно: а б Николаас Говерт де Брейн в проекте «Математическая генеалогия»
- ^ «Николаас Говерт де Брейн (1918–2012)» (на голландском языке). Королевская Нидерландская академия искусств и наук . Проверено 17 июля 2015 г.
- ^ де Брейн, Н.Г. (1981). «Алгебраическая теория непериодических разбиений плоскости Пенроуза. I» . Indagationes Mathematicae (Труды) . 84 : 39–52. дои : 10.1016/1385-7258(81)90016-0 .
- ^ де Брейн, Н.Г. (1981). «Алгебраическая теория непериодических разбиений плоскости Пенроуза. II» . Indagationes Mathematicae (Труды) . 84 : 53–66. дои : 10.1016/1385-7258(81)90017-2 .
Внешние ссылки
[ редактировать ]
- Некролог Николааса Говерта де Брейна
- Bruijn NG de. Архивировано 4 марта 2012 г. в Wayback Machine на win.tue.nl (на голландском языке).
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1918 рождений
- смертей в 2012 г.
- Голландские математики XX века
- Теоретики графов
- Выпускники Лейденского университета
- Выпускники Vrije Universiteit Amsterdam
- Академический состав Амстердамского университета
- Академический состав Технологического университета Эйндховена
- Ученые из Гааги
- Рыцари Ордена Нидерландского Льва
- Члены Королевской Нидерландской академии искусств и наук