How about ANY FINITE SEQUENCE AT ALL?

    • Lanthanae@lemmy.blahaj.zone
      link
      fedilink
      arrow-up
      10
      ·
      edit-2
      2 days ago

      In terms of formal logic, this…

      Since Pi is infinite and non-repeating, would that mean any finite sequence of non-repeating digits from 0-9 should appear somewhere in Pi in base 10?

      …and this…

      Does any possible string of infinite non-repeating digits contain every possible finite sequence of non repeating digits?

      are equivalent statements.

      The phrase “since X, would that mean Y” is the same as asking “is X a sufficient condition for Y”. Providing ANY example of X WITHOUT Y is a counter-example which proves X is NOT a sufficient condition.

      The 1.010010001… example is literally one that is taught in classes to disprove OPs exact hypothesis. This isn’t a discussion where we’re both offering different perspectives and working towards a truth we don’t both see, thus is a discussion where you’re factually wrong and I’m trying to help you learn why lol.

      • Sheldan@lemmy.world
        link
        fedilink
        arrow-up
        2
        ·
        edit-2
        2 days ago

        Is the 1.0010101 just another sequence with similar properties? And this sequence with similar properties just behaves differently than pi.

        Others mentioned a zoo and a penguin. If you say that a zoo will contain a penguin, and then take one that doesn’t, then obviously it will not contain a penguin. If you take a sequence that only consists of 0 and 1 and it doesn’t contain a 2, then it obviously won’t.

        But I find the example confusing to take pi, transform it and then say “yeah, this transformed pi doesn’t have it anymore, so obviously pi doesn’t” If I take all the 2s out of pi, then it will obviously not contain any 2 anymore, but it will also not be really be pi anymore, but just another sequence of infinite length and non repeating.

        So, while it is true that the two properties do not necessarily lead to this behavior. The example of transforming pi to something is more confusing than helping.

        • orcrist@lemm.ee
          link
          fedilink
          arrow-up
          2
          ·
          2 days ago

          The original question was not exactly about pi in base ten. It was about infinite non-repeating numbers. The comment answered the question by providing a counterexample to the proffered claim. It was perfectly good math.

          You have switched focus to a different question. And that is fine, but please recognize that you have done so. See other comment threads for more information about pi itself.

          • Sheldan@lemmy.world
            link
            fedilink
            arrow-up
            1
            ·
            edit-2
            1 day ago

            I see that the context is a different one and i also understand formal logic (contrary to what the other comment on my post says)

            It’s just that if the topic is pi, I find it potentially confusing (and not necessary) to construct a different example which is based on pi (pi in binary and interpreted as base 10) in order to show something, because one might associate this with the original statement.

            While this is faulty logic to do so, why not just use an example which doesn’t use pi at all in order to eliminate any potential.

            I did realize now that part of my post could be Interpreted in a way, that I did follow this faulty logic -> I didn’t

    • stevedice@sh.itjust.works
      link
      fedilink
      English
      arrow-up
      3
      ·
      edit-2
      2 days ago

      Since Pi is infinite and non-repeating, would that mean any finite sequence of non-repeating digits from 0-9 should appear somewhere in Pi in base 10?

      Does any possible string of infinite non-repeating digits contain every possible finite sequence of non repeating digits?

      Let’s abstract this.

      S = an arbitrary string of numbers

      X = is infinite

      Y = is non-repeating

      Z = contains every possible sequence of finite digits

      Now your statements become:

      Since S is X and Y, does that mean that it’s also Z?

      Does any S that is X and Y, also Z?"