Skip to main content
MathOverflow

Return to Question

added 25 characters in body
Source Link
kodlu
kodlu
  • 10.4k
  • 2
  • 36
  • 55

I understand that there is currently no proof in any base for whether $\pi$ is normal or disjunctive.

Are there any proofs of whether specific sequences of numbers are infinitely occurring in $\pi$? For instance, is there a formal proof that 1 is infinitely occurring in the decimal expansion of $\pi$?

I understand that there is currently no proof in any base for whether $\pi$ is normal or disjunctive.

Are there any proofs of whether specific sequences of numbers are infinitely occurring in $\pi$? For instance, is there a formal proof that 1 is infinitely occurring in $\pi$?

I understand that there is currently no proof in any base for whether $\pi$ is normal or disjunctive.

Are there any proofs of whether specific sequences of numbers are infinitely occurring in $\pi$? For instance, is there a formal proof that 1 is infinitely occurring in the decimal expansion of $\pi$?

Source Link
skytect
skytect
  • 139
  • 2

Proof that $\pi$ has infinitely many $1$s

I understand that there is currently no proof in any base for whether $\pi$ is normal or disjunctive.

Are there any proofs of whether specific sequences of numbers are infinitely occurring in $\pi$? For instance, is there a formal proof that 1 is infinitely occurring in $\pi$?