34
edits
Changes
Jump to navigation
Jump to search
Line 27:
Line 27: − There is an academic controversy over whether proofs by contradiction (see also [[Excluded Middle]]) should be accepted qua proofs; either due to concerns regarding computability, or [[Intuitionist Mathematics]]. These are not necessarily held to be distinct concerns. Most mathematicians disregard any such controversy and accept proofs by contradiction.
There is no controversy over this
#Therefore, our initial assumption ("there are finitely many primes") is invalid
#Therefore, our initial assumption ("there are finitely many primes") is invalid
==See also==
==See also==
*[[Stolen concept]], a fallacy that can be exposed using a ''reductio ad absurdum''
*[[Stolen concept]], a fallacy that can be exposed using a ''reductio ad absurdum''