Nicolaas Govert De Bruijn
- Nicolaas Govert De Bruijn
-
Nicolaas Govert de Bruijn
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.
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 modulo les variables liées". Dans le lambda-calcul, chaque indice représente une occurence 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 la notation avec des carrés et des liens de Bourbaki.
Œuvre écrite
- De Bruijn, Asymptotic Methods in Analysis, North-Holland, Amsterdam, 1958.
Lien externe
Portail des mathématiques
Catégories : Mathématicien néerlandais | Personnalité en théorie des graphes | Naissance en 1918
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Nicolaas Govert De Bruijn de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Nicolaas Govert de Bruijn — Born 9 July 1918 (1918 07 09) (age 93) … Wikipedia
Nicolaas govert de bruijn — Pour les articles homonymes, voir De Bruijn. 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… … Wikipédia en Français
Nicolaas Govert de Bruijn — (* 9. Juli 1918, Den Haag) ist ein niederländischer Mathematiker, der sich vor allem mit Analysis, Zahlentheorie, Kombinatorik und Informatik (diskreter Mathematik) beschäftigt. De Bruijn in den 1960er Jahren … Deutsch Wikipedia
Nicolaas Govert de Bruijn — Pour les articles homonymes, voir De Bruijn. De Bruijn à Oberwolfach, dans les années 1960 Nicolaas Govert de Bruijn (né le 9 juillet 1918) est un mathématicien … Wikipédia en Français
Bruijn — Nicolaas Govert de Bruijn Pour les articles homonymes, voir De Bruijn. 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é à… … Wikipédia en Français
Nicolaas — ist ein männlicher Vorname. Inhaltsverzeichnis 1 Herkunft und Bedeutung 2 Bekannte Namensträger 2.1 Vorname 2.2 Zwischenname … Deutsch Wikipedia
Bruijn — may refer to;* Chantal de Bruijn Dutch field hockey player. * Cornelis de Bruijn (1652 1727) a Dutch artist and traveler. * Inge de Bruijn a former Dutch swimmer. * Nicolaas Govert de Bruijn a Dutch mathematician. * Pi de Bruijn a Dutch… … Wikipedia
Bruijn — ist der Name folgender Personen: Adrianus Cornelis de Bruijn (1896–1980), niederländischer Gewerkschaftsführer Chantal de Bruijn (* 1976), niederländische Hockeyspielerin Cornelis de Bruijn (1652–1727), niederländischer Künstler und Reisender… … Deutsch Wikipedia
N. G. de Bruijn — Nicolaas Govert de Bruijn (* 9. Juli 1918, Den Haag) ist ein niederländischer Mathematiker, der sich vor allem mit Analysis, Zahlentheorie, Kombinatorik und Informatik (diskreter Mathematik) beschäftigt. Inhaltsverzeichnis 1 Leben und Wirken 2… … Deutsch Wikipedia
De Bruijn — Bruijn ist der Name folgender Personen: Adrianus Cornelis de Bruijn (1896–1980), niederländischer Gewerkschaftsführer Chantal de Bruijn (* 1976), niederländische Hockeyspielerin Cornelis de Bruijn (1652–1727), niederländischer Künstler und… … Deutsch Wikipedia
Pour les articles homonymes, voir De Bruijn.
