Print

Print


--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"> &nbsp;&nbsp;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. &nbsp;
<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--