Blocked 🚫mander.xyzimage fossilesque ( @fossilesque@mander.xyz ) M Science Memes@mander.xyzEnglish • 6 months ago message-square37fedilinkarrow-up1387
arrow-up1387imageBlocked 🚫mander.xyz fossilesque ( @fossilesque@mander.xyz ) M Science Memes@mander.xyzEnglish • 6 months ago message-square37fedilink
minus-square luciole (he/him) ( @luciole@beehaw.org ) linkfedilinkEnglish7•edit-26 months agoI’d say if your axioms don’t hold you wouldn’t go far in your quest for truth.
minus-square Malgas ( @Malgas@beehaw.org ) linkfedilinkEnglish10•6 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-square luciole (he/him) ( @luciole@beehaw.org ) linkfedilinkEnglish2•6 months 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 ( @lolcatnip@reddthat.com ) linkfedilinkEnglish4•edit-26 months 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.