View Single Post
Old 2010-07-23, 22:40   #8
Random Poster
Random Poster's Avatar
Dec 2008

B316 Posts

Originally Posted by CRGreathouse View Post
One proof was good enough to show that the result was true, but it's common to produce alternate proofs. They may be more elegant, or they may show connections that were obscure in the original.
More importantly, different proofs can use different sets of axioms, in which case they will be applicable in different situations. The simplest example I can think of is multiplicative cancellation (i.e. ab=ac implies b=c) which can be proven in (at least) two very different ways.
Random Poster is offline   Reply With Quote