next up previous
Next: The occurrence of the

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 tex2html_wrap_inline145 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.





/archives/httpd/htdocs/personal/jborwein