Nicolaas Govert de Bruijn

Nicolaas Govert de Bruijn
Page d'aide sur l'homonymie 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 hollandais, professeur émérite de l'université technique d'Eindhoven.

Sommaire

Travaux

Il a fait progresser plusieurs branches des mathématiques. Il est surtout connu pour la suite de De Bruijn (en). Il est aussi le co-créateur de la constante de De Bruijn-Newman, du théorème de De Bruijn-Erdős (en) en théorie des graphes et celui en géométrie de l'incidence (en)[1], et du théorème BEST (en).

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 (en), 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

  1. Puisqu'il a copublié avec Paul Erdős, son nombre d'Erdős est égal à 1.
  2. De Bruijn, Asymptotic Methods in Analysis (1958), North-Holland, réédité en 1981 par Dover (ISBN 9780486642215)

Voir aussi

Articles connexes

Liens externes


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 — 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

  • 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”