Brouwer-Heyting sequences converge

Title: Brouwer-Heyting sequences converge
Creator: Borwein, Jonathan M.
Relation: Mathematical Intelligencer Vol. 20, Issue 1, p. 14-15
Relation: http://link.springer.com/journal/283
Publisher: Springer
Resource Type: journal article
Date: 1998
Description: The occurrence of the sequence 0123456789 within pi. In his primer on Intuitionism, Heyting frequently relies on the occurrence or non-occurrence of the sequence 0123456789 in the decimal expansion of pi to highlight issues of classical versus intuitionistic (or constructivist) mathematics. At the time that Brouwer developed his theory. (1908) and even at the time that was written, it seemed well-nigh impossible that the first occurrence of any 10-digit sequence in pi could ever be determined.
Subject: pi; Heyting; Brouwer
Identifier: http://hdl.handle.net/1959.13/940616
Identifier: uon:13050
Identifier: ISSN:0343-6993
Language: eng
Reviewed

		Thumbnail	File	Description	Size	Format