>>11217804http://math.mit.edu/research/applied/comp-science-theory.phpTCS is not a math that's why it's in MIT's applied math program.
>can't do mathsCombinatorics, Abstract algebra, group theory, Commutative ring theory, Representation theory, Commutative algebra, algebraic geometry, Number theory, lambda calculus, Computability theory, Graph theory, calculus of finite differences, discrete calculus, discrete analysis, Set Theory, Probability, topology, Game theory, decision theory, utility theory, social choice theory, Discretization, Operations research, Discrete analogues of continuous mathematics, Hybrid discrete and continuous mathematics, complex analysis, real analysis, Automata Theory, Differential Equations, Stochastic Processes, and Discrete Geometry. These are all not math apparently.
>has not contributed to mathematicsHoly shit are you joking? Forget theoretical computer scientists, normal computer scientists have contributed to math. You don't think mathematicians use computers holy fuck.
>claims to be a mathematician>mathematicians don't claim to be computer scientists and do not consider computer science mathematicsYou're right on this Theoretical computer scientists aren't mathematicians they're theoretical computer scientists, however that's not to say that TCS isn't mostly math. Thats like saying physics don't do a lot of math because they study the natural world. TCS is an extremely hard topic with problems that mathematicians are trying to solve and can't like the famous P!=NP problem