Re:Has there been progress in philosophy?
by foldr on Friday May 25, 2018 @12:06PM
(#17155042)
There is disagreement about what constitutes an acceptable mathematical proof. E.g., is proof by contradiction a proof?
[ Parent
| on HN ]
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.
No, it doesn't, but as a matter of fact there has been disagreement among mathematicians on those issues. See e.g. https://en.wikipedia.org/wiki/Brouwer%E2%80%93Hilbert_contro....