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



On 2008-01-28, in sci.math, Han de Bruijn wrote:
Then the axiom of _Infinity_ makes absolutely no sense, because it says
that, with any n, also its successor n+ is in the set N, starting with
0.

The axiom of infinity says nothing about applying the successor
function an infinite number of times. It just says there's a set
closed under the successor function.

Infinite compositions of functions are routinely employed with
fractals.

Sure. And as said in that context what is meant is explained by limits
of convergent series of functions and so on.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.



Relevant Pages

  • Re: Galileos Paradox and the Project of the Reals
    ... too many times already exactly what the axiom of infinity is. ... There is no general definition of 'one after' in set theory, ... That's how successor rests on "<". ...
    (sci.math)
  • Re: Galileos Paradox and the Project of the Reals
    ... too many times already exactly what the axiom of infinity is. ... There is no general definition of 'one after' in set theory, ... there is a unique y that is THE immediate successor. ...
    (sci.math)
  • Re: Galileos Paradox and the Project of the Reals
    ... It is a CONSEQUENCE of the axiom of infinity that there are certain ... Is an inductive successor set ordered? ... get a decent set theory textbook already! ...
    (sci.math)
  • Re: Galileos Paradox and the Project of the Reals
    ... It declares existence of an ordered set. ... It is a CONSEQUENCE of the axiom of infinity that there are certain ... Is an inductive successor set ordered? ...
    (sci.math)
  • Re: An uncountable countable set
    ... Han de Bruijn wrote: ... Axiom of infinity: There exists a set x such that the empty set is a member of x and whenever y is in x, ... IF we define the successor of n as n+1, ...
    (sci.math)