The genesis of Brouwer’s intuitionism
In this chapter, I treat Brouwer’s intuitionism as it developed over the years. The starting point is formed by Brouwer’s earlier, more philosophical writings around the turn of the century. I stop roughly in 1933, since I also treat the foundational debate up until that year.3 As a rule, I follow Brouwer’s original descriptions; only occasionally I felt it necessary to provide modern explanations.
KeywordsEditorial Board Mathematical Language Universal Tree Logical Principle Choice Sequence
Unable to display preview. Download preview PDF.