@hazel I don't think it's possible to have 2^ people in a line, since there is a clear answer to what person is immediately after another
@hazel @jacethechicken I mean like, each person has a successor, but also you can take limits. I guess aleph_1 would be the first uncountable ordinal, and 2^aleph_0 would be the power set of the naturals, but with a well-ordering (idk if there's a canonical way to do this or if you need choice). Either way the "first bits" would look like the naturals, but it would just go on "longer"
@hazel @jacethechicken for a picture I guess just imagine something like this but where each line is a person, and it goes on "long enough" to get whatever wacky cardinality you want. https://upload.wikimedia.org/wikipedia/commons/1/18/Ordinal_ww.svg
@hazel [math crackpot voice] the so-called proof that $2^a$ is a larger cardinal than $a$ even for infinite $a$ rests on an unconvincing sleight of hand. in this essay i will
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.