From: Daryl McCullough on
albstorz(a)gmx.de says...

>David R Tribble wrote:

>> Obviously, you do not understand.
>>
>> My set is:
>> S = {0, 2^0, 2^2^0, 2^2^2^0, 2^2^2^2^0, ...}
>> S = {0, 1, 2, 4, 16, 65536, ...}

>I don't know what kind of math you apply here. Tribble-O-Math?

It's quite ordinary math, except for the fact that
perhaps you are unfamiliar with the use of ^ to mean
exponentiation?

2^0 = 1
2^1 = 2
2^2 = 2*2 = 4
2^3 = 2*2*2 = 8
2^4 = 2*2*2*2 = 16
etc.

David's sequence is 0, 2^0, 2^(2^0), 2^(2^(2^0)), etc

2^0 = 1
2^(2^0) = 2^1 = 2
2^(2^(2^0)) = 2^2 = 4
2^(2^(2^(2^0))) = 2^4 = 16
2^(2^(2^(2^(2^0)))) = 2^16 = 65536
etc.

--
Daryl McCullough
Ithaca, NY

From: albstorz on
David R Tribble wrote:
> Albrecht S. Storz wrote:
> > But you are not able to give respond to my argumentation. You correct
> > mistakes which have no connection to my argumentation. You just ignore
> > it. You speak with yourself. Why do you post in this thread if you are
> > not willing to debate my argumentation?
> >
> > This is not only adressed to you, David, but also to all the other
> > participants of this thread.
>
> Okay, I'll respond to your original post, one more time.


Thanks.


>
>
> > 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.
>
> That is correct. The set of natural numbers (N) derived from the
> Peano axioms is an infinite set containing only finite naturals.

OK

>
>
> > 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.
>
> There is no contradiction. The set contains only finite elements,
> and the set is infinite (i.e., contains an infinite number of
> elements).


There are many sets. What do you are talking from? Let's have names:

The first horizontal row or line of #s: L#1 = {#1}
The first horizontal row or line of Os: LO1 = {O1, O2, O3, ...}
The second horizontal row or line of #s: L#2 = {#1, #2}
and so on
The first vertical row or column of #s: C#1 = {#1, #2, #3, ...}
The first vertical row or column of Os: CO1 = {O1}
and so on


