CDR: Re: Godel & Turing - a final point

[Jim Choate]

On Thu, 9 Nov 2000, David Honig wrote:

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

Your proof.

I refer you to,

http://www.miskatonic.org/godel.html

    ____________________________________________________________________

                     He is able who thinks he is able.

                                           Buddha

       The Armadillo Group       ,::////;::-.          James Choate
       Austin, Tx               /:'///// ``::>/|/      ravage at ssz.com
       www.ssz.com            .',  ||||    `/( e\      512-451-7087
                           -====~~mm-'`-```-mm --'-
    --------------------------------------------------------------------