Jump to content

Ripheus23

Members
  • Posts

    1318
  • Joined

  • Last visited

  • Days Won

    2

Ripheus23 last won the day on November 21 2018

Ripheus23 had the most liked content!

5 Followers

About Ripheus23

  • Birthday 07/15/1986

Profile Information

  • Member Title
    Aonspren
  • Location
    Wherever I ought to be
  • Interests
    Interesting things.

Ripheus23's Achievements

1.1k

Reputation

Single Status Update

See all updates by Ripheus23

  1. 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...

    1. Ripheus23

      Ripheus23

      I guess you could say the thesis of the ideal symbol/IS here, is that c is literally diagonal to aleph-zero. :D

    2. Ripheus23

      Ripheus23

      Although I can't tell as yet, whether that cofinality stuff rules out any aleph-number on a list after the aleph-n list...

    3. Ripheus23

      Ripheus23

      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...

×
×
  • Create New...