Fødsel |
9. juli 1918 Haag ( Holland ) |
---|---|
Død |
17. februar 2012 Nuenen |
Nationalitet | hollandsk |
Områder | Matematik |
Institutioner | Eindhoven University of Technology |
Tilsynsførende | Jurjen Ferdinand Koksma (en) |
Berømt for | Efter de Bruijn , sætning De Bruijn-Erdős , sætning BEST |
Nicolaas Govert de Bruijn , født den9. juli 1918i Haag og døde den17. februar 2012i Nuenen , er en hollandsk matematiker , professor emeritus ved Eindhoven University of Technology .
Han avancerede flere grene af matematik . Han er bedst kendt for efterfølgeren til de Bruijn . Han er også medskaber af De Bruijn-Newman-konstanten , De Bruijn-Erds sætning i grafteori og den i incidensgeometri og den bedste sætning .
Han skrev en af de førende lærebøger om asymptotisk analyse . Han arbejdede også på brolægning af Penrose . I slutningen af 1960'erne udviklede han Automath , et sprog beregnet til at repræsentere matematiske beviser, så de kunne automatiseres . For nylig har han været interesseret i en forklarende model for den menneskelige hjerne .
Han introducerede en metode til at slippe af med problemet med bundne variabler . Udtryk skrevet med De Bruijn-indekser er notationer for ækvivalensklasser i forholdet "identisk med et omdøbning nær bundne variabler". I lambda-calculus repræsenterer hvert De Bruijn-indeks (en) en forekomst af en variabel og bestemmes af antallet af lambdas placeret mellem denne forekomst og lambda, der binder den. Denne betegnelse er linearisering af Bourbaki, der bruger firkanter og links.