Daft_ish@lemmy.world to Asklemmy@lemmy.ml · edit-27 months agoWhat is your favorite paradox or conundrum? I am partial to can god kill god?message-squaremessage-square32fedilinkarrow-up172arrow-down110file-text
arrow-up162arrow-down1message-squareWhat is your favorite paradox or conundrum? I am partial to can god kill god?Daft_ish@lemmy.world to Asklemmy@lemmy.ml · edit-27 months agomessage-square32fedilinkfile-text
minus-squareHexesofVexes@lemmy.worldlinkfedilinkarrow-up2·7 months agoIn classical logic, trichotomy on the reals (any given numbers is either >0, <0 or =0) is provably true; in intuitionistic logic it is probably false. Thanks to Godel’s incompleteness theorem, we’ll never know which is right!
In classical logic, trichotomy on the reals (any given numbers is either >0, <0 or =0) is provably true; in intuitionistic logic it is probably false. Thanks to Godel’s incompleteness theorem, we’ll never know which is right!