Constructivism in Mathematics: An Introduction

&
Amsterdam: North Holland. Edited by D. van Dalen (1988)
  Copy   BIBTEX

Abstract

The present volume is intended as an all-round introduction to constructivism. Here constructivism is to be understood in the wide sense, and covers in particular Brouwer's intuitionism, Bishop's constructivism and A.A. Markov's constructive recursive mathematics. The ending "-ism" has ideological overtones: "constructive mathematics is the (only) right mathematics"; we hasten, however, to declare that we do not subscribe to this ideology, and that we do not intend to present our material on such a basis.

Categories

Keywords

Reprint years

Call number

QA9.56.T74 1988

ISBN(s)

0444702660

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,589

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

Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.
Troelstra, A.S. en van Dalen, D., Constructivism in Mathematics. An Introduction. [REVIEW]C. Struyker Boudier - 1991 - Tijdschrift Voor Filosofie 53 (3):569.
Review of A. S. Troelstra and D. van Dalen, Constructivism in Mathematics: An Introduction. [REVIEW]Fred Richman - 1994 - Philosophia Mathematica 2 (1):86-89.
A constructive look at the completeness of the space $\mathcal{d} (\mathbb{r})$.Hajime Ishihara & Satoru Yoshida - 2002 - Journal of Symbolic Logic 67 (4):1511-1519.
Varieties of constructive mathematics.Douglas Bridges & Fred Richman - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Constructive truth and certainty in logic and mathematics.Yvon Gauthier - unknown
Reverse Mathematics.Benedict Eastaugh - 2024 - The Stanford Encyclopedia of Philosophy.
Philosophy of mathematics education.Andrew Davis - 1992 - Journal of Philosophy of Education 26 (1):121–126.
Did Bishop have a philosophy of mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.

Analytics

Added to PP
2009-01-28

Downloads
66 (#375,604)

6 months
8 (#766,762)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Anne Troelstra
Last affiliation: University of Amsterdam
Dirk Van Dalen
Utrecht University

Citations of this work

Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Unknowable Truths.Zachary Goodsell, John Hawthorne & Juhani Yli-Vakkuri - forthcoming - Journal of Philosophy.
Proof-Theoretic Semantics.Peter Schroeder-Heister - 2024 - Stanford Encyclopedia of Philosophy.
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.

View all 167 citations / Add more citations

References found in this work

No references found.

Add more references