[FOM] Disproving Godel's explanation of incompleteness

[Ajoy Thamattoor]

Somewhat orthogonal to the main thrust of this thread, but, in Godel's
original paper, he
seems to have a slightly different take on the source of incompleteness:

Footnote 48a:
"The true source of the incompleteness attaching to all formal
systems of mathematics, is to be found as will be shown in Part II of this
essay in the fact that the formation of ever higher types can be continued
into the transfinite ..., whereas in every formal system at most denumerably

many types occur. It can be shown, that is, that the undecidable
propositions
here presented always become decidable by the adjunction of suitable higher
types (e.g. of type 'omega' for the system P). A similar result also holds
for
the axiom system of set theory."

Part II doesn't seem to have been ever published. Not sure if some drafts
ever turned up.

AT.

---
http://cs.stanford.edu/~ajoyk <http://cs.stanford.edu/%7Eajoyk>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/fom/attachments/20051024/3c13761f/attachment.html