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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Николас Говерт де Брёйн
Nicolaas Govert de Bruijn
Nicolaas de Bruijn.jpg
Дата рождения:

9 июля 1918({{padleft:1918|4|0}}-{{padleft:7|2|0}}-{{padleft:9|2|0}})

Место рождения:

Гаага

Дата смерти:

17 февраля 2012({{padleft:2012|4|0}}-{{padleft:2|2|0}}-{{padleft:17|2|0}})[1] (93 года)

Место смерти:

Нюэнен

Страна:

Flag of the Netherlands.svg Нидерланды

Научная сфера:

математик

Место работы:

Технический университет Эйндховена

Учёная степень:

доктор философии (PhD)

Учёное звание:

профессор

Альма-матер:

Лейденский университет

Научный руководитель:

Юрьен Коксма

Известен как:

исследователь автоматического доказательства, последовательности де Брёйна

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

Биография[править | править вики-текст]

Родился в 1918 году в Гааге в многодетной семье маляра[3]. В 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.
    • Перевод на русский язык: Де Брёйн, Н. Г. Асимптотические методы в анализе. — М.: ИЛ, 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. — С. 579–606. — ISBN 9780123490506.

Примечания[править | править вики-текст]

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

Ссылки[править | править вики-текст]