La suite de De Bruijn, un arrangement cyclique de symboles où chaque sous-séquence possible d'une longueur spécifique apparaît exactement une fois, demeure une pierre angulaire des mathématiques combinatoires. Développée par Nicolaas Govert de Bruijn, cette contribution illustre sa carrière, qui a couvert le paysage académique néerlandais et a influencé de manière significative l'évolution de la logique, de l'informatique théorique et de la théorie des graphes.
Formation académique et début de carrière
Né en 1918 à La Haye, Nicolaas Govert de Bruijn a commencé ses études mathématiques formelles à l'Université de Leyde en 1936. Son éducation a coïncidé avec le début de la Seconde Guerre mondiale, période durant laquelle il a travaillé comme assistant à l'Université de technologie de Delft à partir de 1939. Il a terminé ses études de premier cycle à Leyde en 1941 et a obtenu son doctorat à la Vrije Universiteit Amsterdam en 1943, où il a rédigé sa thèse, 'Over modulaire vormen van meer veranderlijken', sous la direction de Jurjen Ferdinand Koksma.
Nominations professionnelles
Après ses travaux doctoraux, De Bruijn a rejoint le Philips Natuurkundig Laboratorium à Eindhoven en 1944. Il a ensuite occupé plusieurs postes académiques, notamment un retour à l'Université de technologie de Delft de 1946 à 1952. Sa carrière a progressé vers l'Université d'Amsterdam, où il a été professeur entre 1952 et 1960. Il a conclu son mandat d'enseignement actif à l'Université de technologie d'Eindhoven, où il a été professeur de 1960 jusqu'à sa retraite en 1984.
Contributions aux mathématiques et à l'informatique
Les travaux de recherche de De Bruijn ont couvert la combinatoire, la théorie des nombres et l'analyse. On lui doit plusieurs structures et résultats mathématiques notables, notamment le graphe de De Bruijn, le théorème BEST concernant les circuits eulériens, le théorème de De Bruijn-Erdős en théorie des graphes et la constante de De Bruijn-Newman. À la fin des années 1960, il a conçu Automath, un langage destiné à la vérification automatique des preuves mathématiques. Plus tard dans sa vie, il s'est concentré sur la modélisation des fonctions du cerveau humain.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Honneurs et héritage
En 1957, De Bruijn a été élu membre de l'Académie royale néerlandaise des arts et des sciences. Son service rendu au domaine a été reconnu en 1981 lorsqu'il a été fait Chevalier de l'Ordre du Lion néerlandais. Il est décédé en 2012 à Nuenen, laissant derrière lui un vaste corpus de travaux qui a influencé des générations d'étudiants, dont Antonius Levelt, Matheus Hautus et Robert Nederpelt Lazarom.
Faits rapides
- Né : 1918, La Haye - Décédé : 2012, Nuenen - Citoyenneté : Royaume des Pays-Bas - Doctorat : 1943, Vrije Universiteit Amsterdam - Domaines principaux : Combinatoire, Théorie des graphes - Invention majeure : Automath - Distinction : Chevalier de l'Ordre du Lion néerlandais (1981)
Questions posées par les lecteurs
### Qu'est-ce qu'Automath ?
Automath est un langage conçu par De Bruijn à la fin des années 1960 pour représenter des preuves mathématiques dans le but d'une vérification automatique.
### Dans quelles institutions académiques importantes a-t-il servi ?
De Bruijn a occupé des postes à l'Université de technologie de Delft, au Philips Natuurkundig Laboratorium, à l'Université d'Amsterdam et à l'Université de technologie d'Eindhoven.
