Physicists, to take a notorious example, spend a lot more time on the real line than mathematicians do, but in their day to day work they ignore most of what we know about the real number system.
Physicists, to take a notorious example, spend a lot more time on the real line than mathematicians do, but in their day to day work they ignore most of what we know about the real number system.
It seems as if you totally didn't get the point of proof based mathematics. Falsity is not a continuum, either something is false or its true. If you can produce a counterexample the proposition is false.
Let a little intuition into your life.
https://aeon.co/essays/the-logic-of-buddhist-philosophy-goes...
This is written by a professor that I think has produced some really interesting results. Anyway, he discusses something called a plurivalent logic, which is a kind of paraconsistent logic:
https://en.wikipedia.org/wiki/Paraconsistent_logic
These logical systems allow for more than true or false. For example, they allow for neither true nor false as well as both true and false. Outside of their general theoretical interest, there are direct applications to systems with contradictory information. I like the paper "A Useful Four-Valued Logic" by Nuel Belnap:
https://link.springer.com/chapter/10.1007/978-94-010-1161-7_...
which discusses a 4-value logic system and its application to databases.