From: albstorz on

(Hint: The sketches would not looks good in proportional fond)

Let's start with a representation of the natural numbers in unitary
(1-adic) system as follows:



O O O O O O O O O ...
O O O O O O O O ...
O O O O O O O ...
O O O O O O ...
O O O O O ...
O O O O ...
O O O ...
O O ...
O ...
.
.
.


1 2 3 4 5 6 7 8 9 ...


Each vertical row shows a natural number. Horizontally, it is the
sequence of the natural numbers. Since the Os, the elements, are local
distinguished from each other, we can also look at the rows as sets. A
set may contain the coordinates of the elements as their representation
or may look like this: S3 = {O1, O2, O3} e.g. .

>From the Peano axiomes follows that the set of all naturals is
infinite. So, the set of the elements of the first horizontal row is
infinite. Actually the set of the elements of every horizontal row is
infinite. And the set of all the elements in this representation is
also infinite.

But there is no vertical row with infinite many elements since there is
no infinite natural.

Now let's fill the horizontal rows or lines with other symbols. We have
to take into account that only lines should be filled with #s which
containes Os.


# O O O O O O O O O ... 1
# # O O O O O O O O ... 2
# # # O O O O O O O ... 3
# # # # O O O O O O ... 4
# # # # # O O O O O ... 5
# # # # # # O O O O ... 6
# # # # # # # O O O ... 7
# # # # # # # # O O ... 8
# # # # # # # # # O ... 9
.. . . . . . . . . . .
.. . . . . . . . . . .
.. . . . . . . . . . .


The vertical sequence of sets of #s fullfill the peano axiomes exactly
as the horizontal sequence of the sets of Os does.
But there is a slight difference. Since there is no infinite natural in
form of a set of Os and since after every set of #s there should be a
O, the size of the set of the naturals as sets of #s could not extend
the "biggest" number of the naturals in form of sets of Os.
Since there is no biggest number and since there is no infinite number,
the size of the set of numbers in form of sets of #s is undefined as
the biggest natural number is undefined.

But the sequence of the sets of # fullfill the peano axiomes. So this
set must be infinite.

The cardinality of a set is not able to be infinite and "not defined"
at the same time.

This is the contradiction.

Or let's say it in another form: The first vertical row of #s could not
exceed the biggest vertical row of Os (and could not be smaller). So,
the cardinality of this set is undefined like the biggest natural
number. But the set of the elements of the first vertical row of #s has
the same cardinality like the set of the natural numbers.
--> Contradiction.

Or did I construct a monster set which cardinality is subtransfinite?

Comments?


Best regards

Albrecht S. Storz, Germany

From: stephen on
albstorz(a)gmx.de wrote:

> But there is a slight difference. Since there is no infinite natural in
> form of a set of Os and since after every set of #s there should be a
> O, the size of the set of the naturals as sets of #s could not extend
> the "biggest" number of the naturals in form of sets of Os.
> Since there is no biggest number and since there is no infinite number,
> the size of the set of numbers in form of sets of #s is undefined as
> the biggest natural number is undefined.

Whoever said the size of a set has anything to do with the "biggest"
element?

> But the sequence of the sets of # fullfill the peano axiomes. So this
> set must be infinite.

> The cardinality of a set is not able to be infinite and "not defined"
> at the same time.

> This is the contradiction.

No, the contradiction is assuming that cardinality has
anything to do with the "biggest" element. Cardinality
is not defined in terms of the largest element. It
is defined in terms of bijections. Your post says
nothing about bijections, so it says nothing about
cardinality.

Stephen

