Who was Aleph Null? (2013)
bit-player.org
bit-player.org
Charles Lang, is of course, a good candidate for "Archimedes" but I'm suspecting it may be David Wheeler, an incredible polymath that seemed to be beyond the cutting edge on every frontier of computer science for his entire career.
If you don't know how Mel is:
Aleph one bottles of beer on the wall!
Aleph one bottles of beer!
Take aleph null down
Pass them around
Aleph one bottles of beer on the wall!"
https://math.bu.edu/people/jeffs/aleph-null.htmlInteresting read regardless.
[0] http://chrisacorns.computinghistory.org.uk/32bit_UpgradesA2G...
In case anyone doesn't know, Aleph-null is the cardinality of the natural numbers and Aleph-one is the cardinality of the countable ordinal numbers. On the continuum hypothesis, aleph-one would equal the cardinality of the continuum (i.e. reals.)
Edit: PEBKAC, parent is correct.
Aleph-1 is the reals (uncountable), aka 2^Aleph-0. (Also any multi-dimensional (finite dimensions) complex space.)
Aleph-2 is 2^Aleph-1 &c
The continuum hypothesis is that there isn't an infinite cardinality between 0 and 1.
Aleph_1 refers to the second-smallest infinite cardinal, whether that's equal to 2^(aleph_0) or not. (Aleph_1 is also equal, as has been mentioned, to the number of countable ordinals.)
The continuum hypothesis, in stating that there are no infinite cardinals inbetween aleph_0 and 2^(aleph_0), is equivalent to the statement that 2^(aleph_0) = aleph_1.
The series you refer to is denoted by the Hebrew letter bet, not aleph. So bet_0 = aleph_0, bet_1 = 2^(bet_0), bet_2 = 2^(bet_1), etc. But that is not how the aleph numbers work.
https://www.quantamagazine.org/how-many-numbers-exist-infini...
Yeah, if I recall that's why forcing was invented, to specifically prove that C and CH were independent of ZF. Yeah: [1]
1. https://en.wikipedia.org/wiki/Paul_Cohen#Continuum_hypothesi...
Aleph_1 doesn't refer to uncountable cardinals in general, it's a specific uncountable cardinal. More specifically, it is, as guerrilla says, the number of countable ordinals.
I tried finding out what those initials stand for, but couldn’t find an answer. If it happens to be Alexander Graham Bell, I give it a decent chance that’s a pseudonym, too.