Brouwer-Heyting sequences converge (Q1272416)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Brouwer-Heyting sequences converge |
scientific article |
Statements
Brouwer-Heyting sequences converge (English)
0 references
28 March 1999
0 references
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''.
0 references
Brouwer-Heyting sequences
0 references
prescribed sequences in the decimal expansion of \(\pi\)
0 references
philosophy of mathematics
0 references
0 references
