Brouwer-Heyting sequences converge
The six known occurrences of the sequence 0123456789 in the decimal expansion of \(\pi\) are listed. Before these were found, it had been thought possible that their existence or non-existence would never be known, and this had been used to highlight issues of classical versus constructivist mathematics. The author comments on these issues and states that ``\dots{} the philosophy of mathematics matters as never before''.
prescribed sequences in the decimal expansion of \(\pi\)
scientific article; zbMATH DE number 1233988