Constructive Mathematics

DOI10.1080/0025570X.1985.11977199MaRDI QIDQ3755455zbMATH OpenOpenAlexFDO

Authors Mark Mandelkern

Publication date 1985

Published in Mathematics Magazine (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/0025570x.1985.11977199

zbMATH Keywords

exampleshistorical backgroundBishop's constructivismsurvey on recent advances in constructive mathematics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Other constructive mathematics (03F65)

Recommendations

• scientific article; zbMATH DE number 2233169
• Constructive Mathematics in Theory and Programming Practice
• Handbook of Constructive Mathematics
• scientific article; zbMATH DE number 1301805
• scientific article; zbMATH DE number 4070894

Cited in

(38)

• Against intuitionism: Constructive mathematics is part of classical mathematics
• Handbook of Constructive Mathematics
• What is constructive mathematics?
• scientific article; zbMATH DE number 221856 (Why is no real title available?)
• scientific article; zbMATH DE number 2233169 (Why is no real title available?)
• A constructive real projective plane
• scientific article; zbMATH DE number 4135901 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3916267 (Why is no real title available?)
• An epistemological use of nonstandard analysis to answer Zeno's objections against motion
• A constructive version of the Sylvester-Gallai theorem
• Constructive Mathematics in Theory and Programming Practice
• Constructive projective extension of an incidence plane
• Constructive irrational space
• Constructive validity is nonarithmetic
• Pluralism in mathematics
• On the constructive and computational content of abstract mathematics
• scientific article; zbMATH DE number 1547882 (Why is no real title available?)
• Essays in Constructive Mathematics
• scientific article; zbMATH DE number 1867340 (Why is no real title available?)
• scientific article; zbMATH DE number 3977011 (Why is no real title available?)
• Church's thesis and Bishop's constructivism
• Formal systems of constructive mathematics
• Five stages of accepting constructive mathematics
• Cantor's paradise regained: constructive mathematics from Brouwer to Kolmogorov to Gelfond
• scientific article; zbMATH DE number 3895059 (Why is no real title available?)
• An introduction to constructive mathematics
• Proof-relevance in Bishop-style constructive mathematics
• History of constructivism in the 20th century
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
• scientific article; zbMATH DE number 936956 (Why is no real title available?)
• C for constructivism. Beyond clichés
• scientific article; zbMATH DE number 5994605 (Why is no real title available?)
• scientific article; zbMATH DE number 4183380 (Why is no real title available?)
• scientific article; zbMATH DE number 3305745 (Why is no real title available?)
• Constructive mathematics and quantum physics
• Did Bishop Have a Philosophy of Mathematics?†
• Constructivism Is Difficult

This page was built for publication: Constructive Mathematics

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