X-Message-Number: 23916
Date: Sat, 17 Apr 2004 10:01:09 EDT
Subject: non-problems

Mike Perry writes in part:

>expanding the formal system to remove one [Goedelian] "problem" 
>does not at all remove another, similar problem in the expanded system. 

The first "problem" is (say) of the type: "Sentence number one is 
unprovable," while giving that sentence the label "number one."

The new "problem" in the different system might be of the type: "Sentence 
number two is unprovable," while giving that sentence the label "number two."

Are these "different" problems, and does either have any significance beyond 
quirks of language? 

Please remember again also that Goedelian incompleteness is in ANY case the 
least of the weaknesses of formal systems. MUCH more important weaknesses 

include the uncertain status of the postulates and the undefineds and the rules 
logic in general.

Robert Ettinger

 Content-Type: text/html; charset="US-ASCII"


Rate This Message: http://www.cryonet.org/cgi-bin/rate.cgi?msg=23916