5 ms·

Proof by contradiction would disagree with you.

• philipov 7y ago
  That's a good point, my observation is limited to constructive proofs. Proofs by contradiction or enumeration might not offer any great insight, unless one can prove that there exists no better proof, in which case, the insight is that no great understanding is to be had. Godel's Incompleteness Theorem teaches us that sometimes things are true simply because they are not false. I don't think that contradicts my point, it just limits its scope.
  • thrwayxyz 7y ago
    What's constructive in one system is nonconstrictive in another. The only people who take constructive proofs to be more meaningful than nonconstrictive ones are software engineers. Usually with some mumbo jumbo about how type systems are a superior foundation for maths to sets.