This paper introduces Bishop's constructive mathematics, which can be regarded as the constructive core of mathematics and whose theorems can be translated into many formal systems of computable analysis. The real numbers are presented using a set of constructive axioms, from which are derived some elementary properties of the real line R, including its completeness.
%0 Journal Article
%1 Bridges199995
%A Bridges, Douglas S.
%D 1999
%J Theoretical Computer Science
%K constructive mathematics
%N 1–2
%P 95 - 109
%R http://dx.doi.org/10.1016/S0304-3975(98)00285-0
%T Constructive mathematics: a foundation for computable analysis
%U http://www.sciencedirect.com/science/article/pii/S0304397598002850
%V 219
%X This paper introduces Bishop's constructive mathematics, which can be regarded as the constructive core of mathematics and whose theorems can be translated into many formal systems of computable analysis. The real numbers are presented using a set of constructive axioms, from which are derived some elementary properties of the real line R, including its completeness.
@article{Bridges199995,
abstract = {This paper introduces Bishop's constructive mathematics, which can be regarded as the constructive core of mathematics and whose theorems can be translated into many formal systems of computable analysis. The real numbers are presented using a set of constructive axioms, from which are derived some elementary properties of the real line R, including its completeness. },
added-at = {2014-11-21T01:14:32.000+0100},
author = {Bridges, Douglas S.},
biburl = {https://www.bibsonomy.org/bibtex/21ac279d8a25f545d11e926c427a8abdf/t.uemura},
doi = {http://dx.doi.org/10.1016/S0304-3975(98)00285-0},
interhash = {c08f7b70e0169c83b0696c50927f11e4},
intrahash = {1ac279d8a25f545d11e926c427a8abdf},
issn = {0304-3975},
journal = {Theoretical Computer Science },
keywords = {constructive mathematics},
number = {1–2},
pages = {95 - 109},
timestamp = {2014-11-21T01:14:32.000+0100},
title = {Constructive mathematics: a foundation for computable analysis },
url = {http://www.sciencedirect.com/science/article/pii/S0304397598002850},
volume = 219,
year = 1999
}