De Bruyne, Nicholas

Nicolas Govert de Bruijn ( olandeză.  Nicolaas Govert de Bruijn , 9 iulie 1918 - 17 februarie 2012 ) a fost un matematician olandez , cunoscut pentru cercetări în domeniul teoriei grafurilor , demonstrației automate , autor al unui manual despre metodele asimptotice de analiză. Construcțiile legate de șirul lui de Bruijn sunt numite după el : ciclul de Bruijn, graficul de Bruijn, precum și câteva afirmații binecunoscute în teoria grafurilor, combinatorică , geometrie computațională [5] și teoria numerelor .

Biografie

Născut în 1918 la Haga într-o familie numeroasă de pictor case [6] . În 1936-1941 a studiat la Universitatea din Leiden , din 1939 (până în 1944) a lucrat în paralel ca asistent la Facultatea de Matematică a Universității de Tehnologie Delft . În 1943 și-a primit doctoratul în matematică la Universitatea Liberă din Amsterdam , cu o disertație despre teoria algebrică a numerelor sub supravegherea lui Jurjen Koksma . 

Din 1944 până în 1946 a lucrat în laboratorul de cercetare al Philips Corporation , în 1946 a fost invitat la postul de profesor la Facultatea de Matematică a Universității de Tehnologie Delft. Lucrările de combinatorie și geometria incidenței aparțin acestei perioade , rezultatul cel mai semnificativ fiind teorema de Bruijn-Erdős , publicată împreună cu Pal Erdős în 1948, care dă o limită inferioară a numărului de linii care pot fi trase printr-un set dat de puncte din planul proiectiv (într-un sens, analog proiectiv al teoremei lui Sylvester ). Este de remarcat faptul că afirmația duală este cunoscută ca teorema Erdős-de Bruijn . Un alt rezultat comun cu Pal Erdős a fost demonstrarea în 1951 a afirmației că fiecare graf -cromatic infinit conține un subgraf finit care este și -cromatic, cunoscut și sub numele de teorema lui de Bruijn-Erdős .

În 1952 a fost invitat la postul de profesor la Universitatea din Amsterdam , unde a lucrat până în 1960. Cea mai remarcabilă lucrare a acestui timp este un curs de prelegeri despre metodele asimptotice de analiză, publicat în 1958 sub forma unei cărți, retipărită de două ori și tradusă în limba rusă.

Din 1960, a  fost profesor de matematică la Universitatea Tehnică din Eindhoven , deținând această funcție până în 1984, după care a primit statutul de emerit . La Eindhoven, a lucrat la teoria numerelor analitice , probleme de control optim , descrierea matematică a cvasicristalelor (în special, tiling Penrose ), a obținut o serie de rezultate în geometria combinatorie (dintre care unul este cunoscut sub numele de teorema lui de Bruijn ). Lucrările de la sfârșitul anilor 1960 și începutul anilor 1970 s-au concentrat în domeniul demonstrației  - a fost dezvoltat limbajul formal Automath care implementează paradigma izomorfismului Curry-Howard , care afirmă o corespondență unu-la-unu între o demonstrație formală . și un program de calculator . Calculul λ tipizat , dezvoltat câțiva ani mai târziu, a fost efectiv o redescoperire a lui Automath.

În ultimii ani ai vieții, a fost angajat în sarcina de a modela creierul uman .

Academia și premii

În 1957 a fost ales membru al Academiei Regale de Științe a Țărilor de Jos . În 1970 a fost speaker invitat la Congresul Internațional al Matematicienilor de la Nisa.

În 1981 a fost distins cu Ordinul Leului Olandez (cavaler al ordinului), în 1985 a primit medalia Snell .

Bibliografie

• De Bruijn, Nicolaas. Metode asimptotice în analiză. - Amsterdam : Olanda de Nord , 1958.
  • Traducere în rusă: De Bruijn, N. G. Asymptotic Methods in Analysis. - M. : IL, 1961. - 248 p.
  • Reeditări: 1961 (North-Holland), 1981 ( Dover Publications ).
• De Bruijn, NG Un studiu al proiectului Automath. (engleză)  // Seldin, JP și Hindley, JR Către HB Curry: Eseuri despre logica combinatorie, calculul lambda și formalismul. - L. : Academic Press , 1980. - P. 579-606 . — ISBN 9780123490506 .

Note

1. ↑ 1 2 Nicolaas Govert de Bruijn // KNAW Past Members 
2. ↑ 1 2 https://www.tue.nl/universiteit/alumni/emeriti/album-academicum/
3. ↑ Institutul de matematică Korteweg-de Vries  (olandeză)
4. ↑ Genealogia matematică  (engleză) - 1997.
5. ↑ Weisstein, Teorema lui Eric W. de Bruijn  . Mathworld . Cercetarea Wolfram . Preluat la 3 martie 2012. Arhivat din original la 20 mai 2021.
6. ↑ TUE, 2008 , Zijn vader had er een schilderszaak en het gezin telde acht kinderen.

Link -uri

• Bruijn, NG de  (n.d.) . Enciclopedia Kleine TU/E . MAR (2008). Preluat la 3 martie 2012. Arhivat din original la 14 mai 2012.
• O'Connor, JJ și Robertson, E. F. Nicolaas Govert de Bruijn  . MacTutor . Universitatea din St Andrews (2008). Preluat la 3 martie 2012. Arhivat din original la 14 mai 2012.

Site-uri tematice	Genealogie matematică zbMATH Deschide Arhiva pentru Istoria Matematicii MacTutor
În cataloagele bibliografice 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