Intuitionistic views on the nature of mathematics

Synthese 27 (1-2):79 - 91 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00660890

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Heyting Arend. Formal logic and mathematics. Synthese , vol. 6 , pp. 275–282.E. W. Beth - 1949 - Journal of Symbolic Logic 14 (3):195-195.
Intuitionism and philosophy.Carl Posy - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 319--355.
Review: Arend Heyting, Formal Logic and Mathematics. [REVIEW]E. W. Beth - 1949 - Journal of Symbolic Logic 14 (3):195-195.
Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl.Kati Kish Bar-On - 2023 - Philosophy of Science 90 (3):580–602.
Heyting A.. G. F. C. Griss and his negationless intuitionistic mathematics. Synthese, vol. 9, issue 2 no. 2 , pp. 91–96. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
A Two-Part Defense of Intuitionistic Mathematics.Samuel R. Elliott - 2021 - Stance 14:26-38.
A Two-Part Defense of Intuitionistic Mathematics.Samuel Elliott - 2021 - Stance 14 (1):27-39.
What is Intuitionistic Arithmetic?V. Alexis Peluce - forthcoming - Erkenntnis:1-26.
Review: A. Heyting, Intuitionistic Mathematics. [REVIEW]Evert Beth - 1940 - Journal of Symbolic Logic 5 (2):73-74.
Review: A. Heyting, The Development of Intuitionistic Mathematics. [REVIEW]Alonzo Church - 1937 - Journal of Symbolic Logic 2 (2):89-89.

Analytics

Added to PP
2009-01-28

Downloads
9 (#1,281,906)

6 months
105 (#46,845)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.
Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.
Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.

View all 18 citations / Add more citations

References found in this work

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.
Informal theory of choice sequences.A. S. Troelstra - 1969 - Studia Logica 25 (1):31 - 54.
Nieformalna teoria ciągów Z wyboru.A. S. Troelstra - 1969 - Studia Logica 25 (1):53-53.

Add more references