Timeline for Did Brouwer evade uncountability?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 21, 2016 at 11:23 | comment | added | Bruno Bentzen | I guess the reason is that the intuitionist only recognizes sets that can be constructed out of the basal intuition, "and this can only be done by combining a finite number of times the two operations: 'to create a finite ordinal number' and 'to create the infinite ordinal number $\omega$'. Consequently the intuitionist recognizes only the existence of denumerable sets." (Intuitionism and Formalism, p.58) | |
| Jan 12, 2015 at 1:02 | vote | accept | Frode Alfson Bjørdal | ||
| Jan 12, 2015 at 0:16 | comment | added | Will Jagy | I think he did count inevitability | |
| Jan 12, 2015 at 0:07 | history | edited | Frode Alfson Bjørdal | CC BY-SA 3.0 |
Change of style of the first sentence.
|
| Jan 12, 2015 at 0:05 | answer | added | Andrej Bauer | timeline score: 9 | |
| Jan 11, 2015 at 23:20 | history | asked | Frode Alfson Bjørdal | CC BY-SA 3.0 |