Proof based mathematics as computation
Veer Hitesh Patel, 20 Jan. 2025
P roof - based courses are often praised due to the fact that they promote thinking rather than method memorization like the counterpart type of course, "computational" courses. However, upon taking UofT's "MAT137 - Calculus with proofs" course, I did not understand the lore.
———
Take the formal epsilon-delta definition of a limit. As far as I know, it it proving a simple implication by trying to algebraically manipulate the "then" part to look like the "if" part. What is "proofy" about this?
———
Do not fall for the bait, this is just computation in disguise.
———