scientific article; zbMATH DE number 2233169

MaRDI QIDQ5708274zbMATH OpenFDO

Authors Douglas Bridges

Publication date 28 November 2005

zbMATH Keywords

constructive mathematicsconstructivitysurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Recommendations

• Constructive Mathematics
• scientific article; zbMATH DE number 1301805
• Constructive Mathematics in Theory and Programming Practice
• Handbook of Constructive Mathematics
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions

Cited in

(21)

• Truth, proof and infinity. A theory of constructions and constructive reasoning
• Constructivism Is Difficult
• On the constructive and computational content of abstract mathematics
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• Constructive Mathematics
• scientific article; zbMATH DE number 4091490 (Why is no real title available?)
• scientific article; zbMATH DE number 1301805 (Why is no real title available?)
• Relative constructivity
• Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'
• Essays in Constructive Mathematics
• scientific article; zbMATH DE number 895228 (Why is no real title available?)
• scientific article; zbMATH DE number 936956 (Why is no real title available?)
• Proof-relevance in Bishop-style constructive mathematics
• Handbook of Constructive Mathematics
• Five stages of accepting constructive mathematics
• scientific article; zbMATH DE number 3895059 (Why is no real title available?)
• Constructivism and Metamathematics
• Pluralism in mathematics
• Predicate logics of constructive mathematical theories
• Church's thesis and Bishop's constructivism
• scientific article; zbMATH DE number 970524 (Why is no real title available?)

This page was built for publication:

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