I have an advanced degree in CS and have done my fair share of theory, but ideas from logic are the cherry on the cake and did not create the computer. The real unsung heroes are those who invented relays, amplifiers and punched card machines. Babbage had a design in 1840, Boole had a theory in 1850; but without components neither of them made practical impact, and became nearly forgotten.
Once relays etc. became widely available in the 1930s it was anyone's game. Konrad Zuse built his first machine in his parents' apartment [1]. Feynman did complex computations at Los Alamos with punched card machines. And, as the article mentions, Shannon created a theory of relay circuits because they were already building complex circuits.
More concretely- you can definitely get an advanced CS degree without seeing much math, since CS is a giant and heterogeneous field. But if you study something like language design, you quickly run into mathematics that Boole would have felt very comfortable with.
Never underestimate the power of being one of the few people to have a particular set of individually-common skills. If you know molecular biology and group theory, or chemical engineering and architecture, or web design and sign language, or whatever and whatever, there's special opportunities open to you and almost noone else.
Maybe ML truly is our best shot right now, but juxtaposing it with the massive leap that computable logic represented makes it seems pretty inconsequential.
You know, when you look at the histories of the various fields of study in the modern university, it's quite remarkable how many of them got their start, or at least a large part of it, with something Aristotle wrote 2,300 years ago.
