Any discussion about mathematics that fails to distinguish between computation-based and proof-based mathematics is not going to be a very informed discussion.

Any discussion about mathematics that fails to distinguish between computation-based and proof-based mathematics is not going to be a very informed discussion. There's a reason that so many would-be math majors switch out when they reach Intro to Proofs. Up until then it's just memorizing formulae and recipes; you're just a glorified TI-89.