fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 2 months agoBlocked 🚫mander.xyzimagemessage-square51fedilinkarrow-up177arrow-down12
arrow-up175arrow-down1imageBlocked 🚫mander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 2 months agomessage-square51fedilink
minus-squareluciole (he/him)@beehaw.orglinkfedilinkEnglisharrow-up0·edit-22 months agoI’d say if your axioms don’t hold you wouldn’t go far in your quest for truth.
minus-squarelolcatnip@reddthat.comlinkfedilinkEnglisharrow-up1·edit-22 months agoThat’s not a gotcha. It’s basically just the definition of an axiom.
minus-squareMalgas@beehaw.orglinkfedilinkEnglisharrow-up1·2 months 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)@beehaw.orglinkfedilinkEnglisharrow-up0·2 months agoOf course in boolean algebra “if [false] then p” is always true no matter “p”, but it’s not telling us much.
I’d say if your axioms don’t hold you wouldn’t go far in your quest for truth.
That’s not a gotcha. It’s basically just the definition of an axiom.
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.