From: Tony Orlow on
albstorz(a)gmx.de said:
>
> (Hint: The sketches would not looks good in proportional fond)
>
> Let's start with a representation of the natural numbers in unitary
> (1-adic) system as follows:
>
>
>
> O O O O O O O O O ...
> O O O O O O O O ...
> O O O O O O O ...
> O O O O O O ...
> O O O O O ...
> O O O O ...
> O O O ...
> O O ...
> O ...
> .
> .
> .
>
>
> 1 2 3 4 5 6 7 8 9 ...
>
>
> Each vertical row shows a natural number. Horizontally, it is the
> sequence of the natural numbers. Since the Os, the elements, are local
> distinguished from each other, we can also look at the rows as sets. A
> set may contain the coordinates of the elements as their representation
> or may look like this: S3 = {O1, O2, O3} e.g. .
>
> >From the Peano axiomes follows that the set of all naturals is
> infinite. So, the set of the elements of the first horizontal row is
> infinite. Actually the set of the elements of every horizontal row is
> infinite. And the set of all the elements in this representation is
> also infinite.
>
> But there is no vertical row with infinite many elements since there is
> no infinite natural.
>
> Now let's fill the horizontal rows or lines with other symbols. We have
> to take into account that only lines should be filled with #s which
> containes Os.
>
>
> # O O O O O O O O O ... 1
> # # O O O O O O O O ... 2
> # # # O O O O O O O ... 3
> # # # # O O O O O O ... 4
> # # # # # O O O O O ... 5
> # # # # # # O O O O ... 6
> # # # # # # # O O O ... 7
> # # # # # # # # O O ... 8
> # # # # # # # # # O ... 9
> . . . . . . . . . . .
> . . . . . . . . . . .
> . . . . . . . . . . .
>
>
> The vertical sequence of sets of #s fullfill the peano axiomes exactly
> as the horizontal sequence of the sets of Os does.
> But there is a slight difference. Since there is no infinite natural in
> form of a set of Os and since after every set of #s there should be a
> O, the size of the set of the naturals as sets of #s could not extend
> the "biggest" number of the naturals in form of sets of Os.
> Since there is no biggest number and since there is no infinite number,
> the size of the set of numbers in form of sets of #s is undefined as
> the biggest natural number is undefined.
>
> But the sequence of the sets of # fullfill the peano axiomes. So this
> set must be infinite.
>
> The cardinality of a set is not able to be infinite and "not defined"
> at the same time.
>
> This is the contradiction.
>
> Or let's say it in another form: The first vertical row of #s could not
> exceed the biggest vertical row of Os (and could not be smaller). So,
> the cardinality of this set is undefined like the biggest natural
> number. But the set of the elements of the first vertical row of #s has
> the same cardinality like the set of the natural numbers.
> --> Contradiction.
>
> Or did I construct a monster set which cardinality is subtransfinite?
>
> Comments?

I think your diagram is very nice, and your point pretty clear. That is a good
graphic illustration of the equality between element value and element count
for the natural numbers. It would seem very hard to argue that the array with
its diagonal is somehow longer than it is wide, using this unary notation. I
believe that you have constructed a representation of a set which is
transfinite, but not infinite, unless the strings of 0's and #'s are allowed to
become infinite in both directions. Good job! Danke!
>
>
> Best regards
>
> Albrecht S. Storz, Germany
>
>

--
Smiles,

Tony
From: Tony Orlow on
stephen(a)nomail.com said:
> albstorz(a)gmx.de wrote:
>
> > But there is a slight difference. Since there is no infinite natural in
> > form of a set of Os and since after every set of #s there should be a
> > O, the size of the set of the naturals as sets of #s could not extend
> > the "biggest" number of the naturals in form of sets of Os.
> > Since there is no biggest number and since there is no infinite number,
> > the size of the set of numbers in form of sets of #s is undefined as
> > the biggest natural number is undefined.
>
> Whoever said the size of a set has anything to do with the "biggest"
> element?
Stephen, did you even look at the diagrams he presented? Do you not see that
the width of the square and the height are the same. Do you not see that the
width is the count of naturals and the height is the value? The picture said
so, that's who.
>
> > But the sequence of the sets of # fullfill the peano axiomes. So this
> > set must be infinite.
>
> > The cardinality of a set is not able to be infinite and "not defined"
> > at the same time.
>
> > This is the contradiction.
>
> No, the contradiction is assuming that cardinality has
> anything to do with the "biggest" element. Cardinality
> is not defined in terms of the largest element. It
> is defined in terms of bijections. Your post says
> nothing about bijections, so it says nothing about
> cardinality.
It says everything about the size of the set of naturals compared with the
values in the set. Can the square be wider than it is tall? No? Well, then,
what does that say to you? (probably nothing, of course)
>
> Stephen
>
>

--
Smiles,

Tony
From: stephen on
Tony Orlow <aeo6(a)cornell.edu> wrote:
> stephen(a)nomail.com said:
>> albstorz(a)gmx.de wrote:
>>
>> > But there is a slight difference. Since there is no infinite natural in
>> > form of a set of Os and since after every set of #s there should be a
>> > O, the size of the set of the naturals as sets of #s could not extend
>> > the "biggest" number of the naturals in form of sets of Os.
>> > Since there is no biggest number and since there is no infinite number,
>> > the size of the set of numbers in form of sets of #s is undefined as
>> > the biggest natural number is undefined.
>>
>> Whoever said the size of a set has anything to do with the "biggest"
>> element?
> Stephen, did you even look at the diagrams he presented? Do you not see that
> the width of the square and the height are the same. Do you not see that the
> width is the count of naturals and the height is the value? The picture said
> so, that's who.

What square? The sides of a square are line segments.
The four corners of the square are defined by the ends
of those line segments. If your lines extend indefinitely,
then there is no square.

This is not a square:
+-----------.....
|
|
.
.
.

A square has four corners. This only has one "corner".
Remember, infinite lines do not end. Not even "at infinity".

<snip>

> It says everything about the size of the set of naturals compared with the
> values in the set. Can the square be wider than it is tall? No? Well, then,
> what does that say to you? (probably nothing, of course)

As there is no square in the first place, it is irrelevant
if a square can be wider than it is tall.

Stephen
 |  Next  |  Last
Pages: 1 2 3 4 5 6 7 8 9 10 11
Prev: math
Next: The proof of mass vector.