Nicolaas Govert de Bruijn
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir De Bruijn.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Nicolaas_de_Bruijn.jpg/260px-Nicolaas_de_Bruijn.jpg)
Naissance | La Haye |
---|---|
Décès | (à 93 ans) Nuenen |
Nom de naissance | Nicolaas Govert de Bruijn ![]() |
Nationalité | Néerlandais |
Formation | Université de Leyde (- Université libre d'Amsterdam (doctorat) (- ![]() |
Activités | Mathématicien, professeur d'université, informaticien ![]() |
Enfant | Judith de Bruijn (d) ![]() |
A travaillé pour | Université de technologie d'Eindhoven (- Université d'Amsterdam ( - Université de technologie de Delft (- Philips Natuurkundig Laboratorium (en) (- Université de technologie de Delft (- ![]() |
---|---|
Membre de | |
Directeur de thèse | |
Distinction |
Théorème de De Bruijn-Erdős, De Bruijn torus (d), graphe de de Bruijn, séquence de de Bruijn, constante de De Bruijn-Newman ![]() |
modifier - modifier le code - modifier Wikidata
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'incidence[1], et du théorème de BEST.
Il a écrit l'un des manuels de référence sur l'analyse asymptotique[2]. 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 indice de De Bruijn (en) 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.
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Nicolaas Govert de Bruijn » (voir la liste des auteurs).
- ↑ Puisqu'il a copublié avec Paul Erdős, son nombre d'Erdős est égal à 1.
- ↑ De Bruijn, Asymptotic Methods in Analysis (1958), North-Holland, réédité en 1981 par Dover (ISBN 9780486642215)
Voir aussi
Articles connexes
- Graphe de de Bruijn
- Notation de de Bruijn (en)
- Fonction de Dickman-De Bruijn
- Théorème de De Bruijn (en)
Liens externes
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- Scopus
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Pays-Bas
- Israël
- NUKAT
- Norvège
- Tchéquie
- WorldCat
- (en) Bref curriculum vitæ
Portail des mathématiques
Portail des Pays-Bas