>>12160046>oh but it won't suffice if you just know how to apply the mathematical theories that already existThis is how you start doing theoretical computer science...
>with all of their sterile abstractionsthis is largely how theoretical computer science starts...
literally the first 'nontrivial' proof is infinite equivalent descriptions of machines that compute the same thing, and then applying diagonalization to show the existence of non decidable languages.
Or when you use like 5-6 abstractions just to show how nondeterministic hierarchy works.
>you need to actually create some new tools if you want to cope with the current problems in theoretical computer scienceyes, but not before reading math literature, math papers, and TCS papers. This is especially true because TCS is written in definition-proposition-proof-lemma style, identically to pure math.
I get your point, but no TCS is totally dependent on actually having done mathematics in the way you seem to be criticizing. You need to build a core of mathematical maturity and base of knowledge / intuition.
