@[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
minus-square@[email protected]linkfedilink2•edit-22 years agoInteresting question. What do you think, @[email protected]?
Interesting question. What do you think, @[email protected]?