Changes

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 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.

==References==

==References==

<references/>

<references/>

[[Category:Mathematics]]

[[Category:Mathematics]]

[[Category:Logic]]

[[Category:Logic]]