Re: An uncountable countable set

In article <45476d37$1@xxxxxxxxxxxxxxxxxxx>,
Tony Orlow <tony@xxxxxxxxxxxxx> wrote:

David R Tribble wrote:
Virgil wrote:
Are the properties of "Finlayson Numbers" known to anyone except
Ross himself?

Tony Orlow wrote:
Uh, yeah, I think I understand what his numbers are. Perhaps you've seen
our recent exchange on the matter? They are discrete infinitesimals such
that the sequence of them within the unit interval maps to the naturals
or integers on the real line. Is that about right, Ross?

Only a countable infinity of them? Then the number of infinitesimals
in [0,1] is exactly the same as the reciprocals 1/n for every natural
n>0, right? But there are c reals in [0,1], so are there more reals
than infinitesimals?


I think Ross has to answer that one. In my book, the naturals are really
*N, the hypernaturals, and so there are an uncountably, actually
infinite, number of them, and then EF works for me as a special case of IFR.

TO's book only exists in TO's twilight zone.
.

Relevant Pages

  • Re: Well Ordering the Reals
    ... Tony Orlow wrote: ... No finite reals satisfy infinite. ... infinitesimals (which are not included in these rules so far, ... If a < b in some ordered set, then there is no scale operation ...
    (sci.math)
  • Re: infinity
    ... > Tony Orlow wrote: ... > algebra, I know, so I'll help you: the real mathematical reals do, and ... > it means you can always divide, subtract, etc. ... The unit infinitesimals are ...
    (sci.math)
  • Re: An uncountable countable set
    ... They are discrete infinitesimals such ... Is that about right, Ross? ... But there are c reals in, so are there more reals ... In my book, the naturals are really *N, the hypernaturals, and so there are an uncountably, actually infinite, number of them, and then EF works for me as a special case of IFR. ...
    (sci.math)
  • Re: Extending the reals
    ... Tony Orlow wrote: ... reals was "uncountably" disconnected, in the context of the standard ... Even in terms of infinitesimals it would be only countably ... All suprareals are, in effect, "finite" ...
    (sci.math)
  • Re: An uncountable countable set
    ... Ross in your eyes, coming from me, but I think Ross has a genuine ... he says, but his cryptic "Well order the reals", which I actually ... The reals viewed as discrete infinitesimals map to the ... What is this IFR, "inverse function rule"? ...
    (sci.math)