@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
No.