Brouwer-Heyting sequences converge (Q1272416): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: The quest for pi / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Ramanujan, Modular Equations, and Approximations to Pi or How to Compute One Billion Digits of Pi / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Fresh Breezes in the Philosophy of Mathematics / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Intuitionism. An introduction / rank | |||
Normal rank | |||
Revision as of 16:42, 28 May 2024
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
