Re: Continuum hypothesis



cbrown@xxxxxxxxxxxxxxxxx wrote:
>
> So you're saying that there exists an infinite sequence (i.e., it makes
> sense to talk about it as a mathematical object)? For example, does the
> sequence (1, 2, 3, 4, ..., n, ...) "exist" "in the limit"? Isn't that
> just the same as the naturals?

That's what I hoped for. But the "standard" naturals seem to have
additional
properties. And these do not automatically show up as the above
sequence
becomes "infinitely large" (whatever that "means" according to "you").

> > If not, what's your problem?
>
> Consistency?

Consistency indeed, but within mathematics AND beyond.

[ ... reasoning with Archmedian property involved skipped for now;
should be
comprehended later on; thanks anyway; own reasoning repeated
here: ]

Take the finite sequence of naturals (1 ... n) . When I count the even
and
odd numbers (cumulative) _within_ that sequence, I find the following:

If n = even then the number of even integers in (1..n) is n/2
and the number of odd integers in (1..n) is n/2
If n = odd then the number of even integers in (1..n) is (n-1)/2
and the number of odd integers in (1..n) is (n+1)/2

Now suppose that the number of elements in (1..n) is very large. Then
we
can define the probability P that a natural in (1..n) will be even/odd:


If n = even then P(even) = (n/2) / n = 1/2
and P(odd) = (n/2) / n = 1/2
If n = odd then P(even) = ((n-1)/2) / n -> 1/2
and P(odd) = ((n+1)/2) / n -> 1/2

In the limiting case, of an infinitely large interval (1..n), quite as
expected, we find:

P(even) = P(odd) = 1/2

I'm still at lost what precisely would be the "flaw" in this reasoning.

A generalization could be the theorem that P(a natural n is divisible
by a) = 1/a . I _know_ that mainstream mathematics finds it wrong
to say this, but I can not comprehend why.

Han de Bruijn

.



Relevant Pages

  • Re: New countable infiniity logic
    ... >infinite number of digits, and therefore 0.333... ... you are confusing the number of digits in the sequence with the ... it is an infinite sequence that *BY YOUR DEFINITION* does not ... A list of naturals is not a list of digits used to express those ...
    (sci.math)
  • Re: New countable infiniity logic
    ... >infinite number of digits, and therefore 0.333... ... you are confusing the number of digits in the sequence with the ... it is an infinite sequence that *BY YOUR DEFINITION* does not ... A list of naturals is not a list of digits used to express those ...
    (sci.logic)
  • Re: The natural numbers are uncountable
    ... > Given any simply infinite sequence of unique natural numbers, ... > sequence, there is first element in the sequence, a second element in the ... that you want to argue that the naturals are not countable, ... Argue the wrong ...
    (sci.logic)
  • Re: Why are reals uncountable yet algorithms countable (long)?
    ... is exactly identifiable with an infinite sequence of digits. ... That is what we mean by an infinite sequence. ... The claim is now that the reals are NOT countable. ... the naturals and the reals. ...
    (sci.math)
  • The Origin of a Sequence
    ... THE ORIGIN OF A SEQUENCE ... implications of the first part for the understanding of natural number as ... In mathematics, so far as I can tell, a sequence is always ... But let us go back to our idea of the Naturals ...
    (sci.math)