Article PDF
Avoid common mistakes on your manuscript.
Bibliography
E. Bishop,Foundations of Constructive Analysis, McGraw-Hill, New York 1967.
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.
(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
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF00660890