https://maximummathematics.com/books/foundational-mathematics/proof/arguments/index.htmlThe heart of mathematics is not mere computation, but the act of taking a combination of known facts and combining them in some way to arrive at new conclusions. Think back to when you learned the Pythagorean Theorem or the Quadratic Formula. It’s certainly true that these tools help you compute things — the hypotenuse of a right triangle, or the roots of a quadratic function — but that’s a computational activity.Hugoen-US