Re: what makes it true?

Esa A E Peuha <esa.peuha@xxxxxxxxxxx> writes:


> Yes. It is also provable in PA that "if GC is true then GC is provable
> in PA" (by Gödel's completeness theorem).

Well, no.
.

Relevant Pages

  • Re: what makes it true?
    ... Esa A E Peuha writes: ... > The completeness theorem "if a statement is true in every model of PA, ... Prev by Date: ...
    (sci.math)
  • Re: what makes it true?
    ... Esa A E Peuha writes: ... It is not a consequence of the completeness theorem that PA proves ... Prev by Date: ...
    (sci.math)
  • Re: sin x / x tends to 1...
    ... Esa A E Peuha writes: ... Oops. ... Esa Peuha ... Prev by Date: ...
    (sci.math)
  • Re: can someone explain the candela a little?
    ... It's just that different measurements give incompatible ... including those that the CODATA value was taken from. ... Esa Peuha ...
    (sci.physics.research)
  • Re: Valgrind and Python
    ... on 11/10/2007 08:38 AM Esa A E Peuha wrote: ... then pressing Ctrl-D produces this: ... A lot of those 713 errors occur in the various deallocation functions. ...
    (comp.lang.python)