Nicholas Govert de Bruijn
| Nicholas Govert de Bruijn | ||
|---|---|---|
 | ||
| Henkilökohtaisia tietoja | ||
| Syntymä |
9. heinäkuuta 1918 Haag ( Alankomaat ) | |
| Kuolema |
17. helmikuuta 2012 ( 93 vuotta vanha) Nuenen (Alankomaat) | |
| Kansallisuus | Hollannin kieli | |
| koulutus | ||
| koulutus | Filosofian tohtori | |
| koulutettu vuonna | ||
| tohtorinohjaaja | Jurjen Ferdinand Koksma | |
| Ammattimaista tietoa | ||
| Ammatti | Matemaatikko , yliopistoprofessori ja tietotekniikan teoreettinen tutkija | |
| Alue | Kombinatoriikka , graafiteoria ja teoreettinen laskennallinen tiede | |
| Työnantaja |
| |
| Jonkin jäsen | Alankomaiden kuninkaallinen taide- ja tiedeakatemia | |
Nicolaas Govert ( Dick ) de Bruijn ( hollantilainen ääntäminen: / nikoːˈlaːs ˈxoːvərt də ˈbrœyn / ; Haag , 9. heinäkuuta 1918 – Nuenen , 17. helmikuuta 2012) oli hollantilainen matemaatikon panoksensa . teoria , kombinatoriikka ja logiikka . [ 2 ]
Elämäkerta
Haagissa syntynyt De Bruijn valmistui matematiikasta Leidenin yliopistosta vuonna 1941 ja tohtoriksi vuonna 1943 Amsterdamin vapaasta yliopistosta väitöskirjalla Over modulaire vormen van meer veranderlijken (" Modulaarisista muodoista useissa muuttujissa") . kuuntele ), jossa häntä neuvoi Jurjen Ferdinand Koksma . [ 3 ]
De Bruijn aloitti akateemisen uransa Amsterdamin yliopistossa , jossa hän toimi matematiikan professorina vuosina 1952–1960. Vuonna 1960 hän muutti Eindhovenin teknilliseen yliopistoon , jossa hän toimi matematiikan professorina eläkkeelle siirtymiseensä vuonna 1984. [ 2 ] hänen jatko-opiskelijansa olivat Johannes Runnenburg (1960), Antonius Levelt (1961), S. Ackermans (1964), Jozef Beenakker (1966), W. van der Meiden (1967), Matheus Hautus (1970), Robert Nederpelt Lazarom (1973) , Lambert van Benthem Jutting (1977), A. Janssen (1979), Diederik van Daalen (1980) ja Harmannus Balsters (1986). [ 3 ]
Vuonna 1957 hänestä tuli Alankomaiden kuninkaallisen taiteen ja tiedeakatemian jäsen . [ 4 ] Hänestä on myös tehty Alankomaiden leijonan ritarikunnan ritari .
Työ
De Bruijn on käsitellyt useita matematiikan alueita. Se tunnetaan erityisesti seuraavista:
- De Bruijnin perintö ;
- Moser – de Bruijn-perintö ;
- havaittuaan algebrallisen teorian Penrose-laatoinnista ja yleisemmin löydettyään "projektio"- ja " multigrid "-menetelmät kvasiperiodisten laatoitusten rakentamiseksi; [ 5 ] [ 6 ]
- De Bruijn-Newman vakio ;
- De Bruijn – Erdősin lause graafiteoriassa;
- toinen samanniminen lause, De Bruijn–Erdősin lause , ilmaantuvuusteoriassa ;
- PARAS lause graafiteoriassa ; Y
- de Bruijnin indeksit .
Hän kirjoitti yhden edistyneen asymptoottisen analyysin viitekirjoista (De Bruijn, 1958).
1960-luvun lopulla hän suunnitteli Automath- kielen edustamaan matemaattisia todisteita , jotta ne voidaan todentaa automaattisesti (katso Interaktiivinen lauseiden todentaminen ). Vähän ennen kuolemaansa hän työskenteli ihmisaivojen mallien parissa .
Julkaisut
Kirjavalikoima:
- 1943. Over modulaire vormen van meer veranderlijken
- 1958. Asymptotic Methods in Analysis, North-Holland, Amsterdam.
Kohteen valinta:
- deBruijn, Nicolaas Govert. "A kombinatorinen ongelma", 1946. Teoksessa Proceedings of the Section of Sciences, Vol. 49, No. 7, pp. 758–764. Koninklijke Nederlandse Akademie v. Wetenschhappen.
- deBruijn, Nicolaas Govert. " Matemaattinen kieli AUTOMATH, sen käyttö ja jotkin sen laajennukset ." Symposiumi automaattisesta esittelystä. Springer Berlin Heidelberg, 1970.
- deBruijn, Nicolaas Govert. " Lambda-laskennan merkintä nimettömillä nukkeilla, työkalu automaattiseen kaavojen manipulointiin, jota sovelletaan Church-Rosserin lauseeseen ." Tiedustelut Mathematicae (Proceedings). Vol. 75. No. 5. North-Holland, 1972.
Viitteet
- ↑ Yksinään Govert lausutaan/ˈɣoːvərt/ .
- ^ a b Nicolaas Govert de Bruijnin muistokirjoitus Arkistoitu 25.4.2013 Wayback Machinessa 2012
- ^ a b Nicolaas Govert de Bruijn matematiikan sukututkimusprojektissa .
- ^ "Nicolaas Govert de Bruijn (1918–2012)" (hollanniksi) . Alankomaiden kuninkaallinen taide- ja tiedeakatemia . Haettu 17. heinäkuuta 2015 .
- ↑ de Bruijn, N.G. (1981). «Algebrallinen teoria Penrosen tason ei-jaksollisista laatoituksista. YO". Inquiries Mathematicae (Proceedings) 84 : 39-52. doi : 10.1016/1385-7258(81)90016-0 .
- ↑ de Bruijn, N.G. (1981). «Algebrallinen teoria Penrosen tason ei-jaksollisista laatoituksista. II». Inquiries Mathematicae (Proceedings) 84 : 53-66. doi : 10.1016/1385-7258(81)90017-2 .
Ulkoiset linkit
Wikimedia Commons isännöi medialuokkaa Nicolaas Govert de Bruijnille .- Nicolaas Govert de Bruijnin muistokirjoitus
- Bruijn NG de osoitteessa win.tue.nl (hollanniksi)
- Tämä teos sisältää käännöksen " Nicolaas Govert de Bruijn " englanninkielisestä Wikipediasta, jonka julkaisijat ovat julkaisseet GNU Free Documentation -lisenssillä ja Creative Commons Attribution-ShareAlike 3.0 Unported License -lisenssillä .
