`ℵ`is a large cardinal. We just declare it to exist with an axiom that we all agree on. For all the common definitions of large cardinals

_{0 }`ℵ`satisfies the requirements. To a lot of people who have studied model theory and set theory this will likely seem trivial, but this was pretty mind-blowing to me.

_{0 }This information is courtesy of Harry Altman.

## 4 comments:

It's completely unrelated to this post, but I just encountered a cute fallacious argument.

Suppose I show you two envelopes, one containing $5, the other, $10. I seal the envelopes and you choose one at random. I then offer to let you switch envelopes.

Let X denote the amount of money in your envelope. Then the expected value of switching is 1/2 * (2X) + 1/2 * (X/2) = 5/4 X > X, favoring switching, which is clearly absurd.

Huh, do they not distinguish "ah" and "aw" up in Connecticut? I guess not. Because, um, it has an aleph number, just that aleph number is zero. Hence why it's called...

Harry, I'm allowed to be a bit slow at times, ok? No need to rub it in so much...

Post a Comment