Easy Quote by Jeffrey Shallit
“That's the problem with false proofs of true theorems; it's not easy to produce a counterexample.”
About This Quote
Source Paper: Mathematical Logic Journal, 2019
False proofs of true theorems are hard to refute because counterexamples are difficult to find.
In simple terms: Counterexamples are hard to find.
Key Takeaway
Seek rigorous verification methods.
Themes
logic
proofs
mathematics
Mood
analytical
inquisitive
Type
technical
educational
When to use this quote
- academic research
- software verification
Key Concepts
counterexample theory
verification techniques
Questions to Reflect On
- How can we improve proof verification?
- What tools aid counterexample discovery?
A Different Perspective
Complex proofs may hide errors.
![“The implication is that logical or mathematical proofs cuts no ice in adjudicating competing claims of fact.[101] Analytic propositions “are entirely devoid of factual content. And it is for this reason that no experience can confute them.”[102] Offering logical proofs about real matters of fact…” quote by Stephen R.C. Hicks](https://sms4smile.com/quotes/img-quotes/6ea/stephen-r-c-hicks-12692_happiness_the-implication-is-that-logical-or-mathe_2037979.jpg)
![“What [he] is apparently objecting to is that not everyone takes his beliefs seriously. Indeed, some don't seem to respect his beliefs at all, and actually poke fun at them. Well, I have news for [him]: that's the nature of a free society. Opinions don't necessarily merit respect; they must earn…” quote by Jeffrey Shallit](https://sms4smile.com/quotes/img-quotes/81b/jeffrey-shallit-84814_belief_what-he-is-apparently-objecting-to-is-th_2207791.jpg)
![“[He] seems to want it both ways: the freedom to hold and express beliefs, and immunity from criticism for those beliefs. This is the kind of attitude that leads inexorably to totalitarianism. It is to be decried, particularly in a university environment where the search for truth necessitates that…” quote by Jeffrey Shallit](https://sms4smile.com/quotes/img-quotes/d98/jeffrey-shallit-84814_attitude_he-seems-to-want-it-both-ways-the-freedo_3009026.jpg)
