Re: A simple paradox in Godels incompleteness theorem that invalidat
- From: Peter_Smith <ps218@xxxxxxxxx>
- Date: Wed, 03 Oct 2007 08:21:32 -0700
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.
.
- Follow-Ups:
- Re: A simple paradox in Godels incompleteness theorem that invalidat
- From: Newberry
- Re: A simple paradox in Godels incompleteness theorem that inval
- From: elsiemelsi
- Re: A simple paradox in Godels incompleteness theorem that invalidat
- References:
- A simple paradox in Godels incompleteness theorem that invalidate Godel
- From: elsiemelsi
- Re: A simple paradox in Godels incompleteness theorem that invalidat
- From: elsiemelsi
- A simple paradox in Godels incompleteness theorem that invalidate Godel
- Prev by Date: Re: A simple paradox in Godels incompleteness theorem that invalidat
- Next by Date: Cosmological and local geometry
- Previous by thread: Re: A simple paradox in Godels incompleteness theorem that invalidat
- Next by thread: Re: A simple paradox in Godels incompleteness theorem that inval
- Index(es):
Relevant Pages
|