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) |
| Státní příslušnost | holandský |
| Alma mater | Vrije Universiteit Amsterdam |
| Známý jako |
Sekvence De Bruijn De Bruijn 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 ( Dick ) de Bruijn ( holandsky: [nikoːˈlaːs ːoːvərt də œbrœyn] ; 9. července 1918 - 17. února 2012) byl nizozemský matematik , známý svými mnoha příspěvky v oblasti analýzy , teorie čísel , kombinatoriky a logiky .
Životopis
De Bruijn se narodil v Haagu, kde navštěvoval základní školu v letech 1924 až 1930 a střední školu až do roku 1934. Matematiku zahájil na univerzitě v Leidenu v roce 1936, studium však přerušilo vypuknutí druhé světové války v roce 1939. Stal se na plný úvazek asistent na katedře matematiky na Technologické univerzitě v Delftu v září 1939, zatímco pokračoval ve studiu. Vysokoškolské studium ukončil na univerzitě v Leidenu v roce 1941. Doktorát získal v roce 1943 na Vrije Universiteit Amsterdam diplomovou prací „Over modulaire vormen van meer veranderlijken“, kterou doporučil Jurjen Ferdinand Koksma .
Od června 1944 pracoval jako vědecký pracovník ve výzkumných laboratořích Philips v Eindhovenu .
Oženil se s Elizabeth de Grootovou dne 30. srpna 1944. Pár měl čtyři děti: Jorina Aleida (narozena 19. ledna 1947), Frans Willem (narozena 13. dubna 1948), Elisabeth (narozena 24. listopadu 1950) a Judith Elizabeth (narozena 31. března 1963) ).
De Bruijn zahájil svou akademickou kariéru na univerzitě v Amsterdamu , kde byl profesorem matematiky v letech 1952 až 1960. V roce 1960 přešel na Technickou univerzitu v Eindhovenu, kde byl profesorem matematiky až do svého odchodu do důchodu v roce 1984. Mezi jeho postgraduální studenty patřil 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).
V roce 1957 byl jmenován členem Nizozemské královské akademie umění a věd . Byl rytířem Řádu nizozemského lva .
Práce
De Bruijn se zabýval mnoha oblastmi matematiky. On je zvláště známý pro:
- objev sekvence De Bruijn ,
- objevení algebraickou teorii o Penrose obkladů a, obecněji, objevování „projekce“ a „multigrid“ metody pro konstrukci kvazi-periodický tilings,
- De Bruijn-Newman konstantní ,
- De Bruijn-Erdős věta , v teorii grafů ,
- odlišná věta se stejným názvem: De Bruijn – Erdősova věta , v geometrii dopadu ,
- BEST věta v teorii grafů, a
- De Bruijnovy indexy .
Napsal jednu ze standardních knih pro pokročilou asymptotickou analýzu (De Bruijn, 1958).
Na konci šedesátých let navrhl jazyk Automath pro reprezentaci matematických důkazů, aby je bylo možné automaticky ověřovat (viz automatizovaná kontrola teorémů ). Krátce před svou smrtí pracoval na modelech pro lidský mozek .
Publikace
Knihy, výběr:
- 1943. Over modulaire vormen van meer veranderlijken
- 1958. Asymptotické metody v analýze, North-Holland, 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 teorém Church-Rosser .“ Indagationes Mathematicae (Sborník). Sv. 75. Č. 5. North-Holland, 1972.
Viz také
Reference
externí odkazy
- Nekrolog Nicolaase Govert de Bruijn
- Bruijn NG de na adrese win.tue.nl (v holandštině)