Nicolaas Govert de Bruijn

Nicolaas Govert de Bruijn
Nicolaas Govert de Bruijn, .
FöddNicolaas Govert de Bruijn[1]
9 juli 1918[2][3][4]
Haag[4]
Död17 februari 2012[5][2][3] (93 år)
Nuenen[1], Nederländerna
Medborgare iKonungariket Nederländerna
Utbildad vidUniversitetet i Leiden, [1]
Vrije Universiteit Amsterdam, filosofie doktor, [1]
SysselsättningMatematiker[6], universitetslärare[7][3], datavetare
ArbetsgivareDelfts tekniska universitet (1939–1944)[1]
Philips Natuurkundig Laboratorium (1944–1946)[1]
Delfts tekniska universitet (1946–1952)[7]
Amsterdams universitet (1952–1960)[8]
Eindhovens teknologiska universitet (1960–1984)[3][1]
Noterbara verkDe Bruijn-graf, De Bruijn-sekvens, De Bruijn–Newman-konstant och BEST-teoremet
BarnJudith de Bruijn (f. 1963)
Utmärkelser
Riddare i Nederländska Lejonorden (1981)[1]
Redigera Wikidata

Nicolaas Govert (Dick) de Bruijn,[9] född den 9 juli 1918 i Haag, Nederländerna, död den 17 februari 2012 i Nuenen, var en holländsk matematiker. Vid sin död var han professor emeritus i matematik vid Technische Universiteit Eindhoven och främst känd för sina många bidrag inom analys, talteori, kombinatorik och logik.[10]

Prof. dr. N. G. de Bruyn, 1947

Biografi

De Bruijn gick i grundskolan i Haag mellan 1924 och 1930 och gymnasiet fram till 1934. Han började studera matematik vid Leiden University 1936 men hans studier avbröts av andra världskrigets utbrott 1939. Han blev assistent på heltid vid matematiska institutionen vid Teknologiska universitetet i Delft i september 1939 medan han samtidigt fortsatte sina studier.[11] Han avslutade sin grundutbildning vid universitetet i Leiden 1941 och avlade doktorsexamen 1943 vid Vrije Universiteit Amsterdam med avhandlingen "Over modulaire vormen van meer veranderlijken" framställd under handledning av Jurjen Ferdinand Koksma.[12]

Från juni 1944 var han en konsulterande forskare vid Philips Research Laboratories i Eindhoven.

de Bruijn gifte sig med Elizabeth de Groot den 30 augusti 1944. Paret fick fyra barn: Jorina Aleida (född den 19 januari 1947), Frans Willem (född 13 april 1948), Elisabeth (född 24 november 1950) och Judith Elizabeth (född 31 mars 1963).[11]

De Bruijn började sin akademiska karriär vid Amsterdams universitet, där han var professor i matematik från 1952 till 1960. År 1960 flyttade han till tekniska universitetet Eindhoven där han var professor i matematik fram till sin pensionering 1984.[10]

År 1957 utsågs han till ledamot av Royal Netherlands Academy of Arts and Sciences.[13] Han adlades med Orden av det nederländska lejonet.

Vetenskapligt arbete

De Bruijn täckte många områden av matematik. Han är särskilt känd för:

Han skrev en av standardböckerna i avancerad asymptotisk analys (De Bruijn, 1958). I slutet av sextiotalet utvecklade han automatspråket för att representera matematiska bevis, så att de kunde verifieras automatiskt (automatiserad satskontroll). Strax före sin död hade han arbetat med modeller för den mänskliga hjärnan.

Bibliografi (urval)

Böcker:

  • 1943. Over modulaire vormen van meer veranderlijken
  • 1958. Asymptotic Methods in Analysis, North-Holland, Amsterdam.

Artiklar:

Referenser

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Nicolaas Govert de Bruijn, 13 november 2021.

Noter

  1. ^ [a b c d e f g h] MacTutor History of Mathematics archive.[källa från Wikidata]
  2. ^ [a b] KNAW historisk medlemslista, KNAW-nummer: PE00005777, läst: 9 oktober 2017.[källa från Wikidata]
  3. ^ [a b c d] album academicum, läs online, läst: 8 juli 2019.[källa från Wikidata]
  4. ^ [a b] Amsterdams universitets Album Academicum-ID: id001397, läst: 9 september 2019.[källa från Wikidata]
  5. ^ Korteweg-de Vries Institute for Mathematics (på tyska), läs online, läst: 12 augusti 2012.[källa från Wikidata]
  6. ^ Gemeinsame Normdatei, läst: 24 juni 2015.[källa från Wikidata]
  7. ^ [a b] dataset Library TU Delft, 19 april 2017, läst: 20 maj 2019.[källa från Wikidata]
  8. ^ Album Academicum, Amsterdams universitets Album Academicum-ID: id001397, läst: 15 september 2019.[källa från Wikidata]
  9. ^ In isolation, Govert is pronounced [ˈɣoːvərt].
  10. ^ [a b] Nicolaas Govert de Bruijn's obituary Arkiverad 25 april 2013 hämtat från the Wayback Machine. Arkiverad 2013-04-25 2012
  11. ^ [a b] MacTutor History of Mathematics archive: Nicolaas Govert de Bruijn. Arkiverad
  12. ^ Nicolaas Govert de BruijnMathematics Genealogy Project
  13. ^ ”Nicolaas Govert de Bruijn (1918–2012)” (på nederländska). Royal Netherlands Academy of Arts and Sciences. http://www.dwc.knaw.nl/biografie/pmknaw/?pagetype=authorDetail&aId=PE00005777. Läst 17 juli 2015. 
  14. ^ de Bruijn, N.G. (1981). ”Algebraic theory of Penrose's non-periodic tilings of the plane. I”. Indagationes Mathematicae (Proceedings) 84: sid. 39–52. doi:10.1016/1385-7258(81)90016-0. 
  15. ^ de Bruijn, N.G. (1981). ”Algebraic theory of Penrose's non-periodic tilings of the plane. II”. Indagationes Mathematicae (Proceedings) 84: sid. 53–66. doi:10.1016/1385-7258(81)90017-2. 

Se även

Externa länkar