tomasz@lemmy.ml to Asklemmy@lemmy.ml · 3 年前Mathematicians 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-square4fedilinkarrow-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 · 3 年前message-square4fedilink
minus-squareMadlinkfedilinkarrow-up6·3 年前the title says “a large number of cases” which isn’t necessarily every possible case. linking the original story or paper would have been good so we could check these things
minus-squareliwott@nerdica.netlinkfedilinkarrow-up5·3 年前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
the title says “a large number of cases” which isn’t necessarily every possible case.
linking the original story or paper would have been good so we could check these things
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