Николас Говерт де Брёйн (нидерл. Nicolaas Govert de Bruijn, 9 июля 1918 — 17 февраля 2012) — нидерландский математик, известный исследованиями в области теории графов, автоматического доказательства, автор учебника по асимптотическим методам анализа. Его именем названы конструкции, связанные с последовательностью де Брёйна: цикл де Брёйна, граф де Брёйна, а также несколько известных утверждений в теории графов, комбинаторике, вычислительной геометрии[6] и теории чисел.
| Николас Говерт де Брёйн | |
|---|---|
| нидерл. Nicolaas Govert de Bruijn | |
 | |
| Имя при рождении | нидерл. Nicolaas Govert de Bruijn[4] |
| Дата рождения | 9 июля 1918[1][2][…] |
| Место рождения | Гаага |
| Дата смерти | 17 февраля 2012[3][1][…] (93 года) |
| Место смерти | Нюэнен |
| Страна | Нидерланды |
| Научная сфера | математик |
| Место работы | Технический университет Эйндховена |
| Альма-матер | Лейденский университет |
| Учёная степень | |
| Учёное звание | профессор |
| Научный руководитель | Юрьен Коксма[d][5] |
| Известен как | исследователь автоматического доказательства, последовательности де Брёйна |
| Награды и премии |
 |
 Медиафайлы на Викискладе | |
Биография править
Родился в 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 2 Nicolaas Govert de Bruijn // KNAW Past Members (англ.)
- ↑ https://www.tue.nl/universiteit/alumni/emeriti/album-academicum/
- ↑ Korteweg-de Vries Institute for Mathematics (нидерл.)
- ↑ Архив по истории математики Мактьютор — 1994.
- ↑ Mathematics Genealogy Project (англ.) — 1997.
- ↑ Weisstein, Eric W. de Bruijn's Theorem (англ.). Mathworld. Wolfram Research. Дата обращения: 3 марта 2012. Архивировано 20 мая 2021 года.
- ↑ TUE, 2008, Zijn vader had er een schilderszaak en het gezin telde acht kinderen.
Ссылки править
- 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 года.