Re: Help in answering news story on refutation of fermat's last theorem

"Chip Eastham" <hardmath@xxxxxxxxx> writes:

> In mathematical logic it would indeed be odd to speak of false axioms
> without reference to a specific interpretation, though of course such a
> reference could be implied by context.

Not just in mathematical logic, but in any context. As I said, in
speaking of sentences as true or false, we presuppose some
interpretation. In particular, when we speak of Goldbach's conjecture,
"T is consistent", and so on, as true or false, we presuppose
the ordinary interpretation of these statements.

> This approach to defining truth in terms of satisfiability (and thus in
> model-relative terms) is due to Tarski, who also proved that truth in
> absolute terms is mathematically undefinable.

Tarski proved nothing of the kind.
.

Relevant Pages

  • Re: Maybe Mormons are right (1b) Baptism for the dead
    ... interpretation. ... > Your only reference was to the commentators. ... > especially when the context of this particular verse would indicate ... > chapter is about the resurrection, ...
    (soc.religion.mormon)
  • Re: Evolution is NOT random
    ... At least one unrefuted interpretation has the universe ... Can you give me a reference to that "interpretation"? ... patronising comment. ... That one is not committed to the MWI in virtue of accepting ...
    (talk.origins)
  • Re: Need to remove a ghost file, but cant because it doesnt exist
    ... What most of the proposed methods had in common was that they ... needed to have a valid reference to the file first. ... Note this is my understanding and interpretation, ... To UNSUBSCRIBE, email to debian-user-REQUEST@xxxxxxxxxxxxxxxx ...
    (Debian-User)
  • Re: If Obama Supports The Second Amendment....
    ... See 6 Pet. ... Only your interpretation of it is wrong. ... reference to the individual and the other is a reference to a collective ... I guess you've never understood that "out of context" is the SOLE way ...
    (talk.politics.guns)
  • Re: Moore on Skolems Paradox
    ... >countable model for set theory as expressed in some language *English, ... >from its reference in actual English. ... > language plus an interpretation of it the terms ... language" is assigning a reference to all of the terms that we learn. ...
    (sci.logic)