Computer Science is the purest science

It's the only system that can use itself to prove itself

>>102
Anyone who would try to describe computation would get mathematics.
Look at static type systems - they describe computation, but you can safely live without them, using dynamic typing. Same with math. In most cases it only limits expressiveness.