[jlarcombe]

the Oxford joint schools degree was called "Mathematics and Computation" for many, many years

[chihuahua]

I got the impression that they thought computer science was a fad that was going to go away soon.

[jlarcombe]

Yes I remember your comment to that effect on the last thread that touched on this topic! From memory I think I was ten years after you and either I had different expectations or the course had changed radically because I had a much more positive experience.

[vatsachak]

These days you can have math and real computation; proving theorems through reducing terms in Lean