--part1_59.8013b71.27de56b0_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 3/12/01 11:09:05 AM Eastern Standard Time, [log in to unmask] writes: > To examine each of the possible number of cases, even though the number > of > cases is finite, would take human beings a gazillion years to do. The > computer was able to "examine" each and every case in 1200 hours. When the > program had finished running, there were no other cases to consider, and > each > of the maps under consideration had been drawn with only four colors. Thus, > the four-color map theorem had been proved. > > How do we know the computer had examined "every" case, when we know any computer is limited in the highest number it can deal with? pat --part1_59.8013b71.27de56b0_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit <HTML><FONT FACE=arial,helvetica><FONT SIZE=3 FAMILY="SANSSERIF" FACE="Arial Narrow" LANG="0"><B>In a message dated 3/12/01 11:09:05 AM Eastern Standard Time, <BR>[log in to unmask] writes: <BR> <BR></FONT><FONT COLOR="#000000" SIZE=2 FAMILY="SANSSERIF" FACE="Arial" LANG="0"></B> <BR><BLOCKQUOTE TYPE=CITE style="BORDER-LEFT: #0000ff 2px solid; MARGIN-LEFT: 5px; MARGIN-RIGHT: 0px; PADDING-LEFT: 5px"> To examine each of the possible number of cases, even though the number <BR>of <BR>cases is finite, would take human beings a gazillion years to do. The <BR>computer was able to "examine" each and every case in 1200 hours. When the <BR>program had finished running, there were no other cases to consider, and <BR>each <BR>of the maps under consideration had been drawn with only four colors. Thus, <BR>the four-color map theorem had been proved. <BR> <BR></FONT><FONT COLOR="#000000" SIZE=3 FAMILY="SANSSERIF" FACE="Arial" LANG="0"></BLOCKQUOTE> <BR></FONT><FONT COLOR="#000000" SIZE=3 FAMILY="SANSSERIF" FACE="Arial Narrow" LANG="0"><B> <BR>How do we know the computer had examined "every" case, when we know any <BR>computer is limited in the highest number it can deal with? <BR> <BR>pat</B></FONT></HTML> --part1_59.8013b71.27de56b0_boundary--