Creative Subject and Bar Theorem

  • Enrico MartinoEmail author
Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 42)


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.


  1. Brouwer, L. (1975). Collected works. In A. Heyting (Ed.), Philosophy and foundations of mathematics. Amsterdam: Elsevier.Google Scholar
  2. Dummett, M. (1977). Elements of intuitionism. Oxford: Clarendon Press.Google Scholar
  3. Grzegorczyk, A. (1964). A philosophicalty plausibte formal interpretation of intuitionistic logic. Indagationes Mathematicae, 26, 596–601.Google Scholar
  4. 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
  5. Posy, C. (1977). The theory of enrperical sequences. Journal of Philosophical Logic, 6, 47–81.CrossRefGoogle Scholar
  6. Troelstra, A. (1969). Principles of intuitionism. Berlin: Springer.CrossRefGoogle Scholar
  7. 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

Authors and Affiliations

  1. 1.FISPPA DepartmentUniversity of PaduaPaduaItaly

Personalised recommendations