No abstract

Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that Weyl's conception of choice sequences is defective on several counts.

Some prominent twentieth-century scholars were still opposed to, or uncomfortable with, both irrationals and infinitesimals. Thus, Errett Bishop opposed both the classical development of the real numbers and the use of infinitesimals in teaching calculus [5]. For a discussion, see [9][10][11]31]. 2 Galileo (1564-1642) observed that the natural numbers admit a one-to-one correspondence with their squares. 3 The part-whole principle, which goes back to Euclid, asserts that a (proper) part is smaller than the whole. 4 ''fraction infiniment petite, ou dont le denominateur soit un nombre infini' ' [19, p. 93].

A list of corrections to the book Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer (Springer, 2015).

No abstract