-
Posts
1318 -
Joined
-
Last visited
-
Days Won
2
Ripheus23's Achievements
1.1k
Reputation
Single Status Update
-
Continuum Hyperthesis
This idea is that the value of c [ = the continuum] is somehow either the second of a series or the place after the second move across a series. So it would be either aleph-one (a), aleph-two (b), aleph-aleph-zero (c), aleph-aleph-one (d), aleph-aleph-two (e), or aleph-aleph-aleph-zero (f), aleph-aleph-aleph-one (g), or aleph-aleph-aleph-two (h). I'm going to assume for the time being that (a) and (c) are ruled out.
Now, if (d) is true, which is my new belief, then 2^[aleph-0] = aleph-aleph-one, which means X^[aleph-n] = [as many alephs as X]-(n+1). If this is so, then all the alephs from aleph-aleph-one through aleph-aleph-n can be given from the first list of alephs. Accordingly, X^[aleph-aleph-n] would map outside of the set of lists, i.e. out of the first transquare. If this is so, and if the first set on the next set of lists is equivalent to [aleph-zero]-aleph-zero [i.e. an infinity of aleph-glyphs subscripted by zero], then 2^[aleph-aleph-zero] maps to the next dimension of lists, 2^[aleph-aleph-aleph-zero] to another dimension still, and so on and on...
-
-
-
Apparently, aleph-aleph-one is not ruled out, but my theory is going to depend strongly on arguing for the use of the IS to "determine" transfinite arithmetic. This would go with the "game-theoretic" picture of the foundations of mathematics, here.*
*[The idea is that Platonism, constructivism, and formalism are all true: mathematics is about the Platonic form of a constructive formality. More intuitively: mathematics is the 'result' of a 'freely willing creative subject' as in Brouwer, but the subject is the Platonic form of free will, and free will = Intendo [https://stanford.library.sydney.edu.au/archives/win2015/entries/practical-reason-action/#3], which is a game/action-theoretic structure.]
I was trying to figure out WHY on Earth my mind decided, "Let's obsess over 'proving' or 'disproving' the Continuum Hypothesis," and I remembered why: but it's going to take quite a bit to get from "resolving" CH to this deeper reason...
-
