Creative Subject and Bar Theorem
Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 42)
- 219 Downloads
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.
- 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
© Springer International Publishing AG 2018