Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
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
You can’t perform that action at this time.