Falsehoods programmers believe about falsehoods
1. Zero is always equivalent to false. | |
2. Zero always has a truth value. | |
3. Everyone thinks it's enough to show that (not P) is true to prove that P is false. | |
4. There's no practical use in thinking otherwise. | |
5. You can reason about truth if you have contradictory axioms. | |
6. You cannot reason about truth if you have contradictory axioms. | |
7. This statement is false. | |
8. Statement [7] is true. | |
9. Ok, but at least one of them is false. | |
10. You are kidding me, right? | |
[1] https://stackoverflow.com/questions/129945/what-does-0-but-true-mean-in-perl | |
[2] Not true in Ada and any typed functional language. | |
[3] https://en.wikipedia.org/wiki/Intuitionistic_logic | |
[4] https://en.wikipedia.org/wiki/Automated_theorem_proving | |
[5] https://en.wikipedia.org/wiki/Ex falso quodlibet | |
[6] https://en.wikipedia.org/wiki/Paraconsistent_logic |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment