CDR: Re: Godel & Turing - a final point

[David Honig]

At 06:12 PM 11/9/00 -0500, Jim Choate wrote:

>If you have a 'language' that is provably consistent then you know that
>that language is not complete or 'universal'. There MUST!!! be sentences
>which are not included in the listing.
>

This sentence is false.

Big deal.  Only self-referential statements run into lying-cretin problems.

Go:del is neat but overblown in popular culture.