Re: Cantorian pseudomathematics



Han de Bruijn wrote:
> Toni Lassila wrote:
> >
> > On the other hand, for all your claims about wanting to make
> > mathematics more physical and applicable, you've not shown one actual
> > working method of simulating uniformly distributed naturals.
>
> If you can simulate them at any _finite_ interval (1,2,3,4,5,...,n)
> then you can simulate then at _all_ of those intervals, hence at the
> naturals.

If n is some finite natural, call a natural x in the interval [1..n]
"small" if 2*x is a also a member of [1.. n]; and call it "big"
otherwise.

Clearly, P(x is "big" | n) = floor(n/2)/n -> 1/2 as n -> oo; so, upon
taking the limit as Han does, P(arbitrary natural is "big") = 1/2; so
the odds that a random number is "big" are 50/50.

Thus Han's random natural generator should provide us, on average, with
equal numbers of "big" and "small" naturals.

Is 10^10^100 a "big" number? 2*10^10^100 is clearly included in the
interval (lim n->oo [1..n]), and so it should be "small" by definition.

Come to think of it - what is the smallest "big" number? I guess we'll
have to wait for Han's random natural generator to get up and running
before we can at least put a statistical upper bound on this...

Cheers - Chas

.



Relevant Pages

  • Re: Cantorian pseudomathematics
    ... for all your claims about wanting to make ... >> mathematics more physical and applicable, ... >> working method of simulating uniformly distributed naturals. ...
    (sci.math)
  • Re: Skolems Paradox
    ... Whatever philosophy of mathematics you espouse, it remains a rather trivial mathematical fact that and are not equivalent. ... In this case it's a theorem of ZFC that implies, but only for the rather uninteresting reason that both of these are provable in ZFC and all provable statements imply each other. ... One could take the view that there is one and only cumulative hierarchy, the class of all sets, and hence CH is either true or false in the ordinary mathematical sense, but hold that our ideas about the cumulative hierarchy are not detailed enough to determine whether CH or ~CH holds. ... If someone were to ask me whether there exists a set, I would give the natural answer: "sure, for example, there's the empty set, the set of naturals, the set of countable ordinals and so forth". ...
    (sci.logic)
  • Re: Orlow cardinality question
    ... > 1's between naturals violates by being finite in size. ... elements in an infinite set. ... > source of much dispute up to this day. ... mathematics as applied to the real world. ...
    (sci.math)
  • Re: Zenkins paper on Cantor (reply of Dr. Zenkin)
    ... > construction when things talked of are supposedly infinite objects? ... we define, for all naturals i, f= i; and, for all naturals j, g ... > think this was one of the steps of reasoning which Dr. Zenkin ... anyone else here seems to be talking about - mathematics. ...
    (comp.theory)
  • Re: Zenkins paper on Cantor (reply of Dr. Zenkin)
    ... > construction when things talked of are supposedly infinite objects? ... we define, for all naturals i, f= i; and, for all naturals j, g ... > think this was one of the steps of reasoning which Dr. Zenkin ... anyone else here seems to be talking about - mathematics. ...
    (sci.math)