Skip to main content

Intuitionistic views on the nature of mathematics

This is a preview of subscription content, access via your institution.

Bibliography

  • E. Bishop,Foundations of Constructive Analysis, McGraw-Hill, New York 1967.

    Google Scholar 

  • L. E. J. Brouwer,Over de Grondslagen der Wiskunde, Amsterdam 1907.

  • L. E. J. Brouwer, ‘De Onbetrouwbaarheid der Logische Principes’,Tijdschrift voor Wijsbegeerte 2 (1908) 152–158.

    Google Scholar 

  • (Translations of these two papers will be contained in the collected works of L. E. J. Brouwer, to appear in 1974.)

  • L. E. J. Brouwer, ‘Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten, Erster Teil, Allgemeine Mengenlehre’,Verhandelingen Nederl. Akad. Wetenschappen, 1e Sectie,12, No. 5 (1918).

  • A. S. Troelstra, ‘Informal Theory of Choice Sequences’,Studia Logica 25 (1969) 31–54

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Heyting, A. Intuitionistic views on the nature of mathematics. Synthese 27, 79–91 (1974). https://doi.org/10.1007/BF00660890

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00660890

Keywords

  • Intuitionistic View