Nicolaas Govert de Bruijn
Un article de Wikipédia, l'encyclopédie libre.
Nicolaas Govert de Bruijn (9 juillet 1918 - ) est un mathématicien hollandais affilié comme professeur émérite de l'Université Technique d'Eindhoven.
Il s'est intéressé à plusieurs branches des mathématiques. Il est surtout connu pour la suite de De Bruijn. Il est aussi le co-créateur de la constante de De Bruijn-Newman, le théorème de De Bruijn–Erdős et le théorème BEST.
Il a écrit l'un des manuels de référence sur l'analyse asymptomatique (De Bruijn, 1958). 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. Récemment, il s'est intéressé à un modèle explicatif du cerveau humain.
[modifier] Œuvre écrite
- De Bruijn, Asymptotic Methods in Analysis, North-Holland, Amsterdam, 1958.
