Re: A simple paradox in Godels incompleteness theorem that invalidat



Sigh. More idiocy.

Gödel's "holds for a very wide class of formal systems" is entirely
different from your "independent of the nature of the formal system".
The theorem holds for those those formal systems whose nature is such
that they can encode enough arithmetic. In other words, the
applicability of the theorem depends crucially on the nature of the
formal system under consideration.

.



Relevant Pages