De Bruyne, Nicholas

Nicolas Govert de Bruijn ( hollandsk.  Nicolaas Govert de Bruijn , 9. juli 1918 - 17. februar 2012 ) var en hollandsk matematiker , kendt for forskning inden for grafteori , automatisk bevis , forfatter til en lærebog om asymptotiske analysemetoder. Konstruktioner relateret til de Bruijn-sekvensen er opkaldt efter ham : de Bruijn-cyklussen, de Bruijn-grafen, samt adskillige velkendte udsagn inden for grafteori, kombinatorik , beregningsgeometri [5] og talteori .

Biografi

Født i 1918 i Haag i en stor familie af en husmaler [6] . I 1936-1941 studerede han ved universitetet i Leiden , fra 1939 (indtil 1944) arbejdede han sideløbende som assistent ved det matematiske fakultet ved Delfts teknologiske universitet . I 1943 modtog han sin doktorgrad i matematik fra Free University of Amsterdam med en afhandling om algebraisk talteori under tilsyn af Jurjen Koksma . 

Fra 1944 til 1946 arbejdede han i Philips Corporations forskningslaboratorium , i 1946 blev han inviteret til stillingen som professor ved Det Matematiske Fakultet ved Delft University of Technology. Værker om kombinatorik og incidensgeometri hører til denne periode , det vigtigste resultat er de Bruijn-Erdős sætning , udgivet sammen med Pal Erdős i 1948, som giver en nedre grænse for antallet af linjer, der kan tegnes gennem et givet sæt af punkter i det projektive plan (i en vis forstand projektiv analog til Sylvesters sætning ). Det er bemærkelsesværdigt, at det dobbelte udsagn er kendt som Erdős-de Bruijn-sætningen . Et andet fælles resultat med Pal Erdős var beviset i 1951 på påstanden om, at hver uendelig -kromatisk graf indeholder en finit undergraf, der også er -kromatisk, også kendt som de Bruijn-Erdős-sætningen .

I 1952 blev han inviteret til stillingen som professor ved universitetet i Amsterdam , hvor han arbejdede indtil 1960. Det mest bemærkelsesværdige værk i denne tid er et kursus med forelæsninger om asymptotiske analysemetoder, udgivet i 1958 i form af en bog, to gange genoptrykt og oversat til russisk.

Siden 1960 var han  professor i matematik ved det tekniske universitet i Eindhoven , hvor han holdt denne stilling indtil 1984, hvorefter han fik status som emeritus . I Eindhoven arbejdede han på analytisk talteori , optimale kontrolproblemer , den matematiske beskrivelse af kvasikrystaller (især Penrose-flisebelægningen ), opnåede en række resultater inden for kombinatorisk geometri (hvoraf den ene er kendt som de Bruijns teorem ). Arbejdet i slutningen af ​​1960'erne og begyndelsen af ​​1970'erne var koncentreret inden for bevisførelse  - det formelle sprog Automath første formalisme, der implementerer Curry-Howard isomorfisme- paradigmet , som hævder en en-til-en overensstemmelse mellem et formelt bevis og et computerprogram . Den maskinskrevne λ-calculus , udviklet et par år senere, var faktisk en genopdagelse af Automath.

De sidste år af sit liv var han engageret i opgaven med at modellere den menneskelige hjerne .

Akademia og priser

I 1957 blev han valgt til medlem af Royal Netherlands Academy of Sciences . I 1970 var han inviteret taler ved den internationale matematikkongres i Nice.

I 1981 blev han tildelt Order of the Netherlands Lion (ordenens ridder), i 1985 blev han tildelt Snell-medaljen .

Bibliografi

• De Bruijn, Nicolaas. Asymptotiske metoder i analyse. - Amsterdam : Nord-Holland , 1958.
  • Oversættelse til russisk: De Bruijn, N. G. Asymptotic Methods in Analysis. - M. : IL, 1961. - 248 s.
  • Genudgivelser: 1961 (Nord-Holland), 1981 ( Dover Publications ).
• De Bruijn, NG En undersøgelse af projektet Automath. (Engelsk)  // Seldin, JP og Hindley, JR Til HB Curry: Essays om kombinatorisk logik, lambdaregning og formalisme. - L .: Academic Press , 1980. - P. 579-606 . — ISBN 9780123490506 .

Noter

1. ↑ 1 2 Nicolaas Govert de Bruijn // KNAW Tidligere medlemmer 
2. ↑ 1 2 https://www.tue.nl/universiteit/alumni/emeriti/album-academicum/
3. ↑ Korteweg-de Vries Institut for Matematik  (hollandsk)
4. ↑ Matematisk genealogi  (engelsk) - 1997.
5. ↑ Weisstein, Eric W. de Bruijns  sætning . Mathworld . Wolfram Research . Hentet 3. marts 2012. Arkiveret fra originalen 20. maj 2021.
6. ↑ TIR, 2008 , Hans vader havde en schilderszaak en het familie telde acht kinderen.

Links

• Bruijn, NG de  (n.d.) . Kleine TU/E Encyclopedia . TUE (2008). Hentet 3. marts 2012. Arkiveret fra originalen 14. maj 2012.
• O'Connor, JJ og Robertson, E.F. Nicolaas Govert de Bruijn  . MacTutor . University of St. Andrews (2008). Hentet 3. marts 2012. Arkiveret fra originalen 14. maj 2012.

Tematiske steder	Matematisk genealogi zbMATH Åbn Arkiv for matematikkens historie MacTutor
I bibliografiske kataloger BIBSYS: 90811238 BNF : 12357973c GND : 12271024X ISNI : 0000 0001 0918 9485 J9U : 987007453415605171 LCCN : n80156477 NKC : ctu2012725157 NTA : 069311358 NUKAT : n2002026866 SUDOC : 070300771 VIAF : 79096247 World Cat VIAF : 79096247