G. Hellman, On the Scope and Force of Indispensability Arguments, Proceedings of the Biennial Meeting of the Philosophy of Science Association, pp.456-464, 1992.
DOI : 10.1086/psaprocbienmeetp.1992.2.192857

G. Hellman and . Gleason, Gleason's theorem is not constructively provable, Journal of Philosophical Logic, vol.17, issue.2, pp.193-203
DOI : 10.1007/BF01049261

G. Hellman, Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem, Journal of Philosophical Logic, vol.9, issue.3, pp.221-248, 1993.
DOI : 10.1007/BF01049303

G. Hellman, Quantum Mechanical Unbounded Operators and Constructive Mathematics ??? a Rejoinder to Bridges, Journal of Philosophical Logic, vol.2, issue.1, pp.121-127, 1997.
DOI : 10.1023/A:1017996604366

G. Hellman, Mathematical constructivism in spacetime, The British Journal for the Philosophy of Science, vol.49, issue.3, pp.425-450, 1998.
DOI : 10.1093/bjps/49.3.425

A. &. Jaffe and . Quinn, ``Theoretical mathematics'': Toward a cultural \\synthesis of mathematics and theoretical physics, Bulletin of the American Mathematical Society, vol.29, issue.1, pp.1-13
DOI : 10.1090/S0273-0979-1993-00413-0

. Klein, Felix 1882 Ueber Riemann's Theorie der algebraischen Functionen und ihrer Integrale, Leipzig: Teubner, traduction anglaise par Frances Hardcastle, On Riemann's Theory of Algebraic Functions and their Integrals, p.1893

. Klein, Riemann and his significance for the development of modern mathematics, Bulletin of the American Mathematical Society, vol.1, issue.7, pp.165-180
DOI : 10.1090/S0002-9904-1895-00271-2

S. &. Kirkpatrick and . Selman, Critical Behavior in the Satisfiability of Random Boolean Expressions, Science, vol.264, issue.5163, pp.1297-1301
DOI : 10.1126/science.264.5163.1297

. Lektsii-po-konstructivnomu, Moscou: Nauka, traduction anglaise par E. Mendelson, Lectures on constructive mathematical analysis, 1984.

M. Morrison, Unifying Scientific Theories: Physical Concepts and Mathematical Structures, 2000.
DOI : 10.1017/CBO9780511527333

P. Maddy, How applied mathematics became pure, The Review of Symbolic Logic, pp.16-41, 2008.

. Picard, Émile 1879 Sur les fonctions analytiques uniformes dans le voisinage d'un point singulier essentiel, Comptes rendus de l'académie des sciences, pp.745-747

H. Putnam, Harper and Row, traduction française par P. Pecatte, Philosophie de la logique, Combas: l'Eclat, Philosophy of Logic, 1971.

W. Quine and . Van, Orman 1953 On what there is, dans W.V.O. Quine, From a logical point of view, pp.1-19, 1963.

F. &. Richman and . Bridges, A Constructive Proof of Gleason's Theorem, Journal of Functional Analysis, vol.162, issue.2, pp.287-312
DOI : 10.1006/jfan.1998.3372

L. Schwartz, Odile Jacob, traduction anglaise par L. Schneps, A Mathematician Grappling with his Century, Constructivism Analysis, issue.279, pp.63-263, 1997.

. Spitters, Bas 2002a Constructive and intuitionistic integration theory and functional analysis

B. Spitters, Located Operators, MLQ, vol.48, issue.S1, pp.107-122, 2002.
DOI : 10.1002/1521-3870(200210)48:1+<107::AID-MALQ107>3.0.CO;2-O

. Spitters, Abstract, The Journal of Symbolic Logic, vol.216, issue.02, pp.611-623
DOI : 10.1090/S0002-9939-03-07067-9

. Steiner, Mark 1998 The Applicability of Mathematics as a Philosophical Problem

. Urquhart, Alasdair 2008a The Boundary between Mathematics and Physics, dans P. Mancosu, The Philosophy of Mathematical Practice, pp.407-416

A. Urquhart, Mathematics and Physics: Strategies of Assimilation, dans P. Mancosu, The Philosophy of Mathematical Practice, pp.417-440, 2008.