Nieuwe aanpak - Technische Universiteit Eindhoven

wiskundedocent stimuleerde me om voor de wiskunde
te kiezen. een studie aan de th was voor mij geen optie.
Ik was niet zo’n knutselaar met techniek. In 1972 deed ik
eindexamen met een rij negens op mijn lijst. Ik wilde heel
graag uit tilburg weg en vrij zijn. Ik ging naar Utrecht,
waar mijn broer ook studeerde. Ik was geen lid van een
vereniging en politiek actief was ik ook niet, al was ik wel
voor de PsP. dat waren er meer in die jaren, blijkt uit de
media! Ik stak mijn tijd in het meisje dat later mijn vrouw
werd, maar vooral in de studie.
Onderzoek
Ik ben in 1978 afgestudeerd in de groep van hoogleraar
dirk van dalen; mijn afstudeerdocent was henk
Barendregt. In die fase werd ik voor het eerst gegrepen
door onderzoek. Ik schreef met mijn studiegenoot een
scriptie over een probleem in de lambda-calculus, een
fundamenteel functiebegrip. Ik herinner me nog goed
het gevoel van openbaring dat over me kwam toen ik
het probleem had opgelost! met hulp van Barendregt is
de scriptie later bewerkt tot artikel voor het prestigieuze
KnaW-blad Indagationes mathematicae. Jarenlang is dat
mijn best geciteerde artikel geweest. dat soort werk werd
destijds tot de logica of tot de grondslagen van de wiskunde
gerekend, maar tegenwoordig zou het zeker binnen
de fundamentele informatica vallen. Ik ben nu hoogleraar
informatica, maar het vak is voor mij in zekere zin een
late roeping. Informatica voor wiskundestudenten bestond
destijds voornamelijk uit het uitvoeren van programmeeropdrachtjes.
We moesten integralen uitrekenen in de
programmeertaal algol. de resultaten werkten we uit op
ponskaarten, die we inleverden aan de balie van het rekencentrum.
twee uur later viel de dump dan in je postvak.
er ging altijd wel iets mis, maar wat precies was meestal
totaal onbegrijpelijk.
Minneapolis
op aanraden van mijn afstudeerbegeleider solliciteerde ik
naar een promotieplek aan de universiteit van minnesota
in minneapolis. In augustus 1978 kon ik daar beginnen.
het onderzoek lag op het terrein van de grondslagen van
de wiskunde. Ik moest eerst de graduate school doorlopen.
Vandaar dat het vijf jaar duurde voordat ik kon promoveren.
Ik heb daar geleerd dat talent alleen niet genoeg is.
M a t r i x / 4 / 2 0 0 8 2 7