#dialethism — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #dialethism, aggregated by home.social.
-
Think of it as the Halting Problem. It's really the Liar Paradox. If the program halts, then it doesn't, and if it doesn't halt then it halts. It's Both! It halts and it doesn't. This is easy to understand in #RM3, where "Both" is a valid logical value different from either true or false.
Binary logic is bad. But don't worry! It turns out that you don't need to go beyond 3. A 3-valued logic, True, False, and Both, is complete. What about Gödel? Yeah, he showed that binary logic sucks, and then came up with a 3-valued logic that solves the problem mentioned in the Incompleteness theorem. He said, it's either inconsistent or incomplete. Turns out, completeness is a far better property than consistency. Because the world (and the reals) are inconsistent. There are things that are both true and false #dialethism #paraconsistent #logic #turing