Nicolaas Govert de Bruijn

Nicolaas Govert (Dick) de Bruijn (; La Haya, –Nuenen, ) fue un matemático neerlandés, conocido por sus numerosas contribuciones a los campos del análisis, la teoría de números, la combinatoria y la lógica.

Biografía 
Nacido en La Haya, De Bruijn se graduó en Matemáticas en la Universidad de Leiden en 1941, y obtuvo su doctorado en 1943 de la Universidad Libre de Ámsterdam con una tesis titulada Over modulaire vormen van meer veranderlijken («Sobre formas modulares en varias variables»), en la que fue asesorado por Jurjen Ferdinand Koksma.

De Bruijn empezó su carrera académica en la Universidad de Ámsterdam, donde fue profesor de Matemáticas entre 1952 y 1960. En 1960 se trasladó a la Universidad Técnica de Eindhoven, donde fue profesor de Matemáticas hasta su jubilación en 1984. Entre sus estudiantes de posgrado estaban Johannes Runnenburg (1960), Antonius Levelt (1961), S. Ackermans (1964), Jozef Beenakker (1966), W. van der Meiden (1967), Matheus Hautus (1970), Robert Nederpelt Lazarom (1973), Lambert van Benthem Jutting (1977), A. Janssen (1979), Diederik van Daalen (1980) y Harmannus Balsters (1986).

En 1957, fue nombrado miembro de la Real Academia de Artes y Ciencias de los Países Bajos. También ha sido nombrado Caballero de la Orden del León Neerlandés.

Trabajo 
De Bruijn ha cubierto diversas áreas de las matemáticas. Es especialmente reconocido por:
 la sucesión de De Bruijn;
 la sucesión de Moser–de Bruijn;
 haber descubierto una teoría algebraica de la teselación de Penrose y, de forma más general, haber descubierto los métodos de «proyección» y «red múltiple» (multigrid) para la construcción de teselaciones cuasiperiódicas;
 la constante de De Bruijn–Newman;
 el teorema de De Bruijn–Erdős, en teoría de grafos;
 otro teorema del mismo nombre, el teorema de De Bruijn–Erdős, en teoría de incidencia;
 el teorema BEST, en teoría de grafos; y
 los índices de De Bruijn.

Escribió uno de los libros de referencia sobre análisis asintótico avanzado (De Bruijn, 1958).

A finales de los años sesenta, diseñó el lenguaje Automath para representar demostraciones matemáticas, de modo que estas se pudieran verificar de forma automática (véase Demostración interactiva de teoremas). Poco antes de su muerte, estuvo trabajando en modelos del cerebro humano.

Publicaciones 
Selección de libros:
 1943. Over modulaire vormen van meer veranderlijken
 1958. Asymptotic Methods in Analysis, North-Holland, Ámsterdam.

Selección de artículos:
 de Bruijn, Nicolaas Govert. "A combinatorial problem", 1946. En Proceedings of the Section of Sciences, Vol. 49, No. 7, pp. 758–764. Koninklijke Nederlandse Akademie v. Wetenschappen.
 de Bruijn, Nicolaas Govert. "The mathematical language AUTOMATH, its usage, and some of its extensions." Symposium on automatic demonstration. Springer Berlin Heidelberg, 1970.
 de Bruijn, Nicolaas Govert. "Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem." Indagationes Mathematicae (Proceedings). Vol. 75. No. 5. North-Holland, 1972.

Referencias

Enlaces externos 

 Nicolaas Govert de Bruijn's obituary
 Bruijn N.G. de at win.tue.nl (in Dutch)

Personas de La Haya
Matemáticos de los Países Bajos del siglo XX
Teóricos de grafos
Alumnado de la Universidad de Leiden
Alumnado de la Universidad Libre de Ámsterdam
Profesores de la Universidad de Ámsterdam
Profesores de la Universidad Técnica de Eindhoven
Galardonados con la Orden del León Neerlandés
Miembros de la Real Academia de Artes y Ciencias de los Países Bajos