Dick de Bruijn erelid Vereniging voor Logica
Geplaatst: 05 september, 2008
Prof. dr. Dick de Bruijn, emeritus hoogleraar Wiskunde aan de TU/e, is
vrijdag tijdens een symposium in De Zwarte Doos benoemd tot erelid van
de Vereniging voor Logica (VVL). De negentigjarige wetenschapper kreeg
dit eerbetoon voor zijn bijdragen aan de wiskunde en informatica.
Dick de Bruijn. Foto: Bart van Overbeeke
De Bruijn is 9 juli 90 jaar geworden. Ter ere hiervan is een symposium
in De Zwarte Doos gehouden over zijn bijdragen aan de wiskunde en
informatica.
De Bruijn was van 1960 tot 1984 hoogleraar wiskunde in Eindhoven.
Daarvoor werkte hij in Amsterdam. Een opmerkelijke overstap, die zich
laat verklaren door de verwachting van De Bruijn dat wiskunde een
grote rol in de industrie zou gaan spelen. De wiskundecoryfee stelt
het op prijs dat er een symposium aan zijn verjaardag wordt gewijd.
Het is mooi dat ze dat doen. Maar ik ben niet zo ijdel hoor, zo
verschrikkelijk bijzonder is mijn verjaardag ook weer niet.
Wat ziet hij zelf als zijn grootste verdienste? Ik heb ontzettend veel
verschillende dingen gedaan in mijn leven. Het is opmerkelijk dat ik
na mijn zestigste ook nog een hoop heb bereikt. De Bruijn is onder
meer bekend geworden van het Automath project. Hij ontwikkelde een
manier om een computer wiskundige bewijzen te laten controleren. Hij
is momenteel nog weinig met wiskunde bezig. Mijn gezondheid gaat wat
achteruit. Zo'n symposium is ook een best zware dag voor mij, zegt De
Bruijn.
Tijdens het symposium waren er onder meer sprekers van de Heriot-Watt
University in Edinburgh, van de Universiteit van Amsterdam en van
Philips Research Labaratories.
Technische Universiteit Eindhoven