Brouwer-Heyting Sequences Converge
Copyright policy )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''.
- University of Newcastle Australia Australia
- Simon Fraser University Canada
Normal numbers, radix expansions, Pisot numbers, Salem numbers, good lattice points, etc., Philosophy of mathematics, prescribed sequences in the decimal expansion of \(\pi\), pi, Heyting, philosophy of mathematics, Brouwer, Brouwer-Heyting sequences
Normal numbers, radix expansions, Pisot numbers, Salem numbers, good lattice points, etc., Philosophy of mathematics, prescribed sequences in the decimal expansion of \(\pi\), pi, Heyting, philosophy of mathematics, Brouwer, Brouwer-Heyting sequences
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).11 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!