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
8 Cycling in proofs and feasibility – A. Carbone - 1998
45 Predicative Recursion and Computational Complexity – Stephen J. Bellantoni - 1992
11 Bounded Arithmetic and Propositional Proof Complexity – Samuel R. Buss - 1995
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
In Defense of the Ideal 2nd DRAFT – W. W. Tait