Re: Has BS Anand Refuted Gödel's Theorem
- From: LauLuna <laureanoluna@xxxxxxxx>
- Date: Wed, 2 Jan 2008 10:38:44 -0800 (PST)
On Jan 2, 4:18 pm, george <gree...@xxxxxxxxxx> wrote:
On Jan 1, 5:42 pm, LauLuna <laureanol...@xxxxxxxx> wrote:
In fact, Anand's purported result contradicts the Skolem-Löwenheim
theorem as well!
There is no "the" LST. There is an upward and a downward.
The downward is the one that is important. BSA's result
does NOT contradict that one, since the standard model is
countable.
The truth of the downward version very strongly implies
the complete irrelevance of the upward one.
Well, yes. But it's the Upward version what seems immediately
contradicted by Anand for it is evident that PA has a countably
infinite model.
.
- References:
- =?ISO-8859-1?Q?Has_BS_Anand_Refuted_G=F6del's_Theorem??=
- From: LauLuna
- Re: Has BS Anand Refuted Gödel's Theorem
- From: LauLuna
- Re: Has BS Anand Refuted Gödel's Theorem
- From: george
- =?ISO-8859-1?Q?Has_BS_Anand_Refuted_G=F6del's_Theorem??=
- Prev by Date: Re: Has BS Anand Refuted Gödel's Theorem
- Next by Date: Re: k set theory
- Previous by thread: Re: Has BS Anand Refuted Gödel's Theorem
- Next by thread: Re: Has BS Anand Refuted Gödel's Theorem
- Index(es):
Relevant Pages
|
