Of all the scientific fields, computer science is the one that is mostly closely related to fields where theory is most worthless. If you have a computer science theory, then write some damn code to prove it. Then share your code. Others can then run it and replicate those results. At the "theory" phase, the idea is worthless.
Many of the key results of theoretical CS is to prove impossibility. There is no code to be written when you show that something is not possible.
- Halting problem: impossibility of TM to determine if other TMs halt. - crypto: impossibility for a Turing machine to break a cryposystem in polytime - sorting lower bounds: impossibility to sort objects given only a less_than operator on them in time less than O(n log n)
and so on. There is no code to be written for these, because they are mathematical theorems.
> computer science is about computers as much as astronomy is about telescopes ~Dikjstra.
Theoretical computer science is literally more solid and real than any code you could write. It's literally the mathematical foundation of how your favorite language works. It is all precise mathematical proofs, not just 'thoughts'.
(I'm only being half rhetorical. I've been thinking about this deeply lately.)
It’s a subset kind of relationship.
There is also the social aspect: people have to agree on it. Noise becomes music, and thoughts become proofs, only if several people agree.
However in the event that you really want to learn this via programming see this book - https://news.ycombinator.com/item?id=39721301