CDR: Re: Godel & Turing - a final point
David Honig
honig at sprynet.com
Thu Nov 9 18:57:50 PST 2000
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.
More information about the cypherpunks-legacy
mailing list