Creative Subject and Bar Theorem
Chapter
First Online:
- 219 Downloads
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.
References
- Brouwer, L. (1975). Collected works. In A. Heyting (Ed.), Philosophy and foundations of mathematics. Amsterdam: Elsevier.Google Scholar
- Dummett, M. (1977). Elements of intuitionism. Oxford: Clarendon Press.Google Scholar
- Grzegorczyk, A. (1964). A philosophicalty plausibte formal interpretation of intuitionistic logic. Indagationes Mathematicae, 26, 596–601.Google Scholar
- 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.CrossRefGoogle Scholar
- Posy, C. (1977). The theory of enrperical sequences. Journal of Philosophical Logic, 6, 47–81.CrossRefGoogle Scholar
- Troelstra, A. (1969). Principles of intuitionism. Berlin: Springer.CrossRefGoogle Scholar
- Van Dalen, D. (1978). An interpretation of intuitionistic analysis. Annals of Mathematical Logic, 13, 1–43.CrossRefGoogle Scholar
Copyright information
© Springer International Publishing AG 2018