09/07/2011, 03:37 AM

VERY controversial subject.

many flamewars going on about this.

my opinion is this

2^^aleph_0 = aleph_aleph_0

and further

2^(aleph_aleph_0) = aleph_aleph_0

notice aleph_0 + 1 = aleph_0

and 2^^(aleph_aleph_0) = aleph_aleph_0

notice 2 * aleph_0 = aleph_0

aleph_aleph_1 or higher does not exist.

notice that defining what aleph_aleph_1 is the diagonal argument / powerset of is not possible ...

( which is imho required to assume existance of aleph_aleph_1 )

regards

tommy1729

many flamewars going on about this.

my opinion is this

2^^aleph_0 = aleph_aleph_0

and further

2^(aleph_aleph_0) = aleph_aleph_0

notice aleph_0 + 1 = aleph_0

and 2^^(aleph_aleph_0) = aleph_aleph_0

notice 2 * aleph_0 = aleph_0

aleph_aleph_1 or higher does not exist.

notice that defining what aleph_aleph_1 is the diagonal argument / powerset of is not possible ...

( which is imho required to assume existance of aleph_aleph_1 )

regards

tommy1729