@tomasz to Asklemmy • 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-square5arrow-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 to Asklemmy • 2 years agomessage-square5
minus-square@snek_boilink2•edit-22 years agoInteresting question. What do you think, @tomasz@lemmy.ml?
Interesting question. What do you think, @tomasz@lemmy.ml?