Nicolaas Govert de Bruijn - Nicolaas Govert de Bruijn
Nicolaas Govert de Bruijn | |
|---|---|
 | |
| narozený | 9. července 1918 |
| Zemřel | 17. února 2012 (ve věku 93) |
| Národnost | holandský |
| Alma mater | Vrije Universiteit Amsterdam |
| Známý jako | De Bruijnova sekvence De Bruijnův index Automath |
| Vědecká kariéra | |
| Pole | Matematika |
| Instituce | Eindhoven University of Technology |
| Doktorský poradce | Jurjen Ferdinand Koksma |
| Doktorandi | Johannes Runnenburg Stan Ackermans |
Nicolaas Govert (Dicku) de Bruijn (Holandský:[nikoːˈlaːs ˈxoːvərt də œbrœyn];[1] 9. července 1918 - 17. února 2012) byl Holanďan matematik, známý svými mnoha příspěvky v oblastech analýza, teorie čísel, kombinatorika a logika.[2]
Životopis
Narozen v Haag, De Bruijn získal magisterský titul z matematiky na Leiden University v roce 1941. Titul PhD získal v roce 1943 od Vrije Universiteit Amsterdam s tezí s názvem „Over modulaire vormen van meer veranderlijken“ doporučil Jurjen Ferdinand Koksma.[3]
De Bruijn zahájil svou akademickou kariéru na University of Amsterdam, kde byl profesorem matematiky v letech 1952 až 1960. V roce 1960 se přestěhoval do Technická univerzita Eindhoven kde byl profesorem matematiky až do svého odchodu do důchodu v roce 1984.[2] Mezi jeho postgraduální studenty byli 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) a Harmannus Balsters (1986).[3]
V roce 1957 byl jmenován členem Nizozemská královská akademie umění a věd.[4] Byl rytířem s Řád nizozemského lva.
Práce
De Bruijn se zabýval mnoha oblastmi matematiky. On je zvláště známý pro:
- objev De Bruijnova sekvence,
- objevení algebraické teorie Penroseovy obklady a, obecněji, objevení „projekčních“ a „multigridových“ metod pro konstrukci kvazi-periodických náklonů,[5][6]
- the De Bruijn – Newmanova konstanta,
- the De Bruijn – Erdősova věta, v teorie grafů,
- jiná věta stejného jména: De Bruijn – Erdősova věta, v geometrie dopadu,
- the NEJLEPŠÍ věta v teorii grafů a
- De Bruijnovy indexy.
Napsal jednu ze standardních knih pro pokročilé asymptotická analýza (De Bruijn, 1958).
Na konci šedesátých let navrhl Automath jazyk pro zastupování matematických důkazů, aby je bylo možné automaticky ověřovat (viz automatizovaná kontrola věty ). Krátce před svou smrtí pracoval na modelech pro lidský mozek.
Publikace
Knihy, výběr:
- 1943. Přes modulaire vormen van meer veranderlijken
- 1958. Asymptotické metody v analýze, Severní Holandsko, Amsterdam.
Články, výběr:
- de Bruijn, Nicolaas Govert. "Combinatorial problem", 1946. In Proceedings of the Section of Sciences, Vol. 49, č. 7, str. 758–764. Koninklijke Nederlandse Akademie v. Wetenschappen.
- de Bruijn, Nicolaas Govert. "Matematický jazyk AUTOMAT, jeho použití a některá jeho rozšíření „Sympózium o automatické demonstraci. Springer Berlin Heidelberg, 1970.
- de Bruijn, Nicolaas Govert. "Zápis lambda kalkulu s bezejmennými figurínami, nástroj pro automatickou manipulaci s formulemi, s aplikací na Church-Rosserovu větu "Indagationes Mathematicae (Proceedings). Svazek 75. Č. 5. North-Holland, 1972.
Viz také
Reference
- ^ V izolaci, Govert je vyslovováno [ˈƔoːvərt].
- ^ A b Nekrolog Nicolaase Govert de Bruijn Archivováno 2013-04-25 na Wayback Machine 2012
- ^ A b Nicolaas Govert de Bruijn na Matematický genealogický projekt
- ^ „Nicolaas Govert de Bruijn (1918–2012)“ (v holandštině). Nizozemská královská akademie umění a věd. Citováno 17. července 2015.
- ^ de Bruijn, N.G. (1981). „Algebraická teorie Penrosových neperiodických naklonění roviny.. Indagationes Mathematicae (sborník). 84: 39–52. doi:10.1016/1385-7258(81)90016-0.
- ^ de Bruijn, N.G. (1981). „Algebraická teorie Penrosových neperiodických naklonění roviny. II.“. Indagationes Mathematicae (sborník). 84: 53–66. doi:10.1016/1385-7258(81)90017-2.
externí odkazy
- Nekrolog Nicolaase Govert de Bruijn
- Bruijn N.G. de na adrese win.tue.nl (v holandštině)
