Nicolaas Govert de Bruijn

Nicolaas Govert de Bruijn Tämän kuvan kuvaus, myös kommentoitu alla Bruijnista Oberwolfachiin 1960-luvulla. Avaintiedot
Syntymä 9. heinäkuuta 1918
Haag ( Alankomaat )
Kuolema 17. helmikuuta 2012
Nuenen
Kansalaisuus Hollannin kieli
Alueet Matematiikka
Laitokset Eindhovenin teknillinen yliopisto
Valvoja Jurjen Ferdinand Koksma  (en)
Tunnettu De Bruijnin jälkeen lause De Bruijn-Erdős , lause BEST

Nicolaas Govert de Bruijn , syntynyt9. heinäkuuta 1918vuonna Haagissa ja kuoli17. helmikuuta 2012in Nuenen , on hollantilainen matemaatikko , emeritusprofessori klo Eindhovenin teknillisessä yliopistossa .

Toimii

Hän jatkoi useita matematiikan aloja . Hänet tunnetaan parhaiten de Bruijnin jatko-osasta . Hän on myös co-luoja De Bruijn-Newman vakio The De Bruijn-Erdős lausetta in graafiteoria ja yksi ilmaantuvuuden geometria , ja paras lauseen .

Hän kirjoitti yhden johtavista asymptoottisen analyysin oppikirjoista . Hän työskenteli myös Penrosen päällystyksen parissa . 1960-luvun lopulla hän kehitti Automath- kielen, joka on tarkoitettu edustamaan matemaattisia todisteita, jotta ne voidaan automatisoida . Viime aikoina hän on kiinnostunut ihmisen aivojen selittävästä mallista .

Hän esitteli menetelmän päästä eroon sidottujen muuttujien ongelmasta . De Bruijn -indekseillä kirjoitetut lausekkeet ovat merkintöjä suhteelle "identtinen uudelleen sidottujen muuttujien uudelleennimeämisen kanssa". Että lambda-laskenta , kukin De Bruijn indeksi  (fi) edustaa esiintyminen vaihtelee, ja se määritetään useissa lambdas välissä että esiintyminen ja lambda että sitoutuu sitä. Tämä merkintä on lineaarinen Bourbakille, joka käyttää neliöitä ja linkkejä.

Huomautuksia ja viitteitä

  1. Koska hän on julkaissut Paul Erdősin kanssa , hänen Erdősin lukumääränsä on yhtä suuri.
  2. De Bruijn, Asymptotic Methods in Analysis (1958), Pohjois-Hollanti, julkaissut uudelleen vuonna 1981 Dover ( ISBN  9780486642215 )

Katso myös

Aiheeseen liittyvät artikkelit

Ulkoiset linkit