Re: Has BS Anand Refuted Gödel's Theorem

On Jan 1, 3:07 pm, LauLuna <laureanol...@xxxxxxxx> wrote:
Please, take a look atwww.thereasoner.org, concretely at the latest
issue. There you can find an article by Bhupinder Singh Anand, titled
CAN WE REALLY FALSIFY TRUTH BY DICTAT? on p. 7.

Please stop encouraging people to waste their precious time.

The author claims there are no noinstandard models of PA. This
contradicts Gödel's incompleteness theorem, or at least render Gödel's
completeness (1930) incompatible with Gödel's incompleteness (1931).

There is a model existence theorem. It came along a lot later than
GIT (like 1947) but none of this stuff is ACTUALLY still open to
debate,
unless you are going to attack Tarskian semantics generally.


I think it is an elementary fact that PA has nonstandard models, and
that it is easy to prove that PA has a model with an infinite
descending sequence.

What do you think?

I think that if you *actually* thought this, you wouldn't've advised
trying to read that crappy article. It really is crappy. It wastes a
lot
of time belaboring definitions of things that (it hopes) its readers
might
not already be familiar with. To those of us who already know what
a model is or how to construct one in ZFC, Bhup's rehashing of all
that
is just an opportunity for him to screw it up. My hat's off to
Prof.Smith
for slogging through it. I couldn't. One thing that the computer-
programming perspective grants you is the willingness to fix the first
errors first, the point being that after you do that, you will get a
whole
different collection of 2nd or 3rd errors.
Since Bhup cannot be engaged real-time to fix the first errors first,
belaboring the others is futile.
.

Relevant Pages

  • Re: duplicate line in IE7
    ... Rik's post was spot-on. ... Fix the errors first. ... things like positioning errors. ...
    (comp.infosystems.www.authoring.html)
  • Re: browser incompabilities (Updated)
    ... > Corona wrote: ... Anybody have a suggestion how I might be able to fix this ... > Please fix the errors first, ...
    (comp.infosystems.www.authoring.stylesheets)