>>13047115This is equivalent under intuitionistic logic. What you probably meant is that a lot of mathematicians confuse proof by contradiction with implication-introduction for a negated conclusion.
The latter is perfectly constructive while the former is essentially the same as the excluded middle.
