Ideas from 'works' by Luitzen E.J. Brouwer [1930], by Theme Structure

green numbers give full details    |     back to texts     |     expand these ideas

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
For intuitionists excluded middle is an outdated historical convention
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Shapiro]