Re: My talk about Godel to the post-grads.

MoeBlee <jazzmobe@xxxxxxxxxxx> writes:

Anyway, what is an example of a consistent theory that proves its own
completeness?

Recall that an inconsistent theory is trivially complete, and that
this is provable in e.g. PA. Keeping this in mind, you can now surely
think of a consistent extension of PA that proves itself complete.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages

  • Re: My talk about Godel to the post-grads.
    ... Recall that an inconsistent theory is trivially complete, ... Keeping this in mind, you can now surely ... prove its own completeness yet not be a complete theory, ...
    (sci.logic)
  • Re: My talk about Godel to the post-grads.
    ... Recall that an inconsistent theory is trivially complete, ... Keeping this in mind, you can now surely ... think of a consistent extension of PA that proves itself complete. ... prove its own completeness yet not be a complete theory, ...
    (sci.logic)
  • Re: my $50 TIG torch cooler
    ... mind because of it. ... I'll adjust loosely or Maify will recall the ... dangers. ...
    (sci.astro.amateur)
  • Re: ***Pete***
    ... recall, Oz didn't argue, nobody defended him. ... My mind went back to this today and I have a feeling it is important. ... Quite a nasty little attack from the usual gang of bullies, ... Mind you a proper job would kill them off! ...
    (uk.business.agriculture)
  • Re: Is continuum completely filled up?
    ... Therfore real line has void. ... Why there is no gaps in real line ... ruffled my mind. ... you also will understand what is meant by "gaps" and why completeness ...
    (sci.math)