Absent Friends: Derek Goldrei
Oct. 5th, 2022 07:50 pmI just came across the obituary for Derek Goldrei in the Guardian.
In my first year at Oxford I was struggling with imposter syndrome and an inability to wrap my brain around the logic parts of my course. In one of those moments where the Oxford system performs exactly as one would hope it should, my "moral tutor" on hearing of my struggles said my college would find me some extra support for logic. Enter Derek, stage left.
In the course of about 8 weeks, Derek not only convinced me that I could "do" logic, but entrenched it as one of my favourite topics in the degree. His tutorials were friendly, reassuring and entertaining - in part because he had cheerful opinions about all aspects of the subject. "Never trust a Dutchman," he told me once in reference to Brower's development of intuitionism with which he disagreed*.
The graduation party my college threw was attended both by recent graduates and those attending to collect their MAs**. As was usual at events Derek attended, those of us who had been tutored by him gathered around. Looking at one of the MAs Derek suddenly said to me - "you are very like her. She went on to study Artificial Intelligence at Edinburgh. You should do that too."
So I did.
A bit difficult, really, to underestimate the influence he has had on my life.
* though its actually very useful for reasoning about computer programs.
**For some reason, Oxford will give you an MA qualification simply for surviving a certain number of years after collecting your BA.
In my first year at Oxford I was struggling with imposter syndrome and an inability to wrap my brain around the logic parts of my course. In one of those moments where the Oxford system performs exactly as one would hope it should, my "moral tutor" on hearing of my struggles said my college would find me some extra support for logic. Enter Derek, stage left.
In the course of about 8 weeks, Derek not only convinced me that I could "do" logic, but entrenched it as one of my favourite topics in the degree. His tutorials were friendly, reassuring and entertaining - in part because he had cheerful opinions about all aspects of the subject. "Never trust a Dutchman," he told me once in reference to Brower's development of intuitionism with which he disagreed*.
The graduation party my college threw was attended both by recent graduates and those attending to collect their MAs**. As was usual at events Derek attended, those of us who had been tutored by him gathered around. Looking at one of the MAs Derek suddenly said to me - "you are very like her. She went on to study Artificial Intelligence at Edinburgh. You should do that too."
So I did.
A bit difficult, really, to underestimate the influence he has had on my life.
* though its actually very useful for reasoning about computer programs.
**For some reason, Oxford will give you an MA qualification simply for surviving a certain number of years after collecting your BA.