@fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish • 23 days agoBlocked 🚫mander.xyzimagemessage-square79fedilinkarrow-up1715arrow-down122
arrow-up1693arrow-down1imageBlocked 🚫mander.xyz@fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish • 23 days agomessage-square79fedilink
minus-squareluciole (he/him)linkfedilinkEnglish7•edit-223 days agoI’d say if your axioms don’t hold you wouldn’t go far in your quest for truth.
minus-squareMalgaslinkfedilinkEnglish10•23 days agoThe thing that is absolute is a predicate of the form “if [axioms] then [theorems]”. And the fun thing about if statements is that they can be true even when the premise is false.
minus-squareluciole (he/him)linkfedilinkEnglish2•23 days agoOf course in boolean algebra “if [false] then p” is always true no matter “p”, but it’s not telling us much.
minus-square@lolcatnip@reddthat.comlinkfedilinkEnglish4•edit-223 days agoThat’s not a gotcha. It’s basically just the definition of an axiom.
I’d say if your axioms don’t hold you wouldn’t go far in your quest for truth.
The thing that is absolute is a predicate of the form “if [axioms] then [theorems]”.
And the fun thing about if statements is that they can be true even when the premise is false.
Of course in boolean algebra “if [false] then p” is always true no matter “p”, but it’s not telling us much.
That’s not a gotcha. It’s basically just the definition of an axiom.