A few bright spots
 1940s: Alan Turing's work (codebreaking "bombe" machines; theory)

1949: John von Neumann stored program architecture (EDSAC)

19579: John Backus, Columbia math major dropout, formalized specification of computer languages (BackusNaur form)

1970: E.F. Codd publishes relational database paper

196973: James Ellis and Clifford Cocks develop publickey cryptography in Britain (kept secret)
What unifies these achievements? None have to be revisited. All were developed by mathematicians.