Constructive mathematics: a foundation for computable analysis

DOI10.1016/S0304-3975(98)00285-0zbMath0916.68048MaRDI QIDQ1292399

Douglas S. Bridges

Publication date: 21 June 1999

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

zbMATH Keywords

intuitionistic logicconstructiverecursive

Mathematics Subject Classification ID

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

Related Items

A constructive real projective plane, Insight in discrete geometry and computational content of a discrete model of the continuum, A topological approach to infinity in physics and biophysics, Intuitionistic mereology, Foundational aspects of multiscale digitization, Unique existence, approximate solutions, and countable choice., A constructive theory of point-set nearness., Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Converses of Bishop's lemma on located sets, Constructive closed range and open mapping theorems, A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis, Classification of computably approximable real numbers, Reverse formalism 16, The Dedekind reals in abstract Stone duality, Constructing extensions of ultraweakly continuous linear functionals, Formal Zariski topology: Positivity and points, A Constructive Analysis of a Proof that the Numerical Range is Convex, Apartness spaces as a framework for constructive topology, Kernels of seminorms in constructive analysis., Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective, A certified, corecursive implementation of exact real numbers

Uses Software

• Nuprl

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Set theoretic foundations for constructive analysis
• Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
• Constructive mathematics and unbounded operators -- a reply to Hellman
• Intuitionism As Generalization
• On the Lebesgue measurability of continuous functions in constructive analysis
• Constructive set theory
• Choice Implies Excluded Middle
• Constructive Mathematics in Theory and Programming Practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item