де Брёйн, Николас

Николас Говерт де Брёйн
Nicolaas Govert de Bruijn
Дата рождения:	9 июля 1918(1918-07-09)
Место рождения:	Гаага
Дата смерти:	17 февраля 2012(2012-02-17) (93 года)
Место смерти:	Эйндховен
Страна:	Нидерланды
Научная сфера:	математик
Место работы:	Технический университет Эйндховена
Учёная степень:	доктор философии (PhD)
Учёное звание:	профессор
Альма-матер:	Лейденский университет
Научный руководитель:	Юрьен Коксма
Известен как:	исследователь автоматического доказательства, последовательности де Брёйна

В Википедии есть статьи о других людях с такой фамилией, см. де Брёйн.

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

Биография

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

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

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

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

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

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

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

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

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

• De Bruijn, Nicolaas Asymptotic methods in analysis. — Amsterdam: North-Holland, 1958.
  • Перевод на русский язык: Де Брёйн, Н. Г. Асимптотические методы в анализ. — М.: Иностранная литература, 19. — 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. — С. 579–606. — ISBN 9780123490506.

Примечания

1. ↑ Weisstein, Eric W. de Bruijn's Theorem  (англ.). Mathworld. Wolfram Research. Проверено 3 марта 2012.
2. ↑ TUE, 2008, Zijn vader had er een schilderszaak en het gezin telde acht kinderen

Ссылки

• Bruijn, N.G. de  (нид.). Kleine TU/E Encyclopedia. TUE (2008). Архивировано из первоисточника 14 мая 2012. Проверено 3 марта 2012.
• O’Connor, J. J. and Robertson, E. F. Nicolaas Govert de Bruijn  (англ.). MacTutor. University of St Andrews (2008). Архивировано из первоисточника 14 мая 2012. Проверено 3 марта 2012.
• Де Брёйн, Николас (англ.) в проекте «Математическая генеалогия»