Die De-Bruijn-Folge, eine zyklische Anordnung von Symbolen, bei der jede mögliche Teilfolge einer bestimmten Länge genau einmal vorkommt, bleibt ein Eckpfeiler der kombinatorischen Mathematik. Diese von Nicolaas Govert de Bruijn entwickelte Leistung steht beispielhaft für seine Karriere, die die niederländische akademische Landschaft umspannte und die Entwicklung der Logik, der theoretischen Informatik und der Graphentheorie maßgeblich beeinflusste.
Akademische Ausbildung und frühe Karriere
Geboren 1918 in Den Haag, begann Nicolaas Govert de Bruijn 1936 sein formelles Mathematikstudium an der Universität Leiden. Seine Ausbildung fiel mit dem Beginn des Zweiten Weltkriegs zusammen, während dessen er ab 1939 als Assistent an der Technischen Universität Delft arbeitete. Er schloss sein Grundstudium 1941 in Leiden ab und promovierte 1943 an der Vrije Universiteit Amsterdam, wo er seine Dissertation 'Over modulaire vormen van meer veranderlijken' unter der Betreuung von Jurjen Ferdinand Koksma schrieb.
Berufliche Ernennungen
Nach seiner Promotion trat De Bruijn 1944 in das Philips Natuurkundig Laboratorium in Eindhoven ein. Später bekleidete er verschiedene akademische Positionen, darunter eine Rückkehr an die Technische Universität Delft von 1946 bis 1952. Seine Karriere führte ihn an die Universität Amsterdam, wo er von 1952 bis 1960 als Professor tätig war. Seine aktive Lehrtätigkeit beendete er an der Technischen Universität Eindhoven, wo er von 1960 bis zu seiner Pensionierung im Jahr 1984 als Professor wirkte.
Beiträge zur Mathematik und Informatik
De Bruijns Forschung umfasste Kombinatorik, Zahlentheorie und Analysis. Er ist verantwortlich für mehrere bemerkenswerte mathematische Strukturen und Ergebnisse, darunter den De-Bruijn-Graphen, das BEST-Theorem über Eulersche Schaltkreise, den Satz von De Bruijn-Erdős in der Graphentheorie und die De-Bruijn-Newman-Konstante. Ende der 1960er Jahre entwarf er Automath, eine Sprache zur automatischen Verifizierung mathematischer Beweise. Später in seinem Leben konzentrierte er sich auf die Modellierung menschlicher Gehirnfunktionen.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Ehrungen und Vermächtnis
1957 wurde De Bruijn als Mitglied in die Königlich Niederländische Akademie der Wissenschaften aufgenommen. Sein Dienst für das Fachgebiet wurde 1981 gewürdigt, als er zum Ritter des Ordens vom Niederländischen Löwen ernannt wurde. Er starb 2012 in Nuenen und hinterließ ein umfangreiches Werk, das Generationen von Studenten beeinflusste, darunter Antonius Levelt, Matheus Hautus und Robert Nederpelt Lazarom.
Fakten auf einen Blick
- Geboren: 1918, Den Haag - Gestorben: 2012, Nuenen - Staatsbürgerschaft: Königreich der Niederlande - Promotion: 1943, Vrije Universiteit Amsterdam - Hauptgebiete: Kombinatorik, Graphentheorie - Wichtige Erfindung: Automath - Auszeichnung: Ritter des Ordens vom Niederländischen Löwen (1981)
Fragen von Lesern
### Was ist Automath?
Automath ist eine von De Bruijn Ende der 1960er Jahre entworfene Sprache zur Darstellung mathematischer Beweise zum Zwecke der automatischen Verifizierung.
### An welchen bedeutenden akademischen Institutionen war er tätig?
De Bruijn bekleidete Positionen an der Technischen Universität Delft, dem Philips Natuurkundig Laboratorium, der Universität Amsterdam und der Technischen Universität Eindhoven.
