Re: what makes it true?

Torkel Franzen wrote:
Robert Low <mtx014@xxxxxxxxxxxxxx> writes: 
In this context, the word 'true' is understood (or is supposed
to be understood) to mean 'true in the standard model'---you know,
the set of objects that PA is supposed to be enabling you to
reason about.
Since it is a theorem of PA that GC is true if undecidable in PA, why
do we need to even introduce the concept of the standard model in this
context? 

So that the person I was replying to would know what he was
talking about.
.

Relevant Pages

  • Re: insert standard reply letter
    ... You can create a text file in Notepad with your standard reply. ... In my template this would be blank enabling me to insert required date. ...
    (microsoft.public.windows.inetexplorer.ie6_outlookexpress)
  • Re: Provable in T?
    ... with the standard model is, in particular, not even worthy of ... In one of them, provability is always ... be that some sentence is true in the standard model, ... completeness of T BUT RATHER the sigma-1-completeness OF N. ...
    (sci.logic)
  • Re: Casting the return value of malloc()...
    ... term "operator" to refer to `while', so we shouldn't use it that ... The C standard does define the word "operator". ... particular context being discussed. ... ``If clause-1 is a declaration, the scope of any variables it declares ...
    (comp.lang.c)
  • Re: C as a scripting language
    ... in the context of the C Standard. ... This question is being raised in the context of section 4p5, which does not restrict the 'output' to be stream output. ... However, those same definitions also exclude data written to a file, for precisely the same reason: for some of those definitions, the reason is that the data is not perceived by the user; for other definitions, it is because the data has not exited the computer system. ...
    (comp.lang.c)
  • Re: Is this math test too easy?
    ... >> has a direct meaning unabmbiously and independant from context. ... even have a notation like circle addition or circle multiplication ... that MEANS that it doesn't have a standard interpretation, ... the main problem with standardizing notation is ...
    (sci.math)
Quantcast