Blocked 🚫mander.xyzimage fossilesque ( @fossilesque@mander.xyz ) M Science Memes@mander.xyzEnglish • 23 days ago message-square37fedilinkarrow-up1386
arrow-up1386imageBlocked 🚫mander.xyz fossilesque ( @fossilesque@mander.xyz ) M Science Memes@mander.xyzEnglish • 23 days ago message-square37fedilink
minus-square MBM ( @MBM@lemmings.world ) linkfedilinkEnglish13•23 days agoThe way I see it, axioms and notation are made up but everything that follows is absolute truth
minus-square luciole (he/him) ( @luciole@beehaw.org ) linkfedilinkEnglish7•edit-223 days 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•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-square luciole (he/him) ( @luciole@beehaw.org ) 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 ( @lolcatnip@reddthat.com ) linkfedilinkEnglish4•edit-223 days agoThat’s not a gotcha. It’s basically just the definition of an axiom.
The way I see it, axioms and notation are made up but everything that follows is absolute truth
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.