Brouwer-Heyting sequences converge
type: Item
instance of: scholarly article
title: Brouwer-Heyting sequences converge
zbMATH Open document ID: 0921.00003
DOI: 10.1007/BF03024393
published in: The Mathematical Intelligencer
publication date: 1999-03-28T00:00:00Z
review text: 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''.
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 11K16
zbMATH DE Number: 1233988
zbMATH Keywords: Brouwer-Heyting sequences
zbMATH Keywords: prescribed sequences in the decimal expansion of \(\pi\)
zbMATH Keywords: philosophy of mathematics
author: Jonathan M. Borwein
reviewed by: H. J. Godwin
MaRDI profile type: Publication
cites work: The quest for pi
cites work: Ramanujan, Modular Equations, and Approximations to Pi or How to Compute One Billion Digits of Pi
cites work: Fresh Breezes in the Philosophy of Mathematics
cites work: Intuitionism. An introduction
full work available at URL: https://doi.org/10.1007/bf03024393
OpenAlex ID: W1992996258
Recommended article: Convergence of certain bounded sequences
Recommended article: Q4373532
Recommended article: Q5569861
Recommended article: On subsequentially convergent sequences
Recommended article: On subsequential convergence of bounded sequences
Recommended article: Q4892769
Recommended article: Q3222673
Recommended article: Convergence and subsequential convergence of regularly generated sequences
Recommended article: On Borel convergence of double sequences
description: scientific article; zbMATH DE number 1233988