Николас Де Брёйн Нидерландский математик Дата рождения: 09.07.1918 Страна: Нидерланды

Биография Николаса Де Брёйна

Николас Де Брёйн был нидерландским математиком, известным своими исследованиями в области теории графов и автоматического доказательства. Он также был автором учебника по асимптотическим методам анализа. В его честь названы конструкции, связанные с последовательностью де Брёйна, такие как цикл де Брёйна и граф де Брёйна, а также несколько известных утверждений в различных областях математики.

Николас Де Брёйн родился в 1918 году в Гааге, в семье маляра. Он начал своё образование в Лейденском университете, где учился с 1936 по 1941 годы. В то же время, с 1939 года до 1944 года, он работал ассистентом на математическом факультете Делфтского технического университета. В 1943 году Де Брёйн получил докторскую степень по математике в Амстердамском свободном университете.

После получения докторской степени, с 1944 по 1946 год, Николас Де Брёйн работал в исследовательской лаборатории корпорации Philips. В 1946 году его пригласили на должность профессора математического факультета Делфтского технического университета. В это время он занимался работами по комбинаторике, геометрии инцидентности и теории чисел. Одним из наиболее значительных результатов его исследований стала теорема де Брёйна — Эрдёша, опубликованная в 1948 году. Она дает нижнюю оценку количества прямых, которые можно провести через заданный набор точек проективной плоскости.

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

С 1960 года и до 1984 года Николас Де Брёйн работал профессором математики в Техническом университете Эйндховена. В Эйндховене он занимался аналитической теорией чисел, задачами оптимального управления и математическим описанием квазикристаллов. В то время он также разработал формальный язык Automath и работал в области автоматического доказательства.

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

За свои достижения Николас Де Брёйн был удостоен множества наград, включая орден Нидерландского льва в 1981 году и медаль Снеллиуса в 1985 году.