Comment by SandB0x
16 years ago
Sure, rigorous proofs are often obtained by "proceeding formally", but there's usually (not always, granted) some more intuitive reason as to why something should be the case, otherwise nobody would have tried to prove them in the first place.
Although some proofs can accumulate cruft.
E.g. there was a small and nice intuitive prove of a reasonable theorem in the first place, but scores of people found ways to generalize it, and in the end you have a mess of symbols proving a hopelessly general lemma.
Sometimes even an “intuitively hand-waved” proof substitute, it turns out, is well beyond the scope of the course.
(Then again, I’ve had uncommonly thorough math courses, and would likely share your frustration.)
otherwise nobody would have tried to prove them in the first place.
Not really. Sometimes someone sees a bunch of examples and wonders if there is a generalization/theorem. So they set out to prove it and 3 pages of symbol manipulation later you have a proof.