DocServer

Brouwer-Heyting sequences converge

Borwein, Jonathan M. (1998) Brouwer-Heyting sequences converge. Mathematical Intelligencer, 20 (1). pp. 14-15.

[img] PDF
Download (451Kb)

    Abstract

    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.

    Item Type: Article
    Subjects: UNSPECIFIED
    Faculty: UNSPECIFIED
    Depositing User: Mrs Naghmana Tehseen
    Date Deposited: 13 Jan 2015 14:12
    Last Modified: 13 Jan 2015 14:12
    URI: https://docserver.carma.newcastle.edu.au/id/eprint/1531

    Actions (login required)

    View Item