Brouwer-Heyting sequences converge

DOI10.1007/BF03024393zbMath0921.00003OpenAlexW1992996258MaRDI QIDQ1272416

Jonathan M. Borwein

Publication date: 28 March 1999

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03024393

zbMATH Keywords

philosophy of mathematicsBrouwer-Heyting sequencesprescribed sequences in the decimal expansion of \(\pi\)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Normal numbers, radix expansions, Pisot numbers, Salem numbers, good lattice points, etc. (11K16)

Related Items (2)

Brouwer's Incomplete Objects ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs

Cites Work

• Intuitionism. An introduction
• The quest for pi
• Ramanujan, Modular Equations, and Approximations to Pi or How to Compute One Billion Digits of Pi
• Fresh Breezes in the Philosophy of Mathematics

This page was built for publication: Brouwer-Heyting sequences converge