minus-squareyetAnotherUser@discuss.tchncs.detoScience Memes@mander.xyz•Theories on TheorieslinkfedilinkEnglisharrow-up3·7 days agoWorse: If the chosen axioms are contradictory, then the theorem is effectively worthless. And it is impossible to know whether axioms are consistent. You can only prove that they are not. linkfedilink
minus-squareyetAnotherUser@discuss.tchncs.detoScience Memes@mander.xyz•after you pilinkfedilinkEnglisharrow-up2·1 month agoSo does every number: 6.000000… linkfedilink
yetAnotherUser@discuss.tchncs.de to Math Memes@lemmy.blahaj.zoneEnglish · 2 months agoDavid Hatbertplus-squarediscuss.tchncs.deimagemessage-square0linkfedilinkarrow-up150arrow-down11
arrow-up149arrow-down1imageDavid Hatbertplus-squarediscuss.tchncs.deyetAnotherUser@discuss.tchncs.de to Math Memes@lemmy.blahaj.zoneEnglish · 2 months agomessage-square0linkfedilink
Worse: If the chosen axioms are contradictory, then the theorem is effectively worthless.
And it is impossible to know whether axioms are consistent. You can only prove that they are not.