Оглавление
Николас Говерт де Брюйн
-
Биография Николаса Говерта де Брюйна
- Голландский математик, известен работами в анализе, теории чисел, комбинаторике и логике.
- Родился в Гааге, учился в Лейденском университете, прервал учебу из-за Второй мировой войны.
- Защитил докторскую диссертацию в Врийском университете Амстердама в 1943 году.
- Работал в исследовательской лаборатории Philips и преподавал в Амстердамском и Эйндховенском университетах.
- Женился на Элизабет Де Гроот, у них четверо детей.
-
Научная карьера и достижения
- Автор множества работ в различных областях математики, включая открытие последовательности де Брейна и теоремы де Брейна-Эрдеша.
- Разработал язык Automath для автоматической проверки математических доказательств.
- Работал над моделями человеческого мозга перед смертью.
-
Публикации
- Автор книги “Асимптотические методы в анализе” и множества статей по комбинаторике и математической логике.
-
Память
- После смерти де Брюйна был опубликован некролог.
Полный текст статьи: