Computer generates verifiable mathematics proof
New Scientist reports on its website that "A computer-assisted proof of a 150-year-old mathematical conjecture can at last be checked by human mathematicians. The Four Colour Theorem, proposed by Francis Guthrie in 1852, states that any four colours are the minimum needed to fill in a flat map without any two regions of the same colour touching."
posted by Fergie @ 4/20/2005 07:32:00 PM
0 Comments:
Post a Comment
<< Home