La sequenza di De Bruijn, una disposizione ciclica di simboli in cui ogni possibile sottosequenza di una lunghezza specifica appare esattamente una volta, rimane una pietra miliare della matematica combinatoria. Sviluppata da Nicolaas Govert de Bruijn, questo contributo esemplifica la sua carriera, che ha abbracciato il panorama accademico olandese e ha influenzato significativamente l'evoluzione della logica, dell'informatica teorica e della teoria dei grafi.
Formazione accademica e inizio carriera
Nato nel 1918 a L'Aia, Nicolaas Govert de Bruijn ha iniziato i suoi studi matematici formali all'Università di Leida nel 1936. La sua istruzione ha coinciso con l'inizio della Seconda Guerra Mondiale, durante la quale ha lavorato come assistente presso l'Università di Tecnologia di Delft a partire dal 1939. Ha completato i suoi studi universitari a Leida nel 1941 e ha conseguito il dottorato presso la Vrije Universiteit Amsterdam nel 1943, dove ha scritto la sua tesi, 'Over modulaire vormen van meer veranderlijken', sotto la supervisione di Jurjen Ferdinand Koksma.
Nomine professionali
Dopo il suo lavoro di dottorato, De Bruijn è entrato a far parte del Philips Natuurkundig Laboratorium a Eindhoven nel 1944. In seguito ha ricoperto diversi incarichi accademici, incluso un ritorno all'Università di Tecnologia di Delft dal 1946 al 1952. La sua carriera è proseguita all'Università di Amsterdam, dove ha servito come professore tra il 1952 e il 1960. Ha concluso il suo incarico di insegnamento attivo presso l'Università di Tecnologia di Eindhoven, servendo come professore lì dal 1960 fino al suo pensionamento nel 1984.
Contributi alla matematica e all'informatica
La produzione di ricerca di De Bruijn ha coperto la combinatoria, la teoria dei numeri e l'analisi. Gli vengono attribuite diverse strutture e risultati matematici notevoli, tra cui il grafo di De Bruijn, il teorema BEST sui circuiti euleriani, il teorema di De Bruijn-Erdős nella teoria dei grafi e la costante di De Bruijn-Newman. Alla fine degli anni '60, ha progettato Automath, un linguaggio destinato alla verifica automatica delle prove matematiche. Più tardi nella sua vita, si è concentrato sulla modellazione delle funzioni del cervello umano.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Onorificenze e eredità
Nel 1957, De Bruijn è stato nominato membro della Reale Accademia Olandese delle Arti e delle Scienze. Il suo servizio al campo è stato ulteriormente riconosciuto nel 1981 quando è stato nominato Cavaliere dell'Ordine del Leone Olandese. È morto nel 2012 a Nuenen, lasciando un vasto corpo di lavoro che ha influenzato generazioni di studenti, tra cui Antonius Levelt, Matheus Hautus e Robert Nederpelt Lazarom.
Fatti rapidi
- Nato: 1918, L'Aia - Morto: 2012, Nuenen - Cittadinanza: Regno dei Paesi Bassi - Dottorato: 1943, Vrije Universiteit Amsterdam - Campi principali: Combinatoria, Teoria dei grafi - Invenzione principale: Automath - Premio: Cavaliere dell'Ordine del Leone Olandese (1981)
Domande dei lettori
### Cos'è Automath?
Automath è un linguaggio progettato da De Bruijn alla fine degli anni '60 per rappresentare prove matematiche allo scopo di verifica automatica.
### In quali importanti istituzioni accademiche ha servito?
De Bruijn ha ricoperto posizioni presso l'Università di Tecnologia di Delft, il Philips Natuurkundig Laboratorium, l'Università di Amsterdam e l'Università di Tecnologia di Eindhoven.
