• borokov@lemmy.world
    link
    fedilink
    arrow-up
    14
    ·
    3 days ago

    Every non-empty finite subset of N admit a maximal element. As humanity is a finite subset of N, there is someone there which is the gayest of all.

    • Ginny [they/she]
      link
      fedilink
      arrow-up
      10
      ·
      3 days ago

      You’re assuming gayness is both integral one-dimensional and integral.

      Personally, I think gayness is homomorphic to the set ℝ².

      • lugal@sopuli.xyz
        link
        fedilink
        arrow-up
        4
        ·
        3 days ago

        According to that logic, straightness would be heteromorphic to the set ℝ².

        Destroyed by pure logic

      • borokov@lemmy.world
        link
        fedilink
        arrow-up
        4
        ·
        3 days ago

        You’re right, I’ve mixed denombrability of the set and sortability of the measure (don’t know if it is the right words in engkish).

        On my side, I’m not sure about dimension or continuity of gayness norm.

      • vrojak@feddit.org
        link
        fedilink
        arrow-up
        1
        ·
        3 days ago

        So instead of general gayness, you have an axis for twink attraction and bear attraction?

    • MBM@lemmings.world
      link
      fedilink
      arrow-up
      11
      ·
      3 days ago

      That’s still only if gayness has a total order, partial orders don’t need to have one maximal element. (like, if you can say that both Alice and Bob are gayer than Charlie, but you cannot compare Alice’s gayness to Bob’s)

        • Ginny [they/she]
          link
          fedilink
          arrow-up
          5
          ·
          3 days ago

          This is not necessarily true. The subset [0, 1) of the real numbers has an upper bound of 1, but it does not contain its upper bound, therefore there is no maximal element. How matter how gay you are, it’s always possible to be a little gayer.

          • vrojak@feddit.org
            link
            fedilink
            arrow-up
            7
            ·
            3 days ago

            True, but for any finite amount of numbers chosen from the interval [0, 1), one of them will be the highest (or several share the max value)

          • 𝓔𝓶𝓶𝓲𝓮@lemm.ee
            link
            fedilink
            arrow-up
            4
            ·
            edit-2
            3 days ago

            Still, there will be someone assigned a number of gayness from [0,1) that is closest to 1, at any given moment and if there are two dimensions we could find highest and lowest from both and assign weights to each dimension to reduce it to one dimension

            I mean to be honest only [0,1) ensures that there can be single gayest because if it was discrete then there could be millions having the same value of 16 for example. So maybe there is someone having 0.99939339 and in algorithm of finding gayest they were the highest at the given moment. Of course someone may be born with 0.99939340 the next day. But what about the floating gay precision? Will we run out of gaymory?