A defence of mathematical pluralism

Philosophia Mathematica

Volumn 13, Issue 3, 2005, Pages 252-276

  Davies, E Brian ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 31444439644     PISSN: 00318019     EISSN: None     Source Type: Journal    
DOI: 10.1093/philmat/nki017     Document Type: Article

References (55)

1. Atiyah, M. F., et al. [1994]: 'Responses to "Theoretical mathematics: towards a cultural synthesis of mathematics and theoretical physics"', Bulletin of the American Mathematical Society (2) 30, 178-211.
2. Balaguer, M. [1998]: Platonism and anti-Platonism in Mathematics. Oxford: Oxford University Press.
3. Bauer, G., and M. Wenzel [2004]: 'Computer-Assisted Mathematics at Work: The Hahn-Banach Theorem in Isabelle/Isar'. http://isabelle.in.tum.de/library/HOL/HOL-Complex/HahnBanach/document.pdf
4. Billinge, H. [2000]: 'Discussion. AppliedOconstructive mathematics: on Hellman's mathematical constructivism in spacetime', British Journal of Philosophy of Science 51, 299-318.
5. Billinge, H. [2003]: 'Did Bishop have a philosophy of mathematics?', Philosophia Mathematica (3) 11, 176-194.
6. Bishop, E. [1967]: Foundations of Constructive Analysis. New York: McGraw-Hill.
7. Bishop, E. [1985]: 'Schizophrenia in contemporary mathematics', in M. Rosenblatt, ed., Errett Bishop: Reflections on him and his research. Contemporary Mathematics vol. 39, Providence, R.I.: American Mathematical Society, pp. 1-32.
8. Bishop, E., and D. Bridges [1985]: Constructive Analysis. Grundlehren der math. Wiss. Vol. 279. Heidelberg: Springer-Verlag.
9. Bridges, D. [1981]: 'A constructive look at positive linear functionals on L(H)', Pacific J. Math. 95, 11-25.
10. Bridges, D. [1995]: 'Constructive mathematics and unbounded operators - a reply to Hellman', Journal of Philosophical Logic 24, 549-561.
11. Bridges, D. [1998]: 'Constructive truth in practice', in H. G. Dales and G. Olivieri, eds., Truth in Mathematics. Oxford: Clarendon Press, pp. 53-69.
12. Burgess, J. P. [2004]: 'Mathematics and "Bleak House"', Philosophia Mathematica (3) 12, 18-36.
13. Carnap, R. [1950]: 'Empiricism, Semantics, and Ontology', Revue Internationale de Philosophie 4, 20-40.
14. See also R. Carnap, Supplement to Meaning and Necessity: A Study in Semantics and Modal Logic, enlarged edition. Chicago: University of Chicago Press, 1956.
15. Cohen, P.J. [1971]: 'Comments on the foundations of set theory'. In Axiomatic Set Theory, Proc. Symp. Pure Math. Vol XIII, Part I. Providence, R.I.: American Mathematical Society, pp. 9-15.
16. Davey, K. [2003]: 'Is mathematical rigor necessary in physics?', British Journal of Philosophy of Science 54, 439-463.
17. Davies, E. B. [1980]: One-Parameter Semigroups. LMS Monographs Vol. 15. London: Academic Press.
18. Davies, E. B. [1989]: Heat Kernels and Spectral Theory. Cambridge Tracts in Math. Vol. 92. Cambridge: Cambridge University Press.
19. Davies, E. B. [1995]: Spectral Theory and Differential Operators. Cambridge: Cambridge University Press.
20. Davies, E. B. [2003a]: 'Empiricism in Arithmetic and Analysis', Philosophia Mathematica (3) 11, 53-66.
21. Davies, E. B. [2003b]: 'Quantum mechanics does not require the continuity of space', Stud. Hist. Phil. Mod. Phys. 34, 319-328.
22. Dummett, M. [2000]: Elements of Intuitionism, 2nd ed. Oxford: Clarendon Press.
23. Feferman, S. [1977]: 'Categorical foundations and foundations of category theory', in R. E. Butts and J. Hintikka, eds., Logic, Foundations of Mathematics and Computability. Dordrecht: Reidel, pp. 149-169.
24. Field, H. [1980]: Science Without Numbers. Princeton: Princeton University Press.
25. Frank, M. [2000]: Constructive mathematics anA Mathematical physics: a program and progress report.
26. See also M. Frank, Ph. D. thesis, University of Chicago, 2004.
27. Friedman, H. M. [1998]: 'Finite functions and the necessary use of large cardinals', Ann. Math. 148, 803-893.
28. Hellman, G. [1989]: 'Never say "Never"! On the communication problem between intuitionism and classicism', Phil. Topics (2) 17, 47-67.
29. Hellman, G. [1993a]: 'Gleason's theorem is not constructively provable', Journal of Philosophical Logic 22, 193-203.
30. Hellman, G. [1993b]: 'Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem', Journal of Philosophical Logic 22, 221-248.
31. Hellman, G. [1997]: 'Quantum Mechanical Unbounded Operators and Constructive Mathematics: A Rejoinder to Bridges', Journal of Philosophical Logic 26, 121-127.
32. Hellman, G. [1998]: 'Mathematical constructivism in space-time', British Journal of Philosophy of Science 49, 425-450.
33. Hellman, G., and J. L. Bell [to appear]: 'Pluralism and the Foundations of Mathematics', in Proceedings of Workshop on Scientific Pluralism, University of Minnesota, 2002. Minneapolis, Minn.: Minnesota University Press.
34. Henley, D. S. [1995]: 'Syntax-directed discovery in mathematics', Erkenntnis 43, 241-259.
35. Jaffe, A., and F. Quinn [1993]: T"Theoretical Mathematics": towards a cultural synthesis of mathematics and theoretical physics', Bulletin of the American Mathematical Society (2) 29, 1-13.
36. Kaplan, S. [1985]: The Bidual of C(X) I. Amsterdam: North-Holland.
37. Maddy, P. [1997]: Naturalism in Mathematics. Oxford: Clarendon Press.
38. Nerode, A., G. Metakides, and R. Constable [1985]: 'Remembrances of Errett Bishop', in M. Rosenblatt, ed., Errett Bishop: Reflections on him and his research. Contemporary Mathematics vol. 39, Providence, R.I.: American Mathematical Society, pp. 79-84.
39. Nowak, B., and A. Trybulec [1993]: 'Hahn-Banach theorem', J. Formalized Math. 5.
40. Popper, K. R., and J. C. Eccles [1977]: The Self and Its Brain. London: Routledge.
41. Richman, F. [1990]: 'Intuitionism as generalization', Philosophia Mathematica (2) 5, 124-128. Available at http://www.math.fau.edu/richman/docs/philmath.html
42. Richman, F. [2000]: 'Gleason's theorem has a constructive proof', Journal of Philosophical Logic 29, 425-431.
43. Richman, F., and D. Bridges [1999]: 'A constructive proof of Gleason's theorem', J. Funct. Anal. 162, 287-312.
44. Rota, G.-C. [1997]: 'The phenomenology of mathematical proof', Synthese 111, 183-196.
45. Ruelle, D. [1993]: Chance and Chaos. London: Penguin.
46. Scedrov, A. [1986]: 'Diagonalization of continuous matrices as a representation of intuitionistic reals', Ann. Pure Appl. Logic 30, 201-206.
47. Schechter, E. [2004]: 'Home Page for the Axiom of Choice'. http://www.math.vanderbilt.edu/~schectex/ccc/choice.html
48. Schuster, P. M. [2003]: 'Unique existence, approximate solutions, and countable choice', Theor. Comput. Sci. 305, 433-455.
49. Schuster, P. M. [2004]: 'Countable choice as a questionable uniformity principle', Philosophia Mathematica (3) 12, 106-134.
50. Shapiro, S. [2000]: Thinking about Mathematics, The Philosophy of Mathematics. Oxford: Oxford University Press.
51. Stöltzner, M. [2002]: 'What Lakatos could teach the mathematical physicist', in G. Kampis et al., eds., Appraising Lakatos, Methodology and the Man. Dordrecht: Kluwer, pp. 157-187.
52. Tennant, N. [1997]: The Taming of the True. Oxford: Oxford University Press.
53. Thurston, W. [1994]: 'Responses to "Theoretical mathematics: towards a cultural synthesis of mathematics and theoretical physics"', Bulletin of the American Mathematical Society (2) 30, 161-177.
54. Wolfram, S. [2002]: A New Kind of Science. Champaign, Ill.: Wolfram Media.
55. Ye, Feng [1998]: On Errett Bishop's Constructivism - Some Expositions, Extensions and Critiques. Ph. D. thesis. Princeton: Princeton University Press.