142
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 02 Feb 2024
142 points (100.0% liked)
chapotraphouse
13528 readers
804 users here now
Banned? DM Wmill to appeal.
No anti-nautilism posts. See: Eco-fascism Primer
Gossip posts go in c/gossip. Don't post low-hanging fruit here after it gets removed from c/gossip
founded 3 years ago
MODERATORS
I'm pretty sure even in non Euclidean systems 1 can equal 1. Does Euclid even apply to logic? Do you just mean any system which uses axioms?
Mr Musk, I’ll be axiom the questions
You are absolutely correct, I'm not aware of Euclid applying to logic at all. I just couldn't think of a more appropriate word for communicating that specific kind of nonsense. 'Non-axiomatic' could've been cooler.
There are various non-classical logics, like dialethic systems, could allow for his statement to be correct by, for example, allowing both A and ~A. You could probably also find some way to prove using a system that limits the transitive property that the "Elon Musk" referred to in the documents is not the person speaking (or in any case cannot be proved to be the same, and therefore his statement cannot be proven false)