Nicolaas Govert (Dick) de Bruijn (pronunciación en neerlandés: /nikoːˈlaːs ˈxoːvərt də ˈbrœyn/;[1] La Haya, 9 de julio de 1918–Nuenen, 17 de febrero de 2012) 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.[2]
Nicolaas Govert de Bruijn | ||
---|---|---|
Nicolaas Govert de Bruijn en años 1960 | ||
Información personal | ||
Nacimiento |
9 de julio de 1918 La Haya (Países Bajos) | |
Fallecimiento |
17 de febrero de 2012 Nuenen (Países Bajos) | (93 años)|
Nacionalidad | Neerlandesa | |
Educación | ||
Educado en |
| |
Supervisor doctoral | Jurjen Ferdinand Koksma | |
Información profesional | ||
Ocupación | Matemático, profesor universitario e informático teórico | |
Área | Combinatoria, teoría de grafos y ciencia computacional teórica | |
Empleador |
| |
Obras notables | ||
Miembro de | Real Academia de Artes y Ciencias de los Países Bajos | |
Distinciones |
| |
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.[3]
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.[2] 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).[3]
En 1957 pasó a ser miembro de la Real Academia de Artes y Ciencias de los Países Bajos.[4] También fue nombrado Caballero de la Orden del León Neerlandés.
De Bruijn ha cubierto diversas áreas de las matemáticas. Es especialmente reconocido por:
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.
Selección de libros:
Selección de artículos: