Constructive Mathematics in Theory and Programming Practice

DOI10.1093/philmat/7.1.65zbMath0971.03062OpenAlexW2015422016MaRDI QIDQ4237644

Steve Reeves, Douglas S. Bridges

Publication date: 30 October 2001

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/7.1.65

zbMATH Keywords

surveyconstructive mathematicsprogrammingaxiomatic systemMartin-Löf's theory of types

Mathematics Subject Classification ID

Logic in computer science (03B70) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)

Related Items (13)

Limit spaces with approximations ⋮ Insight in discrete geometry and computational content of a discrete model of the continuum ⋮ Basic notions of (constructive) semigroups with apartness ⋮ Completely Regular Bishop Spaces ⋮ Unnamed Item ⋮ Inverse semigroups with apartness ⋮ Foundational aspects of multiscale digitization ⋮ Semigroups with apartness ⋮ Constructive closed range and open mapping theorems ⋮ A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis ⋮ Constructive mathematics: a foundation for computable analysis ⋮ Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice ⋮ Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective

This page was built for publication: Constructive Mathematics in Theory and Programming Practice