Abstract
The original Brouwerian counter examples were algorithmic in nature; after the introduction of choice sequences, Brouwer devised a version which did not depend on algorithms. This is the origin of the ‘creating subject’ technique. The method allowed stronger refutations of classical principles. Here it is used to show that ‘negative dense’ subsets of the continuum are indecomposable.
Similar content being viewed by others
References
L. E. J. Brouwer, Over de grondslagen der wiskunde, (Dissertation).
, ‘Over de grondslagen der wiskunde’, Nieuw Archief voor Wiskunde 8, 326–328.
, ‘Besitzt jede reelle Zahl eine Dezimalbruch-Entwickelung?’, Math ematische Annalen 83, 201–210.
, ‘Begründung der Funktionenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Erster Teil, Stetigkeit, Messbarkeit, Derivierbarkeit’, KNAW Verh. 1e sectie, deel XIII, no. 2, 1–24.
, ‘Mathematik, Wissenschaft und Sprache’, Monatshefte für Mathematik und Physik 36, 153–164.
, Die Struktur des Kontinuums [Sonderabdruck], pp. 14.
, ‘Essentieel negatieve eigenschappen’, Ind. Math. 10, 322–323.
, ‘Consciousness, Philosophy and Mathematics’, Proceedings of the 10th International Congress of Philosophy, Amsterdam, 1235–1249.
, ‘De non-aequivalentie van de constructieve en negatieve orderelatie in het continuum’, Indag. Math. 11, 37–39.
, ‘Historical background, principles and methods of intuitionism’, South African Journal of Science 49, 139–146.
, Intuitionismus, Bibliographisches Institut, Wissenschaftsverlag, Mannheim, pp. 161.
D. van Dalen, ‘How connected is the continuum?’, Journal of Symbolic Logic.
, Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. Volume I. The dawning Revolution, Oxford University Press, Oxford.
J. Myhill, ‘Notes towards an axiomatization of intuitionistic analysis’, Logique et Analyse 9, 280–297.
E. Specker, ‘Nicht konstruktiv beweisbare Sätze der Analysis’, Journal of Symbolic Logic 14, 145–158.
A. S. Troelstra, D. van Dalen, Constructivism in Mathematics. I, North-Holland Pub. Co. Amsterdam, 1988. pp. 342.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
van Dalen, D. From Brouwerian Counter Examples to the Creating Subject. Studia Logica 62, 305–314 (1999). https://doi.org/10.1023/A:1026411905257
Issue Date:
DOI: https://doi.org/10.1023/A:1026411905257