Now, as defined, CO1, CO2, CO3, ... is the sequence of the natural
numbers in 1-adic representation. So the cardinality of the set LO1 is
equivalent to the cardinality of the set of natural numbers N.
Now we had found, that the sequence L#1, L#2, L#3, ... also follows the
peano axioms. But by construction, the cardinality of the set of L#x,
which is equivalent to card(C#1), could not be bigger than any finite
natural number.

Ergo: The size of the set C#1 must be infinite and undefined at the
same time.


>
> The size (cardinality) of the set is infinite, but this set measure
> is not a natural number, and is not a member of the set itself.
> Infinite cardinal numbers are not natural numbers, so they are not
> members of sets of naturals.
>
> The "largest natural number" is undefined because it does not exist;
> there is no such number. On the other hand, the size of the set is
> well-defined as the smallest infinite set size (Aleph_0). But the
> size is not a natural number.
>
> It is reasonable to say that the number of elements in the set is
> greater than any member in the set. Therefore, the size cannot be
> a member of the set, and it cannot be a natural number.

It's not reasonable in the case of the natural numbers. The size of a
set could not be greater than any member in the case if the members
count themself. This is so obvious.
Since it is obvious and you and many other mathematics can't see it,
ther is no rational discussion possible about this issue.


>
>
> > 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?
>
> Neither. If you consider the second set to be a set of subsets (where
> each subset is represented by a row of #s and Os), the argument is
> the same - the set is infinite, but no member of the set is infinite.
>
> Your contradiction is wrong. The contradiction comes from saying
> that the size of the set is also a member of the set.

Since it is constructed like this it is like this: the size of the set
is a member of the set.
If you just deny the obvious facts, there is no further communication
possible.

>
> There is not much else to say about it.

Yes.

Regards
AS

From: David Kastrup on
albstorz(a)gmx.de writes:

> David R Tribble wrote:
>
>> The size (cardinality) of the set is infinite, but this set measure
>> is not a natural number, and is not a member of the set itself.
>> Infinite cardinal numbers are not natural numbers, so they are not
>> members of sets of naturals.
>>
>> The "largest natural number" is undefined because it does not
>> exist; there is no such number. On the other hand, the size of the
>> set is well-defined as the smallest infinite set size (Aleph_0).
>> But the size is not a natural number.
>>
>> It is reasonable to say that the number of elements in the set is
>> greater than any member in the set. Therefore, the size cannot be
>> a member of the set, and it cannot be a natural number.
>
> It's not reasonable in the case of the natural numbers. The size of
> a set could not be greater than any member in the case if the
> members count themself. This is so obvious.

You did not read _any_ of what David wrote above, right? Or at least
you did not understand a word of it. Every member "counts" itself.
And every member "counts" a set which ends with itself. The set of
natural numbers does not end with any member, and so it is not
"counted" by any of its members. Only the last member of such a set
"counts" the set, and there is no last natural number to "count" it.
So you have the options of declaring that the set can't be counted, or
you have to invent an unnatural number which, while not counting the
set in the customary way, is supposed to represent the count of the
members of a set obeying the Peano axioms. Not by actually doing the
counting, but by checking whether the axioms hold, and then declaring
the count of the set to be aleph_0, by decree.

This does not make aleph_0 a member of the set of naturals.

--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
From: albstorz on

Daryl McCullough wrote:
> albstorz(a)gmx.de says...
>
> >David R Tribble wrote:
>
> >> Obviously, you do not understand.
> >>
> >> My set is:
> >> S = {0, 2^0, 2^2^0, 2^2^2^0, 2^2^2^2^0, ...}
> >> S = {0, 1, 2, 4, 16, 65536, ...}
>
> >I don't know what kind of math you apply here. Tribble-O-Math?
>
> It's quite ordinary math, except for the fact that
> perhaps you are unfamiliar with the use of ^ to mean
> exponentiation?
>
> 2^0 = 1
> 2^1 = 2
> 2^2 = 2*2 = 4
> 2^3 = 2*2*2 = 8
> 2^4 = 2*2*2*2 = 16
> etc.
>
> David's sequence is 0, 2^0, 2^(2^0), 2^(2^(2^0)), etc

I had read 0, 2^0, (2^2)^0, (2^2^2)^0, etc
since he has written:
"I've got a set S = {0, 2^0, 2^2^0, 2^2^2^0, ...}, which contains
all the powers of 2 of the form 2^p, where p=0 or 2^q."

Maybe I had misunderstood.

>
> 2^0 = 1
> 2^(2^0) = 2^1 = 2
> 2^(2^(2^0)) = 2^2 = 4
> 2^(2^(2^(2^0))) = 2^4 = 16
> 2^(2^(2^(2^(2^0)))) = 2^16 = 65536
> etc.
>
> --
> Daryl McCullough
> Ithaca, NY

Yes, there are many possible sequences to build.


Regards
AS

From: Randy Poe on

albst...(a)gmx.de wrote:
> > David's sequence is 0, 2^0, 2^(2^0), 2^(2^(2^0)), etc
>
> I had read 0, 2^0, (2^2)^0, (2^2^2)^0, etc
> since he has written:
> "I've got a set S = {0, 2^0, 2^2^0, 2^2^2^0, ...}, which contains
> all the powers of 2 of the form 2^p, where p=0 or 2^q."

Which means the elements are 0, and 2 raised to the power of q
where q is another element.

Thus, since 2^0 is an element, 2^(2^0) is an element, and so
is 2^(2^(2^0))), etc.

>
> Maybe I had misunderstood.

Yes. I don't see how to interpret p = (2^2)^0 as 2^q where
q is another element of the set.

It's the same idea as the Peano definition of the naturals,
defining elements as 0, or as the successor to other
elements. But here the successor operation is
succ(q) = 2^q, instead of succ(q) = q + 1.

Peano doesn't specify what the successor operation is. This
is a perfectly good Peano set. You could, for instance, do
induction on this set.

- Randy

First  |  Prev  |  Next  |  Last
Pages: 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75
Prev: math
Next: The proof of mass vector.