Philosophia Mathematica 7 (1):65-104 (1999)

The first part of the paper introduces the varieties of modern constructive mathematics, concentrating on Bishop's constructive mathematics (BISH). it gives a sketch of both Myhill's axiomatic system for BISH and a constructive axiomatic development of the real line R. The second part of the paper focusses on the relation between constructive mathematics and programming, with emphasis on Martin-L6f 's theory of types as a formal system for BISH.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/7.1.65
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,548
Through your library

References found in this work BETA

Varieties of Constructive Mathematics.D. S. Bridges - 1987 - Cambridge University Press.
The Lambda Calculus. Its Syntax and Semantics.E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
Constructive Mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.

View all 24 references / Add more references

Citations of this work BETA

Mathematical Method and Proof.Jeremy Avigad - 2006 - Synthese 153 (1):105-159.
Number Theory and Elementary Arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
Choice Principles and Constructive Logics.David Dedivi - 2004 - Philosophia Mathematica 12 (3):222-243.
Semigroups with Apartness.Siniša Crvenković, Melanija Mitrović & Daniel Abraham Romano - 2013 - Mathematical Logic Quarterly 59 (6):407-414.

View all 6 citations / Add more citations

Similar books and articles


Added to PP index

Total views
67 ( #141,729 of 2,348,446 )

Recent downloads (6 months)
13 ( #48,647 of 2,348,446 )

How can I increase my downloads?


My notes