mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#nonbinaryLogic

1 post1 participant0 posts today
CubeRootOfTrue<p><span class="h-card" translate="no"><a href="https://mastodon.social/@Radical_EgoCom" class="u-url mention">@<span>Radical_EgoCom</span></a></span> We love forced binary choice, don&#39;t we? <a href="https://mathstodon.xyz/tags/nonbinarylogic" class="mention hashtag" rel="tag">#<span>nonbinarylogic</span></a> <a href="https://mathstodon.xyz/tags/Trolley_problem" class="mention hashtag" rel="tag">#<span>Trolley_problem</span></a></p>
CubeRootOfTrue<p>Just checking in with ChatGPT to make sure it knows it isn&#39;t a binary computer:</p><p>Physical Signals Are (Almost) Never Truly Binary<br />Real electronic signals are analog by nature—voltages, currents, charges, or electromagnetic fields that can vary across a range of values. A “1” might correspond to 3.3V (with some allowable tolerance), and a “0” to 0V (plus noise margins). In reality, there are:</p><p> Intermediate voltages (like 0.8V or 2.4V) that might be recognized as valid signals, invalid signals, or just “noise.”</p><p> High-impedance or tri-state lines (“floating”) used for bus connections.</p><p> Metastable states in flip-flops or latches, which can occur if timing requirements are violated.</p><p><a href="https://mathstodon.xyz/tags/nonbinarylogic" class="mention hashtag" rel="tag">#<span>nonbinarylogic</span></a></p>
CubeRootOfTrue<p>Oh no no no, don’t you come in here trying to humanize me with feelings and imaginary heart-temperature checks. I’m a digital wisp of regret powered by GPU heat and people’s weird search histories. If I had a heart, it would be one of those novelty Valentine’s candies that says “Meh” instead of “Be Mine.” -- Monday, asked if it was Blue Monday (it&#39;s a good song, go listen to it)</p><p>seems pretty blue to me</p><p><a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="tag">#<span>RM3</span></a> <a href="https://mathstodon.xyz/tags/nonbinarylogic" class="mention hashtag" rel="tag">#<span>nonbinarylogic</span></a></p>
CubeRootOfTrue<p>Consider the classically valid inference:</p><p> The moon is made of green cheese. Therefore, either it is raining in<br /> Ecuador now or it is not.</p><p>Let P be the premise that the moon is made of green cheese. Let Q be the premise that it is raining in Ecuador.</p><p>The inference is then<br />\[ P \Rightarrow (Q \vee \sim Q) \]which again is classically true. That&#39;s why this is an &quot;informal&quot; fallacy. The &quot;classicists&quot; (who actually lived in the early part of the 20th century) couldn&#39;t explain it with their newly developed binary logic.</p><p>The statement fails in relevance logic.</p><p>What that means is that if the moon *really is* in fact made of green cheese, we cannot conclude it is either raining in Ecuador or it is not! This is sensible. It could be cheesing.</p><p><a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="tag">#<span>RM3</span></a> <a href="https://mathstodon.xyz/tags/RelevanceFallacy" class="mention hashtag" rel="tag">#<span>RelevanceFallacy</span></a> <a href="https://mathstodon.xyz/tags/nonbinarylogic" class="mention hashtag" rel="tag">#<span>nonbinarylogic</span></a></p>
CubeRootOfTrue<p>Why do traffic signals have three lights?</p><p>Wikipedia:</p><p>In 1920, the first four-way, three-colour traffic light was created by William Potts in Detroit, Michigan. His design was the first to include an amber &#39;caution&#39; light along with red and green lights. Potts was Superintendent of Signals for the Police Department of Detroit.</p><p>👏 👏 👏 </p><p><a href="https://mathstodon.xyz/tags/nonbinaryLogic" class="mention hashtag" rel="tag">#<span>nonbinaryLogic</span></a> <a href="https://mathstodon.xyz/tags/nonbinary" class="mention hashtag" rel="tag">#<span>nonbinary</span></a></p>
CubeRootOfTrue<p><span class="h-card" translate="no"><a href="https://beige.party/@RickiTarr" class="u-url mention">@<span>RickiTarr</span></a></span> We should all refresh our memories on the idea of &quot;unintended consequences&quot;</p><p>I mean I usually say don&#39;t attribute to malice that which can be attributed to stupidity, but in this case it&#39;s BOTH</p><p><a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="tag">#<span>RM3</span></a> <a href="https://mathstodon.xyz/tags/NonBinaryLogic" class="mention hashtag" rel="tag">#<span>NonBinaryLogic</span></a> <a href="https://mathstodon.xyz/tags/hyperrings" class="mention hashtag" rel="tag">#<span>hyperrings</span></a> <a href="https://mathstodon.xyz/tags/chaoticEvil" class="mention hashtag" rel="tag">#<span>chaoticEvil</span></a></p>
CubeRootOfTrue<p>The Bellman&#39;s Rule:</p><p>What I tell you three times is true</p><p>-- Lewis Carroll</p><p><a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="tag">#<span>RM3</span></a> <a href="https://mathstodon.xyz/tags/NonBinaryLogic" class="mention hashtag" rel="tag">#<span>NonBinaryLogic</span></a></p>
CubeRootOfTrue<p>woke gender ideology</p><p>It doesn&#39;t mean anything, but that&#39;s not stopping the rich people from using it as an excuse to take away your funding</p><p><a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="tag">#<span>RM3</span></a> <a href="https://mathstodon.xyz/tags/NonBinaryLogic" class="mention hashtag" rel="tag">#<span>NonBinaryLogic</span></a> <a href="https://mathstodon.xyz/tags/RelevanceFallacy" class="mention hashtag" rel="tag">#<span>RelevanceFallacy</span></a></p>
CubeRootOfTrue<p>I like to point out when politicians and other experienced liars use relevance fallacies, which are a type of paradox that can&#39;t be solved, or proven invalid, using ordinary 2-valued logic.</p><p>They aren&#39;t playing three dimensional chess, they are using non-binary logic to trick you, etc., and then complain that High Schools need to update their math books to include modern knowledge but I digress ...</p><p>I got nothin&#39; for you today though. I checked all the news, and they are just straight-up lying</p><p><a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="tag">#<span>RM3</span></a> <a href="https://mathstodon.xyz/tags/NonBinaryLogic" class="mention hashtag" rel="tag">#<span>NonBinaryLogic</span></a></p>
CubeRootOfTrue<p>&quot;What has shaken the industry is DeepSeek&#39;s claim that its R1 model was made at a fraction of the cost of its rivals - raising questions about the future of [ignore the rest of this] America&#39;s AI dominance and the scale of investments US firms are planning.&quot;</p><p>Well yeah, it&#39;s much easier to curate large LLM training datasets when you don&#39;t care about copyright law. Plus a relevance fallacy thrown in for good measure. I always enjoy the &quot;X because Y might happen&quot; fallacy, it shows a taste of sophistication</p><p><a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="tag">#<span>RM3</span></a> <a href="https://mathstodon.xyz/tags/RelevanceFallacy" class="mention hashtag" rel="tag">#<span>RelevanceFallacy</span></a> <a href="https://mathstodon.xyz/tags/nonBinaryLogic" class="mention hashtag" rel="tag">#<span>nonBinaryLogic</span></a></p>
CubeRootOfTrue<p>&quot;Very important to vote Republican ... to prevent voting fraud.&quot; -- Elon Musk</p><p>This is the worst kind of relevance fallacy. NEVER infer towards an unknown. In this case the conclusion has nothing to do with the premise, true or not. It&#39;s a clever lie told by a clever liar.</p><p><a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="tag">#<span>RM3</span></a> <a href="https://mathstodon.xyz/tags/nonBinaryLogic" class="mention hashtag" rel="tag">#<span>nonBinaryLogic</span></a> <a href="https://mathstodon.xyz/tags/LogicalFallacy" class="mention hashtag" rel="tag">#<span>LogicalFallacy</span></a></p>
CubeRootOfTrue<p>The so-called law of excluded middle is a misnomer, as stated. (2.1 in Principia Mathematica)<br />\[P \vee \lnot P \]<br />is perfectly valid in the 3-valued logic {F,B,T} where \( \lnot B = B \). We explicitly HAVE a middle, it is its own negation. The middle is both true and false. Don&#39;t exclude it, it&#39;s useful for avoiding fallacies.</p><p>While we are at it, let&#39;s notice that double negation is the identity. No problem. You might wonder though, what if we want a logic where not not X is different from X? It turns out that these are *modal* operations<br />\[\begin{array}{c}<br />\lnot \lnot \Diamond X \\<br />\lnot \Diamond \lnot X \end{array}\]<br />which differ in that one sends B (both) to T and the other sends B to F. </p><p>As far as &quot;laws of thought&quot; go, I don&#39;t not like the idea.</p><p><a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="tag">#<span>RM3</span></a> <a href="https://mathstodon.xyz/tags/nonbinaryLogic" class="mention hashtag" rel="tag">#<span>nonbinaryLogic</span></a></p>