>.. there are infinitely many true statements about ordinary
>arithmetic for which there is no way to prove that they are true.
> (01)
In fact, there are infinitely many such which are true "by
inspection", i.e. of the form
n + m = k
where n, m and k are simple numerals. Just make n and m have more
decimal digits than there are milliseconds in a human lifetime, or
than there are quarks in the universe, will do. Infinity really is
awfully much larger than any finite number, no matter how large the
latter is. (02)
Pat
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)
|