@tomasz@lemmy.ml to Asklemmy@lemmy.ml • 2 years agoMathematicians have verified the Four Colour Theorem by programming a computer to check a large number of cases. Does such a verification count as a proof?message-square4fedilinkarrow-up19arrow-down11
arrow-up18arrow-down1message-squareMathematicians have verified the Four Colour Theorem by programming a computer to check a large number of cases. Does such a verification count as a proof?@tomasz@lemmy.ml to Asklemmy@lemmy.ml • 2 years agomessage-square4fedilink
minus-square@snek_boi@lemmy.mllinkfedilink2•edit-22 years agoInteresting question. What do you think, @tomasz@lemmy.ml?
Interesting question. What do you think, @tomasz@lemmy.ml?