Re: Cantor Confusion

imaginatorium@xxxxxxxxxxxxx wrote:
David Marcus wrote:
Tony Orlow wrote:

Now, sequences may be said to derive from ordered sets, but sets are
said to be determined solely by membership, with order unimportant. So,
the notion of a sequence derives really from an inductive definition
such as Peano's, and not from the one primitive in set theory,
membership, alone. The notion of order is not captured by "is an element
of". Do you disagree?

Of course I don't agree. You seem to be saying that infinite sequences
can't be handled in ZFC. Since ZFC has no trouble modeling the natural
numbers and defining functions, it clearly has no trouble acting as a
foundation for all of calculus and analysis.

But ZFC does have considerable difficulty dealing with infinite
sequences, when the Orlovian axioms are added in. I _think_ that Tony's
"infinite induction" thing means for a start that if a sequence of
elements has a particular property ("staircase length is 2") then the
limit of the sequence must have the same property. There doesn't seem
to be a definition of the Orlovian limit, except that in any particular
case Tony will construct an ad hoc story to make something having the
property being talked about. Thus the Tlimit of the staircase sequence
is a [search the archive for TO's words] "sort of infinitesimal
staircase-thingy of length 2".

I don't think ZFC will handle Orlovian "positive infinite quantities"
too well, either. Tony gets to infinite values by simply advancing
along the real line for, um, an infinite distance, through the tunnel
of love (where it's too dark to see properly). Despite the fact that
any finite quantity (integer) can be represented as a "finite length"
two-ended string of digits, and the fact that each new integer is
formed by adding one, the naive expectation that this would enable a
proof by induction that these "infinite quantities" were also simply
finite quantities, it doesn't work like this, because, um, there's a
principle of somethingorother that excludes this. I wonder if in fact
just as electromagnetic radiation is mediated by photons, induction is
mediated by inductons, and the tunnel of love just happens to block the
passage of inductons. Perhaps.

Clearly, the problems are more conceptual rather than any particular
lack of ZFC.

--
David Marcus
.

Relevant Pages

  • Re: Cantor Confusion
    ... the limit of the staircase from to, as the number of steps ... the notion of a sequence derives really from an inductive definition ... But ZFC does have considerable difficulty dealing with infinite ... proof by induction that these "infinite quantities" were also simply ...
    (sci.math)
  • Re: Review of Mueckenheims book.
    ... as 'sequence' itself has a mathematical definition. ... explain what "infinite numbers" are. ... classical mathematics, including mathematical logic, ZFC, and is non- ...
    (sci.math)
  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... "infinitely many compositions of s" in ZFC. ... limit of the sequence ) instead! ... S= lim S_n ... successor an infinite number of times" starting with ...
    (sci.math)
  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... "infinitely many compositions of s" in ZFC. ... limit of the sequence ) instead! ... S= lim S_n ... successor an infinite number of times" starting with ...
    (sci.math)
  • Re: approaching a proof
    ... ken quirici wrote: ... Is it possible that there is an infinite ... sequence of 'proofs' in that system that APPROACH a proof of the ... induction, but in that system every instantiation of x and y in 'x+y = y+x' is provable. ...
    (sci.logic)