18
$\begingroup$

Sorry if this has been asked before, but I have a query about the notion that the decimal expansion of $\pi$ contains every possible string of numbers (please note that I am only a "casual" maths enthusiast). If it does, then would the expansion not contain $\pi$ itself? (I.e. 3.1415926...31415926...) That would make $\pi$ a repeating decimal which could, in theory, be represented as an exact fraction. If we constrict the argument to say that $\pi$ only contains every finite sequence of numbers, then wouldn't that be contradictory (we would see 3, 31, 314, 3141, 31415... so why not all the way? We could always add another digit to create a longer finite string ad infinitum)?

Thank you in advance.

$\endgroup$
  • 9
    $\begingroup$ If the decimal expansion of $\pi$ contains every finite sequence of digits (which is considered likely, but not proven), that certainly doesn't mean that it contains every infinite sequence of digits! For instance, how could it contain both the infinite sequence $111...$ and the infinite sequence $777...$? You should be able to convince yourself that that would be absurd. $\endgroup$ – TonyK Jun 5 '15 at 21:17
  • 3
    $\begingroup$ @RossMillikan: It's not really a duplicate, because the other question is only about finite strings of digits appearing in $\pi$. $\endgroup$ – TonyK Jun 5 '15 at 21:22
  • 1
    $\begingroup$ The Wikipedia article about normal numbers may be of interest to you. This part is closely related to your question: "it is widely believed that the numbers √2, π, and e are normal, but a proof remains elusive." $\endgroup$ – kasperd Jun 5 '15 at 22:49
  • $\begingroup$ Look up "pifs" it's a filesystem that stores files as the offset where they occur in full in pi - yes really. $\endgroup$ – Alec Teal Jun 6 '15 at 5:58
  • 3
    $\begingroup$ Possible duplicate of Does Pi contain all possible number combinations? $\endgroup$ – Ernesto Iglesias Feb 15 '17 at 15:16
25
$\begingroup$

The claim is only about finite strings (and apart from this, it is only conjectured, has not been proven). In fact your what-if argument is sound and would show that $\pi$ is rational. The fact that it is not rational (in fact, transcendental) shows that it cannot contain itself in a nontrivial manner.

Regarding the second question: No, all finite strings does not imply a given infinite string. In fact, the number $$0.123456789101112131415161718192021222324\ldots $$ obtained by concatenating all natural numbers provably contains every finite string, and among these $3$, $31$, $314$, $3141$ and so on, but certainly (though perhaps not obviously) not the full expansion of $\pi$.

$\endgroup$
  • 6
    $\begingroup$ "...certainly (though perhaps not obviously)...": I agree that it's not obvious! Why is it even true? I mean, I know in my heart of hearts that it's true, but I can't see how to prove it. $\endgroup$ – TonyK Jun 5 '15 at 21:12
  • 1
    $\begingroup$ Because it contains all finite strings but the full expansion of pi would be infinite? $\endgroup$ – Roman Reiner Jun 5 '15 at 21:27
  • 2
    $\begingroup$ @Brian The non obviousness of the fact that $\pi $ is not contained in the concatenation of all natural numbers seems quite high. $\endgroup$ – DRF Jun 6 '15 at 4:51
  • 2
    $\begingroup$ The more I thinbk of it (or the more you guys make me think of it) my claim is really far from straightforward. A proof that $\pi$ does occur would make $\pi$ base-10-normal, so finding such proof is hopeless. All we have is this: For all finite strings we can easily name a position explicitly where it occurs, for all of $\pi$ it is at least not easy. However if such a position exists (somewhere in the middle of an $n$-digit integer, say) then the first $10^{n/2}n$ or so digits of $\pi$ turn out nearly regular and this should give rise to an unusually good rational approximation ... and then?? $\endgroup$ – Hagen von Eitzen Jun 6 '15 at 6:39
  • 3
    $\begingroup$ @TonyK One can put together the (non-trivial) facts that the irrationality measure of $\pi$ is less than $7.6063$ (see here) and the irrationality measure of the Champernowne constant is 10 (see here). Rational translations & dilations preserve irrationality measure thus thus no relation of the form $C_{10}=k\cdot 10^{-n}+10^{-{n+1}}\pi$ exists for integers $n$ and $k$ meaning $\pi$ isn't contained in the Champernowne constant. (This is using difficult modern results though) $\endgroup$ – Milo Brandt Jan 12 '16 at 1:31
4
$\begingroup$

There are a number of observations that would lead to the conclusion that having every finite string as a substring is totally different from having every infinite string as a substring.

Firstly, "$100111000011111000000...$" contains (as a substring) every finite string consisting of only ones or only zeroes, but it does not contain the infinite strings consisting of only ones or only zeroes.

Secondly, concatenating all positive integers yields "$12345678910111213...$" that contains every positive integer but does not contain the infinite string "$0000...$" because every positive integer has finitely many zeroes. This is a much easier statement to verify than Hagen's claim that it does not contain $π$.

Thirdly, the number of substrings that a string contains is countable, and the number of infinite strings is uncountable, so any given string will not contain almost all infinite strings.

Fourthly, your attempt to justify your hypothesis is logically flawed in a crucial way. If an infinite string $x$ contains every finite string, it means:

  For every finite string $y$:

    For some position $p$:

      $y$ occurs in $x$ at position $p$.

It does not imply:

  For some position $p$:

    For every finite string $y$:

      $y$ occurs in $x$ at position $p$.

which is what you would need to conclude that:

  For some position $p$:

    $π$ occurs in $x$ at position $p$.

This switching of quantifiers is an extremely common logical error but it should be very obvious if you wrote it out the way I did.

$\endgroup$
1
$\begingroup$

A short an concise answer is the following:

$\pi$ is a non-repeating irrational number. If you were to find a subset that contains all the digits of $\pi$, that would mean the digit sequence UP TO THAT POINT would be identical to the sequence starting from that point onwards. Until you get to the same point inside that subset, where a further subset identical to that starts. Therefore, $\pi$ would start being repetitive from that point on, to infinity. Since $\pi$ is non-repeating, that cannot be true. Therefore there isn't such a point. (see https://i.stack.imgur.com/Xazkv.png)

If you want to do the some "experimental math" you can search through the digits of $\pi$ for sequences of $\pi$ with your browser here:

The results are for

10000 digits:

3:  975 hits
31: 91 hits
314: 16 hits
3141: 1 hits

100000 digits:

3:  10028 hits
31: 966 hits
314: 92 hits
3141: 8 hits
31415: 1 hits

1000000 digits:

3 : 100230 hits 
31: 9758 hits 
314: 971 hits 
3141: 89 hits 
31415: 8 hits 
314159 : 1 hit

So one could come up with the following "law": To find a sequence of $\pi$ with $n$ digits inside $\pi$ itself, you need about $10^n$ digits of $\pi$. So to find the $\infty$ digits of $\pi$ you would need $10^{\infty}$ digits of pi, which should convince you, that you should not try to do that with your browser.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.