Why Constructive Mathematics?

Vienna Circle Institute Yearbook 3:141-157 (1995)
  Copy   BIBTEX

Abstract

The situation in constructive mathematics in the nineties is so vastly different from that in the thirties, that it is worthwhile to pause a moment to survey the development in the intermediate years. In doing so, I follow the example of Heyting, who at certain intervals took stock of intuitionistic mathematics, which for a long time was the only variety of constructive mathematics. Heyting entered the foundational debate in 1930 at the occasion of the famous Königsberg meeting

Categories

Keywords

Reprint years

DOI

10.1007/978-94-017-3327-4_11

Links

PhilArchive



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

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

The Foundational Debate: Complexity and Constructivity in Mathematics and Physics.Werner DePauli-Schimanovich, Eckehart Köhler & Friedrich Stadler (eds.) - 1995 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Hypothetical Extensions of Constructive Mathematics.Peter Krauss - 1995 - Vienna Circle Institute Yearbook 3:159-174.
Indecomposability of negative dense subsets of ℝ in Constructive Reverse Mathematics.Iris Loeb - 2009 - Logic Journal of the IGPL 17 (2):173-177.
The Foundational Debate: Complexity and Constructivity in Mathematics and Physics.Roland Omnès, Anton Zeilinger, G. Cattaneo, M. L. Dalla Chiara & R. Giuntini - 2010 - Springer.
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.
Handbook of Constructive Mathematics.Douglas Bridges, Hajime Ishihara, Michael Rathjen & Helmut Schwichtenberg (eds.) - 2023 - Cambridge: Cambridge University Press.
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.
Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
Varieties of constructive mathematics.D. S. Bridges & Fred Richman - 1987 - New York: Cambridge University Press. Edited by Fred Richman.

Analytics

Added to PP
2015-01-22

Downloads
27 (#578,523)

6 months
1 (#1,719,665)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dirk Van Dalen
Utrecht University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references