Де Брёйн, Николас (:y >j~wu, Untklgv)

Перейти к навигации Перейти к поиску
Николас Говерт де Брёйн
нидерл. Nicolaas Govert de Bruijn
Имя при рождении нидерл. Nicolaas Govert de Bruijn[4]
Дата рождения 9 июля 1918(1918-07-09)[1][2][…]
Место рождения Гаага
Дата смерти 17 февраля 2012(2012-02-17)[3][1][…] (93 года)
Место смерти Нюэнен
Страна Нидерланды
Род деятельности математик, преподаватель университета, специалист в области информатики
Научная сфера математик
Место работы Технический университет Эйндховена
Альма-матер Лейденский университет
Учёная степень
Учёное звание профессор
Научный руководитель Юрьен Коксма[вд][5]
Известен как исследователь автоматического доказательства, последовательности де Брёйна
Награды и премии
рыцарь ордена Нидерландского льва
Логотип Викисклада Медиафайлы на Викискладе

Николас Говерт де Брёйн (нидерл. Nicolaas Govert de Bruijn, 9 июля 1918 — 17 февраля 2012) — нидерландский математик, известный исследованиями в области теории графов, автоматического доказательства, автор учебника по асимптотическим методам анализа. Его именем названы конструкции, связанные с последовательностью де Брёйна: цикл де Брёйна, граф де Брёйна, а также несколько известных утверждений в теории графов, комбинаторике, вычислительной геометрии[6] и теории чисел.

Родился в 1918 году в Гааге в многодетной семье маляра[7]. В 1936—1941 годы учился в Лейденском университете, с 1939 года (до 1944 года) параллельно работал ассистентом на математическом факультете Делфтского технического университета. В 1943 году получил докторскую степень по математике в Амстердамском свободном университете, защитив под руководством Юрьена Коксмы (нидерл. Jurjen Koksma) диссертацию по алгебраической теории чисел.

С 1944 по 1946 год работал в исследовательской лаборатории корпорации Philips, в 1946 году приглашён на должность профессора математического факультета Делфтского технического университета. К этому периоду относятся работы по комбинаторике и геометрии инцидентности, наиболее значительным результатом стала теорема де Брёйна — Эрдёша, опубликованная совместно с Палом Эрдёшем в 1948 году, дающая нижнюю оценку количества прямых, которые можно провести через заданный набор точек проективной плоскости (в некотором смысле, проективный аналог теоремы Сильвестра). Двойственное утверждение известно под наименованием теорема Эрдёша — де Брёйна. Ещё одним совместным результатом с Палом Эрдёшем стало доказательство в 1951 году утверждения о том, что всякий бесконечный -хроматический граф содержит конечный подграф, который также является -хроматическим, получившее известность также как теорема де Брёйна — Эрдёша.

В 1952 году приглашён на должность профессора Амстердамского университета, где проработал до 1960 года. Наиболее примечательный труд этого времени — изданный в 1958 году в виде книги курс лекций по асимптотическим методам анализа, дважды переизданный и переведённый на русский язык.

С 1960 года — профессор математики Технического университета Эйндховена, занимал эту должность вплоть до 1984 года, после чего получил статус эмерита. В Эйндховене работал над аналитической теорией чисел, задачами оптимального управления, математическим описанием квазикристаллов (в частности, мозаикой Пенроуза), получил ряд результатов в комбинаторной геометрии (один из которых известен как теорема де Брёйна). Труды конца 1960-х — начала 1970 годов были сосредоточены в области автоматического доказательства — был разработан формальный язык Automath[англ.], первый формализм, реализующий парадигму изоморзфизма Карри — Ховарда, утверждающую о взаимно-однозначном соответствии между формальным доказательством и компьютерной программой. Типизированное λ-исчисление, разработанное несколькими годами позднее, стало фактически повторным открытием Automath.

Последние годы жизни занимался задачей моделирования головного мозга человека.

Научные сообщества и награды

[править | править код]

В 1957 году избран членом Нидерландской королевской академии наук. В 1970 году был приглашённым докладчиком на международном конгрессе математиков в Ницце.

В 1981 году награждён орденом Нидерландского льва (рыцарь ордена), в 1985 году удостоен медали Снеллиуса.

Библиография

[править | править код]
  • De Bruijn, Nicolaas. Asymptotic methods in analysis. — Amsterdam: North-Holland, 1958.
    • Перевод на русский язык: Де Брёйн, Н. Г. Асимптотические методы в анализе. — М.: ИЛ, 1961. — 248 с.
    • Переиздания: 1961 (North-Holland), 1981 (Dover Publications).
  • De Bruijn, N. G. A survey of the project Automath. (англ.) // Seldin, J. P. and Hindley, J. R. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. — L.: Academic Press, 1980. — P. 579–606. — ISBN 9780123490506.

Примечания

[править | править код]
  1. 1 2 Nicolaas Govert de Bruijn // KNAW Past Members (англ.)
  2. https://www.tue.nl/universiteit/alumni/emeriti/album-academicum/
  3. Korteweg-de Vries Institute for Mathematics (нидерл.)
  4. Архив по истории математики Мактьютор — 1994.
  5. Mathematics Genealogy Project (англ.) — 1997.
  6. Weisstein, Eric W. de Bruijn's Theorem (англ.). Mathworld. Wolfram Research. Дата обращения: 3 марта 2012. Архивировано 20 мая 2021 года.
  7. TUE, 2008, Zijn vader had er een schilderszaak en het gezin telde acht kinderen.