Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem

From: Charlie-Boo (chvol_at_aol.com)
Date: 10/19/04 

Date: 19 Oct 2004 04:30:41 -0700

QncyMI@netscape.net (Brian Quincy Hutchings) wrote
> the liar "paradox" is just the result of not considering time
> "in the equation;" it is simply decategorized, as they say.
> this is the same as with his Village Barber "paradox."

Can you apply your appraoch to generate variations? Please list the
variations.

Does it apply to other domains to produce theorems within each?
Please list the theorems.

Do you believe these are useful pursuits - (1) to be able to also
represent, generate and explain other variations and (2) to use a
formalism that applies to other domains?

> what is a "wff?"

To "take a wff" means to be slightly exposed to something (or to be a
mathematical thief.) When we are even slightly exposed to works such
as Boyer/Moore, I can smell a skunk from a mile away!

C-B

>
> chvol@aol.com (Charlie-Boo) wrote in message news:<3df1e59f.0410050421.187eb478@posting.google.com>...
> > The Liar Paradox is the following metamathematical theorem applied to
> > English:
> >
> > Theorem 1 ("This is not true."): No system can enjoy all of the
> > following properties:
> > 1. The provability predicate is expressible.
> > 2. Negation is expressible.
> > 3. Substitution is expressible. (S-M-N theorem)
> > 4. The system (every wff) is consistent.
> > 5. The system (every wff) is decidable.
>
> --ils duces d'Enron!
> http://larouchepub.com

Relevant Pages