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-squaremessage-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?tomasz@lemmy.ml to asklemmy@lemmy.ml · 2 years agomessage-square5fedilink
minus-squareLiwott@nerdica.netlinkfedilinkarrow-up5·2 years agoThat’s the key indeed. Testing “a large number of cases” is not a proof per se, but can be proven to be sufficient, which is what happened with the four color theorem
That’s the key indeed. Testing “a large number of cases” is not a proof per se, but can be proven to be sufficient, which is what happened with the four color theorem