Nicolaas Govert " Dick " de Bruijn ( en holandés: [ˈnikoːlaːs ˈxoːvər də ˈbrœyn] ; [a] 9 de julio de 1918 - 17 de febrero de 2012) fue un matemático holandés , conocido por sus numerosas contribuciones en los campos del análisis , la teoría de números , la combinatoria y la lógica . [1]
De Bruijn nació en La Haya , donde asistió a la escuela primaria entre 1924 y 1930 y a la escuela secundaria hasta 1934. Comenzó sus estudios de matemáticas en la Universidad de Leiden en 1936, pero sus estudios se interrumpieron por el estallido de la Segunda Guerra Mundial en 1939. Se convirtió en asistente a tiempo completo en el Departamento de Matemáticas de la Universidad Tecnológica de Delft en septiembre de 1939 mientras continuaba sus estudios. [2] Completó sus estudios de pregrado en la Universidad de Leiden en 1941. Recibió su doctorado en 1943 de la Vrije Universiteit Amsterdam con una tesis titulada " Over modularire vormen van meer veranderlijken " asesorada por Jurjen Ferdinand Koksma . [3]
Desde junio de 1944 trabajó como científico asociado en los Laboratorios de Investigación Philips en Eindhoven .
Se casó con Elizabeth de Groot el 30 de agosto de 1944. La pareja tuvo cuatro hijos: Jorina Aleida (nacida el 19 de enero de 1947), Frans Willem (nacido el 13 de abril de 1948), Elisabeth (nacida el 24 de noviembre de 1950) y Judith Elizabeth (nacida el 31 de marzo de 1963). [2]
De Bruijn inició su carrera académica en la Universidad de Amsterdam , donde fue profesor de Matemáticas de 1952 a 1960. En 1960 se trasladó a la Universidad Técnica de Eindhoven , donde fue profesor de Matemáticas hasta su jubilación en 1984. [1] Entre sus graduados Los estudiantes fueron 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 fue nombrado miembro de la Real Academia de las Artes y las Ciencias de los Países Bajos . [4] Fue nombrado Caballero de la Orden del León de los Países Bajos .
De Bruijn abarcó muchas áreas de las matemáticas. Se le conoce especialmente por:
Escribió uno de los libros estándar 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 pudieran ser verificadas automáticamente (véase verificación automática de teoremas ). Poco antes de su muerte, había estado trabajando en modelos para el cerebro humano .
Libros, una selección:
Artículos, una selección:
{{cite web}}
: CS1 maint: bot: estado de URL original desconocido ( enlace )