- Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.details
|
|
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.details
|
|
Did Bishop have a philosophy of mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
Unique solutions.Peter Schuster - 2006 - Mathematical Logic Quarterly 52 (6):534-539.details
|
|
Too simple solutions of hard problems.Peter M. Schuster - 2010 - Nordic Journal of Philosophical Logic 6 (2):138-146.details
|
|
Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.details
|
|
Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.details
|
|
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.details
|
|
The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.details
|
|
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.details
|
|
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
On Algorithm and Robustness in a Non-standard Sense.Sam Sanders - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 99--112.details
|
|
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.details
|
|
Three Philosophical Approaches to Entomology.Jean-Marc Drouin - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 377--386.details
|
|
On the connection between Nonstandard Analysis and Constructive Analysis.Sam Sanders - forthcoming - Logique Et Analyse.details
|
|