Constructive truth in practice

In Harold Garth Dales & Gianluigi Oliveri (eds.), Truth in mathematics. New York: Oxford University Press, Usa. pp. 53--69 (1998)
  Copy   BIBTEX

Abstract

In this chapter, which has evolved over the last ten years to what I hope will be its perfect Platonic form, I shall first discuss those features of constructive mathematics that distinguish it from its traditional, or classical, counterpart, and then illustrate the practice of that distinction in aspects of complex analysis whose classical treatment ought to be familiar to a beginning graduate student of pure mathematics.

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Nietzsche’s Philosophy of Mathematics.Eric Steinhart - 1999 - International Studies in Philosophy 31 (3):19-27.
Classical truth in higher types.Ulrich Berger - 2008 - Mathematical Logic Quarterly 54 (3):240-246.

Analytics

Added to PP
2014-02-02

Downloads
37 (#118,170)

6 months
6 (#1,472,471)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.
Did Bishop have a philosophy of mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.

Add more citations

References found in this work

No references found.

Add more references