• hansl@lemmy.world
    link
    fedilink
    English
    arrow-up
    12
    ·
    1 year ago

    Oh you like math? Name all the sets of sets that don’t include themselves.

    • zzx@lemmy.world
      link
      fedilink
      English
      arrow-up
      1
      arrow-down
      1
      ·
      1 year ago

      Russell is that you? Please stop breaking my formal systems

      • NegativeInf@lemmy.world
        link
        fedilink
        English
        arrow-up
        1
        ·
        edit-2
        1 year ago

        Here’s a thousand page proof defining all the logical underpinning required to prove that 1 + 1 = 2.

  • Venia Silente@lemm.ee
    link
    fedilink
    English
    arrow-up
    10
    ·
    1 year ago

    Aren’t there numbers past (plus/minus) infinity? Last I hear there’s some omega stuff (for denoting numbers “past infinity”) and it’s not even the usual alpha-beta-omega flavour.

    Come to think of it, is there even a notation for “the last possible number” in math? aka something that you just can’t tack “+1” at the end of to make a new number?

      • starman2112@sh.itjust.works
        link
        fedilink
        English
        arrow-up
        3
        arrow-down
        1
        ·
        edit-2
        1 year ago

        No matter what Wikipedia says, Aleph Null is the real way to say it, because it sounds so much cooler

        • humanplayer2@lemmy.ml
          link
          fedilink
          English
          arrow-up
          2
          ·
          1 year ago

          I agree. But I’m Danish, where zero is called nul and and Ø is in the alphabet, so I try to cool ot a bit with the coolness.

      • Venia Silente@lemm.ee
        link
        fedilink
        English
        arrow-up
        2
        ·
        1 year ago

        Which of the infinities? There are many, many :D

        Oh no! Please don’t tell me there are infinity infinities!

      • DoomBot5@lemmy.world
        link
        fedilink
        English
        arrow-up
        2
        arrow-down
        1
        ·
        1 year ago

        Wait, they ran out of greek letters and started using Hebrew ones now? When did that happen?

    • kerrigan778@lemmy.world
      link
      fedilink
      English
      arrow-up
      6
      arrow-down
      2
      ·
      edit-2
      1 year ago

      There is nothing “past” infinity, infinity is more a concept than a number, there are however many different kinds of infinity. And for the record, infinity + 1 = infinity, those are completely equal. Infinity + infinity = infinity x 2 = still the same kind of infinity. Infinity times infinity is debatably a different kind of infinity but there are fairly simple ways of showing it can be counted the same.

      Essentially the number of numbers between 1 and 2 is the same as the number of numbers between 0 and infinity. They are still infinite.

      • Leate_Wonceslace@lemmy.dbzer0.com
        link
        fedilink
        English
        arrow-up
        3
        ·
        edit-2
        1 year ago

        Hi, I’m a mathematician. My specialty is Algebra, and my research includes work with transfinites. While it’s commonly said that infinity “isn’t a number” I tend to disagree with this, since it often limits how people think about it. Furthermore, I always find it odd when people offer up alternatives to what infinity is; are numbers never concepts?

        Regardless, here’s the thing you’re actually concretely wrong about: there are provably things bigger than infinity, and they are all bigger infinities. Furthermore, there are multiple kinds of transfinite algebra. Cardinal algebra behaves mostly like how you described, except every transfinite cardinal has a successor (e.g. There are countably many natural numbers and uncountably many complex numbers). Ordinal algebra, on the other hand, works very differently: if ω is the ordinal that corresponds to countable infinity, then ω+1>ω.

      • CompassRed@discuss.tchncs.de
        link
        fedilink
        English
        arrow-up
        0
        arrow-down
        1
        ·
        edit-2
        1 year ago

        You have the spirit of things right, but the details are far more interesting than you might expect.

        For example, there are numbers past infinity. The best way (imo) to interpret the symbol ∞ is as the gap in the surreal numbers that separates all infinite surreal numbers from all finite surreal numbers. If we use this definition of ∞, then there are numbers greater than ∞. For example, every infinite surreal number is greater than ∞ by the definition of ∞. Furthermore, ω > ∞, where ω is the first infinite ordinal number. This ordering is derived from the embedding of the ordinal numbers within the surreal numbers.

        Additionally, as a classical ordinal number, ω doesn’t behave the way you’d expect it to. For example, we have that 1+ω=ω, but ω+1>ω. This of course implies that 1+ω≠ω+1, which isn’t how finite numbers behave, but it isn’t a contradiction - it’s an observation that addition of classical ordinals isn’t always commutative. It can be made commutative by redefining the sum of two ordinals, a and b, to be the max of a+b and b+a. This definition is required to produce the embedding of the ordinals in the surreal numbers mentioned above (there is a similar adjustment to the definition of ordinal multiplication that is also required).

        Note that infinite cardinal numbers do behave the way you expect. The smallest infinite cardinal number, ℵ₀, has the property that ℵ₀+1=ℵ₀=1+ℵ₀. For completeness sake, returning to the realm of surreal numbers, addition behaves differently than both the cardinal numbers and the ordinal numbers. As a surreal number, we have ω+1=1+ω>ω, which is the familiar way that finite numbers behave.

        What’s interesting about the convention of using ∞ to represent the gap between finite and infinite surreal numbers is that it renders expressions like ∞+1, 2∞, and ∞² completely meaningless as ∞ isn’t itself a surreal number - it’s a gap. I think this is a good convention since we have seen that the meaning of an addition involving infinite numbers depends on what type of infinity is under consideration. It also lends truth to the statement, “∞ is not a number - it is a concept,” while simultaneously allowing us to make true expressions involving ∞ such as ω>∞. Lastly, it also meshes well with the standard notation of taking limits at infinity.

      • Venia Silente@lemm.ee
        link
        fedilink
        English
        arrow-up
        2
        ·
        1 year ago

        After reading how this thread is going I’m half expecting this to be a Kurzgesagt video or something equally “cutesy existential dread” inducing lol. Let’s see what do I find!

    • jflorez@sh.itjust.works
      link
      fedilink
      English
      arrow-up
      2
      ·
      1 year ago

      There is nothing past infinity on the real number line. Then there is the imaginary line that gives you an infinity for the complex numbers

    • KmlSlmk64@lemmy.world
      link
      fedilink
      English
      arrow-up
      1
      arrow-down
      1
      ·
      1 year ago

      IIRC Depends if you talk about cardinal or ordinal numbers. What I remember: In cardinal numbers (the normal numbers we think of, which denote quantity, etc.) have their maximum in infinity. But in ordinal numbers (which denote order - first, second, etc.) Can go past infinity - the first after infinity is omega. Then omega +1. And then some bigger stuff, which I don’t remember much, like aleph 0 and more.

      • Venia Silente@lemm.ee
        link
        fedilink
        English
        arrow-up
        1
        ·
        1 year ago

        So wait, you can’t have numbers larger than infinity, but you can order them “past infinity”? I’m trying to wrap my head around the concept, and the clearest thing I can get at the moment is that the "infinity+1"th number is infinity… would that be right?

      • Stupidmanager@lemmy.world
        link
        fedilink
        English
        arrow-up
        3
        ·
        1 year ago

        well sure, if you want to be fancy. i was speaking in layman terms for the rest of the world.

        regex for the win.

      • dsemy@lemm.ee
        link
        fedilink
        English
        arrow-up
        2
        ·
        1 year ago

        I didn’t realize ‘.’ is a number.

        \([0-9]+\.[0-9]\)?[0-9]* is more accurate I think.

        • morrowind@lemmy.ml
          link
          fedilink
          English
          arrow-up
          1
          ·
          1 year ago

          I don’t quite understand yours, why does it need parentheses? And requires the decimal point?

          how about [0-9]+\.?[0-9]*

          • dsemy@lemm.ee
            link
            fedilink
            English
            arrow-up
            1
            ·
            edit-2
            1 year ago

            The parens in my regex group part of the regex, so the following ‘?’ makes the entire group optional.

            Your regex matches (for example) ‘5.’ as a number.

            Mine is also slightly wrong, it matches a blank string as a number. Here’s a better one:

            [0-9]+\(\.[0-9]+\)?

            • morrowind@lemmy.ml
              link
              fedilink
              English
              arrow-up
              1
              ·
              1 year ago

              Your regex matches (for example) ‘5.’ as a number

              Yeah that’s on purpose. That’s often used in sciences to mark significant digits.

              The thing I’m confused by in yours is you’re escaping the parenthesis, so there need to be literal parenthesis in the matching number, or that’s what it showed in the regex checker.

              • dsemy@lemm.ee
                link
                fedilink
                English
                arrow-up
                1
                ·
                1 year ago

                Whether or not you need to escape parens depends on the regex implementation.

  • prime_number_314159@lemmy.world
    link
    fedilink
    English
    arrow-up
    3
    ·
    1 year ago

    Everyone is mentioning the imaginary (and, presumably complex) number domains, but not quaterions and other higher dimensional number sets.

    I’m going with defining a describeable number as any number that, given any finite period of time and any finite amount of resources, could be uniquely described to another entity with the ability to read and understand the language it is being described in, then saying all numbers are either describeable numbers (Despite the fact that these are almost laughably uncommon in the scheme of all numbers, I have diligently prepared an example: “2”), or indescribeable numbers (so much more common, and yet I can’t give even a single example).