|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: Nested prooves by contraction?''
by PrimeFan on 2008-07-05 17:46:03 |
|
| I think I may have seen one or two contradiction proofs like that.
Now I can't remember who it was here who said that it's always possible to turn a proof by contradiction into a direct proof. I've thought of trying to do that to Euclid's classic proof that there are infinitely many primes. What I came up with just didn't have the same punch to it, and maybe I didn't even succeed in deriving the direct proof. (I've also thought about doing that to a proof that a given number is irrational, but with that I haven't gone beyond just thinking). |
| | [ reply | up | top ] | |
|
|
|
|
|
|
|
