Constructive Mathematics in Theory and Programming Practice

dc.contributor.author	Bridges, Douglas
dc.contributor.author	Reeves, Steve
dc.date.accessioned	2008-11-26T02:46:59Z
dc.date.available	2008-11-26T02:46:59Z
dc.date.issued	1999
dc.description.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.	en_US
dc.format.mimetype	application/pdf
dc.identifier.citation	Bridges, D. & Reeves, S. (1999). Constructive Mathematics in Theory and Programming Practice. Philosophia Mathematica, 7(3), 65-104.	en_US
dc.identifier.doi	10.1093/philmat/7.1.65	en_US
dc.identifier.uri	https://hdl.handle.net/10289/1471
dc.language.iso	en
dc.publisher	Oxford University Press	en_US
dc.relation.isPartOf	Philosophia Mathematica	en_NZ
dc.relation.uri	http://philmat.oxfordjournals.org/	en_US
dc.rights	This article has been published in the journal: Philosophia Mathematica. Copyright © 2008 Oxford University Press.	en_US
dc.subject	computer science	en_US
dc.subject	constructive mathematics	en_US
dc.title	Constructive Mathematics in Theory and Programming Practice	en_US
dc.type	Journal Article	en_US
pubs.begin-page	65	en_NZ
pubs.elements-id	40418
pubs.end-page	104	en_NZ
pubs.issue	3	en_NZ
pubs.volume	7	en_NZ