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
Gleason's theorem is not constructively provable, Journal of Philosophical Logic, vol.17, issue.2, pp.193-203 ,
DOI : 10.1007/BF01049261
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
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
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
``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
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 ,
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
Critical Behavior in the Satisfiability of Random Boolean Expressions, Science, vol.264, issue.5163, pp.1297-1301 ,
DOI : 10.1126/science.264.5163.1297
Moscou: Nauka, traduction anglaise par E. Mendelson, Lectures on constructive mathematical analysis, 1984. ,
Unifying Scientific Theories: Physical Concepts and Mathematical Structures, 2000. ,
DOI : 10.1017/CBO9780511527333
How applied mathematics became pure, The Review of Symbolic Logic, pp.16-41, 2008. ,
É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 ,
Harper and Row, traduction française par P. Pecatte, Philosophie de la logique, Combas: l'Eclat, Philosophy of Logic, 1971. ,
Orman 1953 On what there is, dans W.V.O. Quine, From a logical point of view, pp.1-19, 1963. ,
A Constructive Proof of Gleason's Theorem, Journal of Functional Analysis, vol.162, issue.2, pp.287-312 ,
DOI : 10.1006/jfan.1998.3372
Odile Jacob, traduction anglaise par L. Schneps, A Mathematician Grappling with his Century, Constructivism Analysis, issue.279, pp.63-263, 1997. ,
Bas 2002a Constructive and intuitionistic integration theory and functional analysis ,
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
Abstract, The Journal of Symbolic Logic, vol.216, issue.02, pp.611-623 ,
DOI : 10.1090/S0002-9939-03-07067-9
Mark 1998 The Applicability of Mathematics as a Philosophical Problem ,
Alasdair 2008a The Boundary between Mathematics and Physics, dans P. Mancosu, The Philosophy of Mathematical Practice, pp.407-416 ,
Mathematics and Physics: Strategies of Assimilation, dans P. Mancosu, The Philosophy of Mathematical Practice, pp.417-440, 2008. ,