Active Bibliography

2 PLURALISM IN MATHEMATICS – E. B. Davies - 2004
WHITHER MATHEMATICS? – E. B. Davies - 2004
The cognitive basis of arithmetic – Helen De Cruz, Hansjörg Neth, Dirk Schlimm
The Hardy-Rellich Inequality for . . . – M. P. Owen - 1999
“Introduction ” to Filosofia – Carlo Cellucci
1 2010a, “Evolution without Naturalism – Elliott Sober, Bence Nanay, Peter Nichols, Er Paseau, Er Rosenberg, Michael Ruse
Once Upon a Spacetime – Bradford Skow, Hartry Field, Bradford Skow - 2005
6 Computers, Reasoning and Mathematical Practice – Ursula Martin
5 On Feasible Numbers – Vladimir Yu. Sazonov - 1995
3 Bounded Arithmetic and Constant Depth Frege Proofs – Samuel R. Buss - 2004
10 Bounded Arithmetic and Propositional Proof Complexity – Samuel R. Buss - 1995
8 Cycling in proofs and feasibility – A. Carbone - 1998
4. The Second Incompleteness Theorem. 5. Lengths of Proofs. – Harvey M. Friedman - 2007
45 Predicative Recursion and Computational Complexity – Stephen J. Bellantoni - 1992
What’s experimental about experimental mathematics? ∗ – Henrik Kragh Sørensen - 2008
7 Mathematical proofs at a crossroad – Cristian S. Calude, Solomon Marcus - 2004
Narrative and the Rationality of Mathematical Practice – unknown authors - 2008
1 Constructive Mathematics and Quantum Physics – Douglas Bridges, Karl Svozil - 1999
Mathematical Methods of Theoretical Physics – Karl Svozil - 2013
8 Set Theory and Physics – K. Svozil - 1995