Re: what makes it true?

Timothy Little <tim-usenet@xxxxxxxxxxxxxxxxxx> writes:

> Hence: if I make a claim that some property of the natural numbers is
> true, I'm expected to back it up with at the least, an informal proof.
> If the readers agree that it can in principle be formalized in a
> suitable system, then they accept it as a true property.

That's fine, but it in no way implies that there is no such thing
as the natural numbers.
.

Relevant Pages

  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... implementation of CBL will use only one symbol for both "implies" and ... as there is no ambiguity and they are the same principle. ... Or is it merely a blind condemnation if I say it, ... praise if a professor says it, with no mathematical significance? ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... as there is no ambiguity and they are the same principle. ...  Or is it merely a blind condemnation if I say it, ... Quick, define "formal implication"! ... Implication means implies ...
    (sci.logic)
  • Re: Misc. WWWJDIC stuff
    ... My intuition says the first of these could be covered in principle with ... That might not stand up against empirical research. ... Bart ... Prev by Date: ...
    (sci.lang.japan)
  • Re: Why John Ringo Threatens Science Fictions Future
    ... read the publically available portion of the book which adresses (in ... principle) most of the questions raised in this topic and several which ... Mickey Zvi Maor ... Prev by Date: ...
    (rec.arts.sf.written)
  • Re: "Fair (hah) and Balanced (giggle)"
    ... superiority in his little word games. ... You claim X because of principle. ... The general principle Y also implies Z. ...
    (rec.arts.sf.fandom)