De Bruyne, Nicholas
| Nicholas Govert de Bruyne | |
|---|---|
| Nicolaas Govert de Bruijn | |
| Födelsedatum | 9 juli 1918 [1] [2] |
| Födelseort | Haag |
| Dödsdatum | 17 februari 2012 [3] [1] [2] […] (93 år) |
| En plats för döden | Nuenen |
| Land | Nederländerna |
| Vetenskaplig sfär | matematiker |
| Arbetsplats | Eindhovens tekniska universitet |
| Alma mater | Leidens universitet |
| Akademisk examen | Filosofie doktor (PhD) |
| Akademisk titel | Professor |
| vetenskaplig rådgivare | Jurien Koksma [d] [4] |
| Känd som | forskare av automatiskt bevis , de Bruijn-sekvenser |
| Mediafiler på Wikimedia Commons | |
Nicolas Govert de Bruijn ( holländsk. Nicolaas Govert de Bruijn , 9 juli 1918 - 17 februari 2012 ) var en nederländsk matematiker , känd för forskning inom området grafteori , automatiskt bevis , författare till en lärobok om asymptotiska analysmetoder. Konstruktioner relaterade till de Bruijn-sekvensen är uppkallade efter honom : de Bruijn-cykeln, de Bruijn-grafen, såväl som flera välkända påståenden inom grafteori, kombinatorik , beräkningsgeometri [5] och talteori .
Biografi
Född 1918 i Haag i en stor familj av en husmålare [6] . 1936-1941 studerade han vid universitetet i Leiden , från 1939 (till 1944) arbetade han parallellt som assistent vid den matematiska fakulteten vid Delfts tekniska universitet . År 1943 doktorerade han i matematik från Free University of Amsterdam med en avhandling om algebraisk talteori under överinseende av Jurjen Koksma .
Från 1944 till 1946 arbetade han i Philips Corporations forskningslaboratorium , 1946 blev han inbjuden till tjänsten som professor vid den matematiska fakulteten vid Delfts tekniska universitet. Verk om kombinatorik och incidensgeometri tillhör denna period , det viktigaste resultatet är de Bruijn-Erdős sats , publicerad tillsammans med Pal Erdős 1948 , som ger en nedre gräns för antalet linjer som kan dras genom en given uppsättning av punkter i det projektiva planet (i viss mening, projektiv analog till Sylvesters sats ). Det är anmärkningsvärt att det dubbla uttalandet är känt som Erdős-de Bruijn-satsen . Ett annat gemensamt resultat med Pal Erdős var beviset 1951 på påståendet att varje oändlig -kromatisk graf innehåller en finit subgraf som också är -kromatisk, även känd som de Bruijn-Erdős teorem .
1952 blev han inbjuden till en tjänst som professor vid universitetet i Amsterdam , där han arbetade fram till 1960. Det mest anmärkningsvärda arbetet för denna tid är en kurs med föreläsningar om asymptotiska analysmetoder, publicerad 1958 i form av en bok, två gånger omtryckt och översatt till ryska.
Sedan 1960 var han professor i matematik vid Technical University of Eindhoven och innehade denna position fram till 1984, varefter han fick status som emeritus . I Eindhoven arbetade han med analytisk talteori , optimala kontrollproblem , den matematiska beskrivningen av kvasikristaller (i synnerhet Penrose-plattsättningen ), fick ett antal resultat i kombinatorisk geometri (varav en är känd som de Bruijns sats ). Arbetet under det sena 1960-talet och början av 1970-talet var koncentrerat till området för bevis - det formella språket Automath första formalismen som implementerar Curry-Howard isomorfism paradigm , som hävdar en en-till-en överensstämmelse mellan ett formellt bevis och ett datorprogram . Den typade λ-kalkylen , utvecklad några år senare, var i själva verket en återupptäckt av Automath.
De sista åren av sitt liv var han engagerad i uppgiften att modellera den mänskliga hjärnan .
Akademi och utmärkelser
1957 valdes han till medlem av Royal Netherlands Academy of Sciences . 1970 var han inbjuden talare vid International Congress of Mathematicians i Nice.
1981 tilldelades han Order of the Netherlands Lion (ordensriddare), 1985 tilldelades han Snell-medaljen .
Bibliografi
- De Bruijn, Nicolaas. Asymptotiska metoder i analys. - Amsterdam : Nord-Holland , 1958.
- Översättning till ryska: De Bruijn, N. G. Asymptotic Methods in Analysis. - M. : IL, 1961. - 248 sid.
- Återutgivningar: 1961 (Nord-Holland), 1981 ( Dover Publications ).
- De Bruijn, NG En undersökning av projektet Automath. (engelska) // Seldin, JP och Hindley, JR Till HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. - L .: Academic Press , 1980. - P. 579-606 . — ISBN 9780123490506 .
Anteckningar
- ↑ 1 2 Nicolaas Govert de Bruijn // KNAW Tidigare medlemmar
- ↑ 1 2 https://www.tue.nl/universiteit/alumni/emeriti/album-academicum/
- ↑ Korteweg-de Vries Institutet för matematik (nederländska)
- ↑ Mathematical Genealogy (engelska) - 1997.
- ↑ Weisstein, Eric W. de Bruijns sats . Mathworld . Wolfram Research . Hämtad 3 mars 2012. Arkiverad från originalet 20 maj 2021.
- ↑ TUE, 2008 , Zijn vader hade en schilderszaak en het familjemedlemmar.
Länkar
- Bruijn, NG de (n.d.) . Kleine TU/E Encyclopedia . TUE (2008). Hämtad 3 mars 2012. Arkiverad från originalet 14 maj 2012.
- O'Connor, JJ och Robertson, E.F. Nicolaas Govert de Bruijn . MacTutor . University of St Andrews (2008). Hämtad 3 mars 2012. Arkiverad från originalet 14 maj 2012.
 Tematiska platser | ||||
|---|---|---|---|---|
| ||||