[Top] [All Lists]

Re: [ontolog-forum] What is logic?

To: "John F. Sowa" <sowa@xxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 9 Mar 2007 16:04:12 -0600
Message-id: <p06230916c217899e69c9@[]>
>.. 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)

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)

<Prev in Thread] Current Thread [Next in Thread>