142
submitted 9 months ago* (last edited 9 months ago) by Egon@hexbear.net to c/chapotraphouse@hexbear.net

This post was fact checked by real hexbearistan chapos

you are viewing a single comment's thread
view the rest of the comments
[-] ValpoYAFF@hexbear.net 16 points 9 months ago

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?

[-] motherofmonsters@hexbear.net 18 points 9 months ago

Mr Musk, I’ll be axiom the questions

[-] CarbonScored@hexbear.net 5 points 9 months ago* (last edited 9 months ago)

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.

[-] GarbageShoot@hexbear.net 5 points 9 months ago

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)

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