Re: 1-1/2+1/3-1/4+1/5-1/6+1/7



G. Frege wrote:

Ah, now it starts to make some sense.

But again, no one (other than you) came up here with a reference to a
"correct" definition.

It's a POSSIBLE definition (i.e. one that can be formulated in the
mathematical system under discussion, ZFC), and -imho- also a REASONABLE
definition (though the latter is not a mathematical question proper).

Okay. It's time to raise the next question. According to your improved
notation, we can say the following, I think. s is the common successor
(i.e. not the more advanced S defined by Jesse and you).

Theorem:

s[N] = {s(0),s(1),s(2), .. ,s(n), .. } = N \ {0} .

Is that correct? (Be patient, progressing with small but certain steps)

Han de Bruijn

.



Relevant Pages

  • Re: Refutation of Bertrand Russells Barber Paradox
    ... I'll just give the reasons for my ... > that the number 0 shall count as its reference, ... >> I dispute that the Frege quotes justify his description of Frege's ... "Es ist ja Bejahung der Existenz nichts anderes als Verneinung der ...
    (sci.logic)
  • Re: Refutation of Bertrand Russells Barber Paradox
    ... > I think perhaps Lambert overstates Frege a bit. ... "In accordance with what was said above, an expression of the kind in ... that the number 0 shall count as its reference, ... > What Frege does, is simply to say that empty names refer to the empty set, ...
    (sci.logic)
  • Re: Refutation of Bertrand Russells Barber Paradox
    ... Frege quotes justify his description of Frege's logic. ... The arbitrarily picked existent is described as "for example the number ... and that no new sign shall be introduced as proper name ... > without being secured a reference. ...
    (sci.logic)
  • Re: Refutation of Bertrand Russells Barber Paradox
    ... > For the sake of interest, ... > I ask since to the extent that I have read Frege, ... permissible if the concept applies to one and only one single object. ... that the number 0 shall count as its reference, ...
    (sci.logic)