Nicolaas Govert de Bruijn
De Wikipedia, la enciclopedia libre
  (Redirigido desde NG de Bruijn )
Saltar a navegación Saltar a búsqueda
Nicolaas Govert de Bruijn
Nicolaas de Bruijn.jpg
Nació(9 de julio de 1918 )9 de julio de 1918
La haya
Murió17 de febrero de 2012 (2012-02-17)(93 años)
Nuenen
Nacionalidadholandés
alma materVrije Universiteit Amsterdam
Conocido porSecuencia de
De Bruijn Índice de De Bruijn
Automath
Carrera científica
Los camposMatemáticas
InstitucionesUniversidad Tecnológica de Eindhoven
Asesor de doctoradoJurjen Ferdinand Koksma
Estudiantes de doctoradoJohannes Runnenburg
Stan Ackermans

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 numerosas contribuciones en los campos del análisis , la teoría de números , la combinatoria y la lógica. . [2]

Biografía

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 a 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 de pregrado 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" asesorado por Jurjen Ferdinand Koksma .[4]

Desde junio de 1944 fue 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). ). [3]

De Bruijn comenzó 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. [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 Artes y Ciencias de los Países Bajos . [5] Fue nombrado Caballero de la Orden del León Holandés .

Trabaja

De Bruijn cubrió muchas áreas de las matemáticas. Es especialmente conocido por:

  • el descubrimiento de la secuencia de De Bruijn ,
  • descubriendo una teoría algebraica del mosaico de Penrose y, de manera más general, descubriendo los métodos de "proyección" y "multirredes" para construir mosaicos cuasiperiódicos, [6] [7]
  • la constante De Bruijn-Newman ,
  • el teorema de De Bruijn-Erdős , en teoría de grafos ,
  • un teorema diferente del mismo nombre: el teorema de De Bruijn-Erdős , en geometría de incidencia ,
  • el MEJOR teorema en teoría de grafos, y
  • Índices de De Bruijn .

Escribió uno de los libros estándar en 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 (ver verificación automatizada de teoremas ). Poco antes de su muerte, había estado trabajando en modelos para el cerebro humano .

Publicaciones

Libros, una selección:

  • 1943. Over modulaire vormen van meer veranderlijken
  • 1958. Asymptotic Methods in Analysis, Holanda Septentrional, Amsterdam.

Artículos, una selección:

  • de Bruijn, Nicolaas Govert. "Un problema combinatorio", 1946. En Proceedings of the Section of Sciences, vol. 49, núm. 7, págs. 758–764. Koninklijke Nederlandse Akademie c. Wetenschappen.
  • de Bruijn, Nicolaas Govert. " El lenguaje matemático AUTOMATH, su uso y algunas de sus extensiones ". Simposio de demostración automática. Springer Berlín Heidelberg, 1970.
  • de Bruijn, Nicolaas Govert. " Notación de cálculo lambda con variables ficticias sin nombre, una herramienta para la manipulación automática de fórmulas, con aplicación al teorema de Church-Rosser ". Indagationes Mathematicae (Actas). Vol. 75. No. 5. Holanda Septentrional, 1972.

Ver también

  • Secuencia Moser – de Bruijn

Referencias

  1. ^ De forma aislada, Govert se pronuncia[ˈƔoːvərt] .
  2. ↑ a b Obituario de Nicolaas Govert de Bruijn Archivado el 25 de abril de 2013 en la Wayback Machine 2012
  3. ^ a b Archivo MacTutor de Historia de las Matemáticas : Nicolaas Govert de Bruijn. Archivado el 2 de octubre de 2013 en la Wayback Machine.
  4. ^ a b Nicolaas Govert de Bruijn en el Proyecto de genealogía matemática
  5. ^ "Nicolaas Govert de Bruijn (1918-2012)" (en holandés). Real Academia de las Artes y las Ciencias de los Países Bajos . Consultado el 17 de julio de 2015 .
  6. ↑ de Bruijn, NG (1981). "Teoría algebraica de teselaciones no periódicas del plano de Penrose. I" . Indagationes Mathematicae (Actas) . 84 : 39–52. doi : 10.1016 / 1385-7258 (81) 90016-0 .
  7. ↑ de Bruijn, NG (1981). "Teoría algebraica de teselaciones no periódicas del plano de Penrose. II" . Indagationes Mathematicae (Actas) . 84 : 53–66. doi : 10.1016 / 1385-7258 (81) 90017-2 .

enlaces externos

  • Obituario de Nicolaas Govert de Bruijn
  • Bruijn NG de en win.tue.nl (en holandés)
Obtenido de " https://en.wikipedia.org/w/index.php?title=Nicolaas_Govert_de_Bruijn&oldid=1032917017 "
Contribute a better translation