Николаас Говерт « Дик» де Брюйн ( голландский: [nikoːˈlaːs ˈxoːvərt də ˈ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] Он был посвящен в рыцари Ордена Нидерландского Льва .
Де Брейн охватил многие области математики. Он особенно известен:
Он написал одну из стандартных книг по расширенному асимптотическому анализу (De Bruijn, 1958).
В конце шестидесятых он разработал язык Automath для представления математических доказательств, чтобы их можно было проверять автоматически (см. Автоматическая проверка теорем ). Незадолго до смерти он работал над моделями человеческого мозга .
Книги, подборка:
Статьи, подборка:
{{cite web}}: CS1 maint: архивная копия в качестве заголовка ( ссылка ) CS1 maint: бот: статус исходного URL неизвестен ( ссылка )