[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Godel Goofed? Nope.



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