De Bruyne, Nicholas
| Nicholas Govert de Bruyne | |
|---|---|
| Nicolaas Govert de Bruijn | |
| Datum narození | 9. července 1918 [1] [2] |
| Místo narození | Haag |
| Datum úmrtí | 17. února 2012 [3] [1] [2] […] (ve věku 93 let) |
| Místo smrti | Nuenen |
| Země | Holandsko |
| Vědecká sféra | matematik |
| Místo výkonu práce | Technická univerzita v Eindhovenu |
| Alma mater | Leidenská univerzita |
| Akademický titul | doktor filozofie (PhD) |
| Akademický titul | Profesor |
| vědecký poradce | Jurien Koksma [d] [4] |
| Známý jako | výzkumník automatického důkazu , de Bruijnovy sekvence |
| Mediální soubory na Wikimedia Commons | |
Nicolas Govert de Bruijn ( Nizozemština. Nicolaas Govert de Bruijn , 9. července 1918 – 17. února 2012 ) byl nizozemský matematik , známý pro výzkum v oblasti teorie grafů , automatického důkazu , autor učebnice asymptotických metod analýzy. Po něm jsou pojmenovány konstrukce související s de Bruijnovou posloupností : de Bruijnův cyklus, de Bruijnův graf a také několik známých výroků z teorie grafů, kombinatoriky , výpočetní geometrie [5] a teorie čísel .
Životopis
Narozen v roce 1918 v Haagu v početné rodině malíře domů [6] . V letech 1936-1941 studoval na univerzitě v Leidenu , od roku 1939 (do roku 1944) působil paralelně jako asistent na Matematické fakultě Technické univerzity v Delftu . V roce 1943 získal doktorát z matematiky na Svobodné univerzitě v Amsterdamu disertační prací o algebraické teorii čísel pod vedením Jurjena Koksmy .
V letech 1944 až 1946 pracoval ve výzkumné laboratoři Philips Corporation , v roce 1946 byl pozván na místo profesora na Matematické fakultě Technické univerzity v Delftu. Práce o kombinatorice a incidenční geometrii spadají do tohoto období , nejvýznamnějším výsledkem je de Bruijn-Erdősův teorém , publikovaný společně s Palem Erdősem v roce 1948, který udává spodní hranici počtu čar, které lze nakreslit danou množinou body v projektivní rovině (v jistém smyslu projektivní analogie Sylvesterovy věty ). Je pozoruhodné, že dvojí tvrzení je známé jako Erdős-de Bruijn teorém . Dalším společným výsledkem s Palem Erdősem byl v roce 1951 důkaz tvrzení, že každý nekonečný - chromatický graf obsahuje konečný podgraf, který je také - chromatický, také známý jako de Bruijn-Erdősův teorém .
V roce 1952 byl pozván na místo profesora na univerzitě v Amsterdamu , kde působil až do roku 1960. Nejpozoruhodnějším dílem této doby je kurz přednášek o asymptotických metodách analýzy, vydaný v roce 1958 ve formě knihy, dvakrát přetištěné a přeložené do ruštiny.
Od roku 1960 byl profesorem matematiky na Technické univerzitě v Eindhovenu , tuto funkci zastával až do roku 1984, poté získal status emeritního . V Eindhovenu pracoval na analytické teorii čísel , problémech optimálního řízení , matematickém popisu kvazikrystalů (zejména Penroseova obkladu ), získal řadu výsledků v kombinatorické geometrii (jeden z nich je známý jako de Bruijnův teorém ). Práce konce 60. a počátku 70. let se soustředily na oblast důkazu – byl vyvinut formální jazyk Automath formalismus, který implementuje Curryho-Howardovo paradigma izomorfismu , který prosazuje vzájemnou shodu mezi formálním důkazem . a počítačový program . Typovaný λ-počet , vyvinutý o několik let později, byl v podstatě znovuobjevením Automathu.
Poslední roky svého života se zabýval úkolem modelování lidského mozku .
Akademická sféra a ocenění
V roce 1957 byl zvolen členem Královské nizozemské akademie věd . V roce 1970 byl pozvaným řečníkem na Mezinárodním kongresu matematiků v Nice.
V roce 1981 mu byl udělen Řád nizozemského lva (rytíř řádu), v roce 1985 mu byla udělena Snellova medaile .
Bibliografie
- De Bruijn, Nicolaas. Asymptotické metody v analýze. - Amsterdam : North-Holland , 1958.
- Překlad do ruštiny: De Bruijn, N. G. Asymptotické metody v analýze. - M. : IL, 1961. - 248 s.
- Reedice: 1961 (North-Holland), 1981 ( Dover Publications ).
- De Bruijn, NG Průzkum projektu Automath. (anglicky) // Seldin, JP a Hindley, JR To HB Curry: Essays on Combinatory Logic, Lambda kalkul a formalismus. - L .: Academic Press , 1980. - S. 579-606 . — ISBN 9780123490506 .
Poznámky
- ↑ 1 2 Nicolaas Govert de Bruijn // KNAW Minulí členové
- ↑ 1 2 https://www.tue.nl/universiteit/alumni/emeriti/album-academicum/
- ↑ Matematický ústav Korteweg-de Vries (nizozemština)
- ↑ Matematická genealogie (anglicky) - 1997.
- ↑ Weisstein, Věta Erica W. de Bruijna . Mathworld . Wolfram výzkum . Získáno 3. března 2012. Archivováno z originálu dne 20. května 2021.
- ↑ ÚT , 2008 , Zijn vader měl er een schilderszaak en het gezin telde acht kinderen.
Odkazy
- Bruijn, NG de (n.d.) . Kleine TU/E Encyklopedie . ÚT (2008). Získáno 3. března 2012. Archivováno z originálu dne 14. května 2012.
- O'Connor, JJ a Robertson, E. F. Nicolaas Govert de Bruijn . MacTutor . University of St Andrews (2008). Získáno 3. března 2012. Archivováno z originálu dne 14. května 2012.
 Tematické stránky | ||||
|---|---|---|---|---|
| ||||