BROUWER-HEYTING SEQUENCES CONVERGE
JONATHAN M. BORWEIN
RESEARCH SUPPORTED BY NSERC AND THE SHRUM ENDOWMENT OF SIMON FRASER UNIVERSITY
August 7, 1997
ABSTRACT. We note that the sequence 0123456789 has been found in the decimal expansion of beginning at the 17,387,594,880th digit after the decimal point. In consequence the status of several famous intuitionistic examples due to Brouwer and Heyting has changed.
AMS (1991) subject classification: Primary 00A30, 03F55, Secondary 26E40, 65D20
Key words: Intuitionism, Platonism, Constructivism, pi, computation, digits.