Loading...
Thumbnail Image
Item

Constructive Mathematics in Theory and Programming Practice

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 focuses on the relation between constructive mathematics and programming, with emphasis on Martin-Lof’s theory of types as a formal system for BISH.
Type
Journal Article
Type of thesis
Series
Citation
Bridges, D. & Reeves, S. (1999). Constructive Mathematics in Theory and Programming Practice. Philosophia Mathematica, 7(3), 65-104.
Date
1999
Publisher
Oxford University Press
Degree
Supervisors
Rights
This article has been published in the journal: Philosophia Mathematica. Copyright © 2008 Oxford University Press.