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

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

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

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

Биография

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

С 1944 по 1946 год работал в исследовательской лаборатории корпорации Philips, в 1946 году приглашён на должность профессора математического факультета Делфтского технического университета. К этому периоду относятся работы по комбинаторике и геометрии инцидентности, наиболее значительным результатом стала теорема де Брёйна — Эрдёша, опубликованная совместно с Палом Эрдёшем в 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. — P. 579–606. — ISBN 9780123490506.

Ссылки

• Bruijn, N.G. de (нидерл.). Kleine TU/E Encyclopedia. TUE (2008). Дата обращения: 3 марта 2012. Архивировано 14 мая 2012 года.
• O’Connor, J. J. and Robertson, E. F. Nicolaas Govert de Bruijn (англ.). MacTutor. University of St Andrews (2008). Дата обращения: 3 марта 2012. Архивировано 14 мая 2012 года.