A few bright spots
What unifies these achievements? None have to be revisited. All were developed by mathematicians.
- 1940s: Alan Turing's work (code-breaking "bombe" machines; theory)
1949: John von Neumann stored program architecture (EDSAC)
1957-9: John Backus, Columbia math major dropout, formalized specification of computer languages (Backus-Naur form)
1970: E.F. Codd publishes relational database paper
1969-73: James Ellis and Clifford Cocks develop public-key cryptography in Britain (kept secret)