Re: what makes it true?

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

> Why not?

It is not a consequence of the completeness theorem that PA proves
"if GC is true then GC is provable in PA". What is your reasoning
here?
.

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: sin x / x tends to 1...
    ... Esa A E Peuha writes: ... Oops. ... Esa Peuha ... Prev by Date: ...
    (sci.math)
  • Re: what makes it true?
    ... Esa A E Peuha writes: ... > in PA" (by Gödel's completeness theorem). ... 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)