Re: Godel Goofed? Nope.

[olcott <olcott@qwest.net>]

So are you then implicitly stating that the
Liar Paradox is a well formed statement?
With your credentials you could really
help us get to the bottom of this.

Hank Levinson wrote:

> It is really a pity that no one so far has properly defined terms such as
> 'infinite', 'well-formed formula', 'consistent', 'complete', 'first order
> predicate calculus' in terms of which Godel's "Incompleteness Theorem" may
> be correctly stated.
> However, I question what this discussion, as you call it, is doing on this
> newsgroup. It is worthy of juvinile Sci-Fi.
>
> Dr. H. Levinson, Prof. Emeritus of Mathematics, Rutgers U., Newark, NJ 07102