Constructive Mathematics
From MaRDI portal
Publication:3755455
DOI10.1080/0025570X.1985.11977199zbMath0619.03040OpenAlexW4254017209MaRDI QIDQ3755455
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
exampleshistorical backgroundBishop's constructivismsurvey on recent advances in constructive mathematics
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)
Related Items (5)
A constructive real projective plane ⋮ Constructive irrational space ⋮ A constructive version of the Sylvester-Gallai theorem ⋮ Constructive projective extension of an incidence plane ⋮ An epistemological use of nonstandard analysis to answer Zeno's objections against motion
This page was built for publication: Constructive Mathematics