Geburt |
9. Juli 1918 Den Haag ( Niederlande ) |
---|---|
Tod |
17. Februar 2012 Nuenen |
Staatsangehörigkeit | Niederländisch |
Bereiche | Mathematik |
Institutionen | Technische Universität Eindhoven |
Supervisor | Jurjen Ferdinand Koksma (en) |
Bekannt für | Nach de Bruijn , Satz De Bruijn-Erdős , Satz BEST |
Nicolaas Govert de Bruijn , geboren am9. Juli 1918in Den Haag und starb am17. Februar 2012in Nuenen ist ein niederländischer Mathematiker , emeritierter Professor an der Technischen Universität Eindhoven .
Er brachte mehrere Bereiche der Mathematik voran . Er ist am bekanntesten für die Fortsetzung von de Bruijn . Er ist auch Mitschöpfer der De Bruijn-Newman-Konstante , des De Bruijn-Erdő-Theorems in der Graphentheorie und des in der Inzidenzgeometrie sowie des BEST-Theorems .
Er schrieb eines der führenden Lehrbücher zur asymptotischen Analyse . Er arbeitete auch an der Pflasterung von Penrose . In den späten 1960er Jahren entwickelte er Automath , eine Sprache, die mathematische Beweise darstellen soll, damit sie automatisiert werden können . In jüngerer Zeit interessierte er sich für ein Erklärungsmodell des menschlichen Gehirns .
Er führte eine Methode ein, um das Problem der gebundenen Variablen loszuwerden . Mit De Bruijn-Indizes geschriebene Ausdrücke sind Notationen für die Äquivalenzklassen der Beziehung "identisch mit einer Umbenennung nahe gebundener Variablen". In der Lambda-Rechnung stellt jeder De Bruijn-Index (en) ein Vorkommen einer Variablen dar und wird durch die Anzahl der Lambdas bestimmt, die sich zwischen diesem Vorkommen und dem Lambda befinden, das sie bindet. Diese Notation ist die Linearisierung derjenigen von Bourbaki, die Quadrate und Verknüpfungen verwendet.