Falsehoods programmers believe about falsehoods

gistfile1.txt

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