• 1 Post
  • 1.94K Comments
Joined 9 months ago
cake
Cake day: October 16th, 2025

help-circle



  • Right here on Lemmy, someone argued with me for weeks that the mathematical conventions on order of operations can be proven, and that all calculators obey them. You can find calculator manuals with explicit examples that don’t obey the conventions, and as a one time mathematician, his attempts at proofs are pathetic. Anyone who persists with him no matter how polite, will be faced with rudeness and condescension.

    I found the guy on Mastodon where he peddles the full suite of common mathematical wrongness (he thinks 0.999… ≠ 1) and recently he tried to do an inductive proof in an “educational” thread and got completely schooled by someone else. He was unable to understand that he was wrong.

    He claims to be a maths teacher, but his ability ran out at school and he’s to arrogant to realise.








  • This isn’t a matter of “making life better” in the sense that I am familiar with: that is, making a fairer, welcoming and livable place for everyone. This is that you and the person above have a certain preference that I don’t share, and you expect me to somehow enable you to realise that preference.

    Your desire to be able to remote start your car in a particular way is not comparable in the slightest to issues of societal justice and trying to guilt trip me into enabling your consumer choices is, again, childish. If you don’t want to pay for a service don’t pay for it. If you wish there were a service which doesn’t exist, go and make your desires known to the people who may provide it. Don’t demand that someone else foregoes their preferences to enable you.

    Doing so is as coherent as if I were to demand that you stop buying cars that aren’t green because I wish more manufacturers made green cars. I do wish that, but you don’t have any responsibility to help me with it.









  • I hoped someone would make that connection! This one is actually sound but there is a closely related limitative result, the undefinability of truth (attributed to tarski) which uses a “liar sentence” like the “liar set” of Russell’s paradox: “this sentence is not true”. Of course, liar sentence have been known since ancient times, but it was only in the 20th century when we could give them a mathematical interpretation, rather than a purely logical one.

    This means that there is no mathematical definition of what is true about the natural numbers, but there are still definitions of other things, and we can still quantify over those definitions.