Against intuitionism: Constructive mathematics is part of classical mathematics
From MaRDI portal
Publication:1062970
DOI10.1007/BF00247188zbMath0574.03002OpenAlexW2084803311MaRDI QIDQ1062970
Publication date: 1983
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00247188
Philosophical and critical aspects of logic and foundations (03A05) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)
Related Items (5)
A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography ⋮ The meaning of pure mathematics ⋮ Proof vs Provability: On Brouwer’s Time Problem ⋮ Truth and the philosophy of mathematics ⋮ Against against intuitionism
This page was built for publication: Against intuitionism: Constructive mathematics is part of classical mathematics
