La critique de la théorie des ensembles dans la dissertation de Brouwer (1907)
Although Brouwer had not developed intuitionistic mathematics by 1917, some of his main ideas are already to be found in his 1907 Dissertation, for instance his attitude towards set theory. We are invited to distinguish two aspects in Cantor's creation: the authentic mathematical contribution (...
Spremljeno u:
| Izdano u: | URI:https://journals.openedition.org/msh, |
|---|---|
| Glavni autor: | |
| Format: | Article ou chapitre numérique |
| Jezik: | Français |
| Izdano: |
Mathématiques et sciences humaines
2006
|
| Teme: | |
| Online pristup: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Sažetak: | Although Brouwer had not developed intuitionistic mathematics by 1917, some of his main ideas are already to be found in his 1907 Dissertation, for instance his attitude towards set theory. We are invited to distinguish two aspects in Cantor's creation: the authentic mathematical contribution (topology, ordinals), and a spurious one, which leads to contradictions and reflects an excessive confidence in the power of logic. Consequently, the transfinite has two faces: the hierarchy of the alephs, and the ordinals. Brouwer agrees with the latter, not with the former. This explains also why the Continuum Hypothesis is discussed in two different places: the mathematical version in the first chapter, the logical one in the third chapter. In the latter, Brouwer accepts the two generating principles for ordinals, but he thinks that these provide no ground for taking the second class of numbers as a completed totality. |
|---|