Nicolaas Govert de Bruijn

Nicolaas Govert de Bruijn Beskrivelse af dette billede, også kommenteret nedenfor Fra Bruijn til Oberwolfach i 1960'erne. Nøgledata
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 .

Arbejder

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.

Noter og referencer

  1. Da han udgav sammen med Paul Erdős , er hans antal Erdős lig med 1.
  2. De Bruijn, Asymptotic Methods in Analysis (1958), Nordholland, genudgivet i 1981 af Dover ( ISBN  9780486642215 )

Se også

Relaterede artikler

eksterne links