--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. Basically, because they can't do real math <BR>(excuse the pun). They only deal with finite numbers, very big finite <BR>numbers maybe, but still finite. 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> </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--