Nicolaas Govert de Bruijn, né le à La Haye et mort le à Nuenen, est un mathématicien néerlandais, professeur émérite de l'université de technologie d'Eindhoven.
Travaux Il a fait progresser plusieurs branches des mathématiques. Il est surtout connu pour la suite de de Bruijn. Il est aussi le cocréateur de la constante de De Bruijn-Newman, du théorème de De Bruijn-Erdős en théorie des graphes et celui en géométrie de l'incidencePuisqu'il a copublié avec Paul Erdős, son nombre d'Erdős est égal à 1., et du théorème de BEST.
Il a écrit l'un des manuels de référence sur l'analyse asymptotiqueDe Bruijn, Asymptotic Methods in Analysis (1958), North-Holland, réédité en 1981 par Dover . Il a aussi travaillé sur le pavage de Penrose. Vers la fin des années 1960, il a développé Automath, un langage destiné à représenter les démonstrations mathématiques de façon à pouvoir automatiser leur vérification. Plus récemment, il s'est intéressé à un modèle explicatif du cerveau humain.
Il a introduit une méthode pour se débarrasser du problème des variables liées. Les expressions écrites avec des indices de De Bruijn sont des notations pour les classes d'équivalence de la relation « identique à un renommage près des variables liées ». Dans le lambda-calcul, chaque représente une occurrence d'une variable et est déterminé par le nombre de lambdas situés entre cette occurrence et le lambda qui la lie. Cette notation est la linéarisation de celle de Bourbaki qui utilise des carrés et des liens.
Distinctions
Notes et références
Voir aussi Articles connexes Graphe de de Bruijn
Fonction de Dickman-De Bruijn
Liens externes
Bref curriculum vitæ
Catégorie:Mathématicien néerlandais du XXe siècle Catégorie:Personnalité en théorie des graphes Catégorie:Étudiant de l'université de Leyde Catégorie:Étudiant de l'université libre d'Amsterdam Catégorie:Professeur à l'université de technologie d'Eindhoven Catégorie:Professeur à l'université d'Amsterdam Catégorie:Membre de l'Académie royale néerlandaise des arts et des sciences Catégorie:Chevalier de l'ordre du Lion néerlandais Catégorie:Naissance en juillet 1918 Catégorie:Naissance à La Haye Catégorie:Décès en février 2012 Catégorie:Décès dans la province de Brabant-Septentrional Catégorie:Décès à 93 ans