@[email protected] to [email protected] • 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-square5fedilinkarrow-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?@[email protected] to [email protected] • 2 years agomessage-square5fedilink
No.