Re: [ontolog-forum] Axiomatic ontology

[Pat Hayes <phayes@xxxxxxx>]

At 11:28 PM +0200 1/30/08, Avril Styrman wrote:

> We do not need Gödel numbering to understand that 1+1=2
> cannot be proved. It is so deeply tied with out cognitive
> capabilities, that without understanding that 1+1=2, we could
> not understand anything. If we try to prove that 1+1=2, we
> have to use the same cognitive capabilities in the proof,
> that we used when we understood that 1+1=2.

Nonsense.

>  This is the idea
> of Gödel numbering: the things that are
> to be proved have to
> be used in their own proof.

Apparently you know very little about formal arithmetic or Goedel's theorem.

a. 1+1=2 is provable in any formal arithmetic.

b. "the things that are to be proved have to be used in their own proof"  is not the idea of Goedel numbering

c. Goedel's result has nothing at all to do with circularity in proofs.

It is fine to be ignorant about a topic, of course, but to vent your opinions in an authoritative way when you are so ignorant only exhibits your ignorance to others. It is not persuasive.

Pat Hayes

> Avril
>
> -A little less formalization and a little bit of action
>  
> _________________________________________________________________
> 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
>

--

---------------------------------------------------------------------
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

_________________________________________________________________
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    (01)