Последовательность де Брёйна, циклическое расположение символов, где каждая возможная подпоследовательность определенной длины встречается ровно один раз, остается краеугольным камнем комбинаторной математики. Этот вклад, разработанный Николасом Говертом де Брёйном, олицетворяет его карьеру, которая охватила голландский академический ландшафт и значительно повлияла на развитие логики, теоретической информатики и теории графов.
Академическое становление и ранняя карьера
Родившись в 1918 году в Гааге, Николас Говерт де Брёйн начал свое формальное математическое образование в Лейденском университете в 1936 году. Его обучение совпало с началом Второй мировой войны, во время которой он работал ассистентом в Делфтском технологическом университете с 1939 года. Он завершил свое бакалаврское образование в Лейдене в 1941 году и получил докторскую степень в Амстердамском свободном университете в 1943 году, где написал свою диссертацию «Over modulaire vormen van meer veranderlijken» под руководством Юрьена Фердинанда Коксмы.
Профессиональные назначения
После защиты докторской диссертации де Брёйн присоединился к Физической лаборатории Philips в Эйндховене в 1944 году. Позже он занимал несколько академических должностей, включая возвращение в Делфтский технологический университет с 1946 по 1952 год. Его карьера продолжилась в Амстердамском университете, где он работал профессором с 1952 по 1960 год. Свой активный преподавательский стаж он завершил в Эйндховенском технологическом университете, где работал профессором с 1960 года до выхода на пенсию в 1984 году.
Вклад в математику и вычислительную технику
Исследовательская работа де Брёйна охватывала комбинаторику, теорию чисел и анализ. Ему приписывают создание нескольких примечательных математических структур и результатов, включая граф де Брёйна, теорему BEST об эйлеровых циклах, теорему де Брёйна — Эрдёша в теории графов и константу де Брёйна — Ньюмана. В конце 1960-х годов он разработал Automath, язык, предназначенный для автоматической проверки математических доказательств. В конце жизни он сосредоточился на моделировании функций человеческого мозга.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Награды и наследие
В 1957 году де Брёйн был избран членом Королевской нидерландской академии наук и искусств. Его заслуги перед наукой были отмечены в 1981 году, когда он был посвящен в рыцари ордена Нидерландского льва. Он скончался в 2012 году в Нюнене, оставив после себя обширное наследие, которое повлияло на поколения студентов, включая Антониуса Левельта, Матеуса Хаутуса и Роберта Недерпелта Лазарома.
Краткие факты
- Рождение: 1918 год, Гаага - Смерть: 2012 год, Нюнен - Гражданство: Королевство Нидерланды - Докторская степень: 1943 год, Амстердамский свободный университет - Основные области: Комбинаторика, Теория графов - Основное изобретение: Automath - Награда: Рыцарь ордена Нидерландского льва (1981 год)
Вопросы читателей
### Что такое Automath?
Automath — это язык, разработанный де Брёйном в конце 1960-х годов для представления математических доказательств с целью автоматической проверки.
### В каких важных академических учреждениях он работал?
Де Брёйн занимал должности в Делфтском технологическом университете, Физической лаборатории Philips, Амстердамском университете и Эйндховенском технологическом университете.
