de Bruijn Nicolaas Govert

ANALYSE
CALCUL
COMBINATOIRE
ELEMENTS DE BIOGRAPHIE

Nicolaas Govert de Bruijn (1918-2012), mathématicien néerlandais.
Il fait ses études secondaires à La Haye, entre à l’université de Leyde (1936) mais ses études sont interrompues par la Seconde guerre mondiale. Il obtient cependant un poste d’assistant en mathématiques à l’université technologique de Delft où il restera jusqu’en 1944. En même temps il continue à préparer son doctorat sous la direction de Jurjen Koksma. Il soutient sa thèse en théorie algébrique des nombres en 1943.
Ses travaux ont porté sur divers sujets dont la théorie des graphes, l’analyse asymptotique et les pavages de Penrose .

En théorie des graphes, il a découvert la suite de de Bruijn, le théorème de De Bruijn-Erdös, le théorème de BEST.
Il a développé le langage Automath, qui n’a pas été largement utilisé mais est un précurseur des logiciels assistants de preuves.