Nicolaas Govert de Bruijn
Nicolaas Govert ( Dick ) de Bruijn ( holandés: [nikoːˈlaːs ˈxoːvərt də ˈbrœyn] ; [1] 9 de julio de 1918 - 17 de febrero de 2012) fue un matemático holandés , conocido por sus muchas contribuciones en los campos del análisis , teoría de números , combinatoria y lógica . [2]
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 vieron interrumpidos por el estallido de la Segunda Guerra Mundial en 1939. Se convirtió en un Asistente de tiempo completo en el Departamento de Matemáticas de la Universidad Tecnológica de Delft en septiembre de 1939 mientras continuaba sus estudios. [3] Completó sus estudios universitarios en la Universidad de Leiden en 1941. Recibió su doctorado en 1943 de la Vrije Universiteit Amsterdam con una tesis titulada "Over modulaire vormen van meer veranderlijken" asesorada por Jurjen Ferdinand Koksma .[4]
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). ). [3]
De Bruijn comenzó su carrera académica en la Universidad de Ámsterdam , 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. [2] 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). [4]
En 1957 fue nombrado miembro de la Real Academia de las Artes y las Ciencias de los Países Bajos . [5] Fue nombrado Caballero de la Orden del León de los Países Bajos .
A finales de los años sesenta, diseñó el lenguaje Automath para representar demostraciones matemáticas, de modo que pudieran verificarse automáticamente (ver verificación automática de teoremas ). Poco antes de su muerte, había estado trabajando en modelos para el cerebro humano .
