Constructive mathematics: a foundation for computable analysis

DOI10.1016/S0304-3975(98)00285-0MaRDI QIDQ1292399zbMATH OpenFDO

Authors Douglas Bridges

Publication date 21 June 1999

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(98)00285-0

zbMATH Keywords

intuitionistic logicconstructiverecursive

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 2013199
• scientific article; zbMATH DE number 2183393
• scientific article; zbMATH DE number 17564
• scientific article; zbMATH DE number 1107625
• scientific article; zbMATH DE number 1222088
• scientific article; zbMATH DE number 1101599
• Constructive Mathematics in Theory and Programming Practice
• An introduction to constructive mathematics
• scientific article; zbMATH DE number 2109415
• scientific article; zbMATH DE number 218497

Cites work

• scientific article; zbMATH DE number 4177052 (Why is no real title available?)
• scientific article; zbMATH DE number 3427309 (Why is no real title available?)
• scientific article; zbMATH DE number 3163006 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3687373 (Why is no real title available?)
• scientific article; zbMATH DE number 3760125 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 1301805 (Why is no real title available?)
• scientific article; zbMATH DE number 1748963 (Why is no real title available?)
• scientific article; zbMATH DE number 936956 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Choice Implies Excluded Middle
• Constructive Mathematics in Theory and Programming Practice
• Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
• Constructive mathematics and unbounded operators -- a reply to Hellman
• Constructive set theory
• Constructivism in mathematics. An introduction. Volume I
• Intuitionism As Generalization
• On the Lebesgue measurability of continuous functions in constructive analysis
• Set theoretic foundations for constructive analysis

Cited in

(38)

• Constructive closed range and open mapping theorems
• A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
• Some axioms for constructive analysis
• A constructive real projective plane
• Insight in discrete geometry and computational content of a discrete model of the continuum
• Constructive analysis, types and exact real numbers
• A constructive theory of point-set nearness.
• Kernels of seminorms in constructive analysis.
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics
• Constructive Mathematics in Theory and Programming Practice
• A certified, corecursive implementation of exact real numbers
• scientific article; zbMATH DE number 1101599 (Why is no real title available?)
• scientific article; zbMATH DE number 1107625 (Why is no real title available?)
• On the foundations of mathematical economics
• Topological quantum gates in homotopy type theory
• Classification of computably approximable real numbers
• Intuitionistic mereology
• Reverse formalism 16
• Unique existence, approximate solutions, and countable choice.
• A Constructive Analysis of a Proof that the Numerical Range is Convex
• Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
• Computable real numbers according to Alan Turing (an example of a constructive definition)
• A topological approach to infinity in physics and biophysics
• scientific article; zbMATH DE number 3850461 (Why is no real title available?)
• Apartness spaces as a framework for constructive topology
• Foundational aspects of multiscale digitization
• scientific article; zbMATH DE number 5994605 (Why is no real title available?)
• scientific article; zbMATH DE number 6154336 (Why is no real title available?)
• Formal Zariski topology: Positivity and points
• scientific article; zbMATH DE number 6320249 (Why is no real title available?)
• scientific article; zbMATH DE number 5519284 (Why is no real title available?)
• Implementing constructive real analysis (preliminary report)
• Converses of Bishop's lemma on located sets
• Constructing extensions of ultraweakly continuous linear functionals
• The Dedekind reals in abstract Stone duality
• An induction principle over real numbers
• Extracting efficient exact real number computation from proofs in constructive type theory
• Verified exact real computation with nondeterministic functions and limits

Describes a project that uses

Uses Software

• Nuprl

This page was built for publication: Constructive mathematics: a foundation for computable analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1292399)