CubeRootOfTrue<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@MartinEscardo" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>MartinEscardo</span></a></span> This is true. I'm suggesting that this is not just a computer engineering thing. I'm saying that at base, nature itself is non-binary, and we are non-binary, and we abstract things we don't understand into black and white distinctions to make them easier to understand. It's fast and efficient to ignore certain problems. There are still problems with binary logic.</p><p>Did you know that SQL is one of the few computer languages to use 3-valued logic? Databases are highly exposed to the problems of inconsistent or missing information. But we can use binary logic to simulate 3-valued logic (MySQL uses the paraconsistent logic LP by Graham Priest, but you can use that to create a fully relevant implication as in RM3, it's just a longer expression)</p><p><a href="https://mathstodon.xyz/tags/rm3" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rm3</span></a> <a href="https://mathstodon.xyz/tags/mysql" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mysql</span></a> <a href="https://mathstodon.xyz/tags/relevance" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>relevance</span></a> <a href="https://mathstodon.xyz/tags/paraconsistent" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>paraconsistent</span></a></p>