| ▲ | jlarcombe 5 hours ago | |
the Oxford joint schools degree was called "Mathematics and Computation" for many, many years | ||
| ▲ | vatsachak 2 hours ago | parent | next [-] | |
These days you can have math and real computation; proving theorems through reducing terms in Lean | ||
| ▲ | chihuahua 5 hours ago | parent | prev [-] | |
I got the impression that they thought computer science was a fad that was going to go away soon. | ||