News for hackers. Stuff that matters.
Re:You are never taught how to build quality software by kevindamm on Friday December 08, 2023 @05:16PM (#38575364)
The important thing to note is that it doesn't have anything to do with truth or truth-values of propositions. It breaks the fundamental operation of the provability of a statement.

And, since many proofs are done by assuming a statement's inverse and trying to prove a contradiction, having a known contradiction in the set of provable statements can effectively allow any statement to be proven. Keeping the contradiction is not actually an option.

There are no comments on this comment yet.