Николас Говерт де Брюйн

• Биография Николаса Говерта де Брюйна

  • Голландский математик, известен работами в анализе, теории чисел, комбинаторике и логике. 
  • Родился в Гааге, учился в Лейденском университете, прервал учебу из-за Второй мировой войны. 
  • Защитил докторскую диссертацию в Врийском университете Амстердама в 1943 году. 
  • Работал в исследовательской лаборатории Philips и преподавал в Амстердамском и Эйндховенском университетах. 
  • Женился на Элизабет Де Гроот, у них четверо детей. 

• Научная карьера и достижения

  • Автор множества работ в различных областях математики, включая открытие последовательности де Брейна и теоремы де Брейна-Эрдеша. 
  • Разработал язык Automath для автоматической проверки математических доказательств. 
  • Работал над моделями человеческого мозга перед смертью. 

• Публикации

  • Автор книги “Асимптотические методы в анализе” и множества статей по комбинаторике и математической логике. 

• Память

  • После смерти де Брюйна был опубликован некролог.