Bruijn
- 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 Bruijn de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
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
Bruijn's Brush-turkey — Taxobox name = Bruijn s Brush turkey status = EN status system = iucn3.1 regnum = Animalia phylum = Chordata classis = Aves ordo = Galliformes familia = Megapodiidae genus = Aepypodius species = A. bruijnii binomial = Aepypodius bruijnii binomial … Wikipedia
Bruijn-Langschnabeligel — proechidna statusas T sritis zoologija | vardynas taksono rangas rūšis atitikmenys: lot. Zaglossus bruijni angl. Bruijn’s echidna; long nosed echidna; New Guinea spiny anteater; three toed spiny anteater vok. Bruijn Langschnabeligel;… … Žinduolių pavadinimų žodynas
Bruijn’s echidna — proechidna statusas T sritis zoologija | vardynas taksono rangas rūšis atitikmenys: lot. Zaglossus bruijni angl. Bruijn’s echidna; long nosed echidna; New Guinea spiny anteater; three toed spiny anteater vok. Bruijn Langschnabeligel;… … Žinduolių pavadinimų žodynas
Bruijn`s brush-turkey — auskaruotoji didžiakojė višta statusas T sritis zoologija | vardynas atitikmenys: lot. Aepypodius bruijnii angl. Bruijn s brush turkey vok. Braunbrusttalegalla, f rus. бурогрудый большеног, m pranc. talégalle de Bruijn, m ryšiai: platesnis… … Paukščių pavadinimų žodynas
Bruijn’s pademelon — Naujosios Gvinėjos filanderis statusas T sritis zoologija | vardynas taksono rangas rūšis atitikmenys: lot. Thylogale bruijni angl. Bruijn’s pademelon vok. Neuguinea Filander rus. аруанский кенгуру; новогвинейский филандер pranc. wallaby de… … Žinduolių pavadinimų žodynas
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
De Bruijn sequence — A diagram showing the De Bruijn sequence where k=2 and n=2 In combinatorial mathematics, a k ary De Bruijn sequence B(k, n) of order n, named after the Dutch mathematician Nicolaas Govert de Bruijn, is a cyclic sequence of a given alphabet A … Wikipedia
Cornelis De Bruijn — Cornelis De Bruijn, en français Corneille Le Brun Naissance 1652 La Haye Décès … Wikipédia en Français
Pour les articles homonymes, voir De Bruijn.
