-
Views
-
Cite
Cite
DOUGLAS BRIDGES, STEEVE REEVES, Constructive Mathematics in Theory and Programming Practice, Philosophia Mathematica, Volume 7, Issue 1, February 1999, Pages 65–104, https://doi.org/10.1093/philmat/7.1.65
- Share Icon Share
Abstract
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.
This content is only available as a PDF.
© Oxford University Press
Issue Section:
Articles
You do not currently have access to this article.