Abstract
In the present article, a reasonably precise description of Brouwer’s notion of “creative subject” is proposed and an axiom is introduced which is conceptually equivalent to the bar theorem.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Brouwer, L. (1975). Collected works. In A. Heyting (Ed.), Philosophy and foundations of mathematics. Amsterdam: Elsevier.
Dummett, M. (1977). Elements of intuitionism. Oxford: Clarendon Press.
Grzegorczyk, A. (1964). A philosophicalty plausibte formal interpretation of intuitionistic logic. Indagationes Mathematicae, 26, 596–601.
Kreisel, G. (1967). Informal rigour and completeness proofs. In I. Lakatos (Ed.), Problems in the philosophy of mathematics (pp. 138–186). Amsterdam: North-Holland Publishing Company.
Posy, C. (1977). The theory of enrperical sequences. Journal of Philosophical Logic, 6, 47–81.
Troelstra, A. (1969). Principles of intuitionism. Berlin: Springer.
Van Dalen, D. (1978). An interpretation of intuitionistic analysis. Annals of Mathematical Logic, 13, 1–43.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Martino, E. (2018). Creative Subject and Bar Theorem. In: Intuitionistic Proof Versus Classical Truth. Logic, Epistemology, and the Unity of Science, vol 42. Springer, Cham. https://doi.org/10.1007/978-3-319-74357-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-74357-8_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74356-1
Online ISBN: 978-3-319-74357-8
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)