Print

Print


--part1_4e.12ac8b32.27deb1b0_boundary
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit

In a message dated 3/12/01 5:10:30 PM Eastern Standard Time, 
[log in to unmask] writes:


> You're on the right track, Pat, especially with your second point.
> Computers can't prove anything.  Basically, because they can't do real math
> (excuse the pun).  They only deal with finite numbers, very big finite
> numbers maybe, but still finite.  And there are two types of infinite sets,
> countable (like rationals that can be put into 1-to-1 correspondence to
> integers) and uncountable (like irrationals that can't, or reals that are a
> set with both rational and rational numbers).
> 
> Robert

Thank you for understanding what I'm saying. 

pat
    




--part1_4e.12ac8b32.27deb1b0_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 5:10:30 PM 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">You're on the right track, Pat, especially with your second point.
<BR>Computers can't prove anything. &nbsp;Basically, because they can't do real math
<BR>(excuse the pun). &nbsp;They only deal with finite numbers, very big finite
<BR>numbers maybe, but still finite. &nbsp;And there are two types of infinite sets,
<BR>countable (like rationals that can be put into 1-to-1 correspondence to
<BR>integers) and uncountable (like irrationals that can't, or reals that are a
<BR>set with both rational and rational numbers).
<BR>
<BR>Robert</FONT><FONT  COLOR="#000000" SIZE=3 FAMILY="SANSSERIF" FACE="Arial" LANG="0"></BLOCKQUOTE>
<BR>
<BR></FONT><FONT  COLOR="#000000" SIZE=2 FAMILY="SANSSERIF" FACE="Arial" LANG="0"><B>Thank you for understanding what I'm saying. 
<BR>
<BR>pat</B>
<BR> &nbsp;&nbsp;&nbsp;</FONT><FONT  COLOR="#000000" SIZE=3 FAMILY="SANSSERIF" FACE="Arial" LANG="0">
<BR></FONT><FONT  COLOR="#000000" SIZE=3 FAMILY="SANSSERIF" FACE="Arial" LANG="0">
<BR></FONT><FONT  COLOR="#000000" SIZE=3 FAMILY="SANSSERIF" FACE="Arial Narrow" LANG="0"><B>
<BR></B></FONT></HTML>

--part1_4e.12ac8b32.27deb1b0_boundary--