Re: infinity



In article <MPG.1db867f7573cdd9298a48a@xxxxxxxxxxxxxxxxxxxxxxxxx>,
Tony Orlow <aeo6@xxxxxxxxxxx> wrote:

> David R Tribble said:
> > Tony Orlow wrote:
> > >> For any finite value you choose, you can find a larger finite
> > >> value, which is still finite, so being larger than any finite
> > >> value you can choose does not make a number infinite.
> > >
> >
> > (I think Tony worded his sentence poorly. His "larger than any
> > finite value you choose" means "larger than any specific finite
> > value you choose", not "larger than all finite values".)
> >
> > That's right; for any finite natural I choose, I can always find
> > another finite natural that is larger than it. And this does not
> > make the larger number infinite. So the set of finite naturals
> > does not contain any infinite values.
> >
> > So how then, Tony, do you get infinite numbers in your set of
> > naturals?
> >
> >
> I can choose a larger value that is infinite, too, so I don't see how
> this has to do with that.

The things that TO does not see encompass almost all of mathematics, and
much of logic as well.

The mechanism for generating the successor of 1 and of any previous
(finite) natural is inherent in Peano, but there is no such
mechanismfor generating any non-finite naturals, and there is a
mechanism for excluding them.
.



Relevant Pages

  • Re: Well Ordering the Reals
    ... > Tony Orlow wrote: ... and therefore never becomes infinite as long as the elements ... >> finite naturals, you say the size is larger than all finite naturals, so it ... > Did those infinite members of N disappear when you removed the 1? ...
    (sci.math)
  • Re: infinity
    ... Tony Orlow writes: ... > Daryl McCullough said: ... the set is unbounded but not infinite. ... >> What is the size of the set of all finite naturals? ...
    (sci.math)
  • Re: infinity
    ... >> Tony Orlow wrote: ... >> David R Tribble said: ... consequence of the successor function on the set of finite naturals. ... > The number of infinite naturals is ...
    (sci.math)
  • Re: Logarithm of transfinite numbers
    ... or the value of the string I am discussing. ... There is no point at which any finite natural has an infinite ... They ARE the finite naturals. ... At which point has my abstraction differed from what you're ...
    (sci.math)
  • Re: Logarithm of transfinite numbers
    ... Randy Poe said: ... Do any of your naturals achieve any infinite values? ... or the value of the string I am discussing. ... They ARE the finite naturals. ...
    (sci.math)