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 .
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ä.