Re:Has there been progress in philosophy?
by theamk on Friday May 25, 2018 @06:43PM
(#17158739)
Yes, it is certainly a proof (in a most commonly-used logic systems)
There may be some logic systems where proof by contradiction is not a proof. The existence of such logic systems does not mean there is any disagreement between mathematicians.
There may be some logic systems where proof by contradiction is not a proof. The existence of such logic systems does not mean there is any disagreement between mathematicians.