Combining Texts

Ideas for 'The Nature of Things', 'Intuitionism and Formalism' and 'Thinking about Consciousness'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists only accept denumerable sets [Brouwer]
     Full Idea: The intuitionist recognises only the existence of denumerable sets.
     From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80)
     A reaction: That takes you up to omega, but not beyond, presumably because it then loses sight of the original intuition of 'bare two-oneness' (Idea 12453). I sympathise, but the word 'number' has shifted its meaning a lot these days.
Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer]
     Full Idea: Neo-intuitionism sees the falling apart of moments, reunited while remaining separated in time, as the fundamental phenomenon of human intellect, passing by abstracting to mathematical thinking, the intuition of bare two-oneness.
     From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80)
     A reaction: [compressed] A famous and somewhat obscure idea. He goes on to say that this creates one and two, and all the finite ordinals.