The Heterogeneity of Mathematical Research

Part of the Logic, Argumentation & Reasoning book series (LARI, volume 8)

Abstract

The core thesis of this contribution is that, if we wish to construct formal-logical models of mathematical practices, taking into account the maximum of detail, then it is a wise strategy to see mathematics as a heterogeneous entity. This thesis is supported by two case studies: the first one concerns a mathematical puzzle, the second one concerns Diophantine equations and belongs to mathematics proper. The advantage of the former is that the connection with logical modeling is pretty clear whereas the latter mainly demonstrates the difficulties one will have to overcome. A link is made with Hintikka’s method of analysis and synthesis.

Keywords

Heterogeneity in mathematics Logical modeling Analysis and synthesis Explanation 

References

  1. Beck, M., Pine, E., Tarrant, W., & Jensen, K. Y. (2007). New integer representations as the sum of three cubes. Mathematics of Computation, 76(259), 1683–1690.CrossRefGoogle Scholar
  2. Billey, S. C., & Tenner, B. E. (2013). Fingerprint databases for theorems. Notices of the AMS, 60(8), 1034–1039.CrossRefGoogle Scholar
  3. Hintikka, J. (2012). Method of analysis: A paradigm of mathematical reasoning? History and Philosophy of Logic, 33(1), 49–67.CrossRefGoogle Scholar
  4. Hintikka, J., & Remes, U. (1974). The method of analysis: Its geometrical origin, its general significance. Dordrecht: Reidel.CrossRefGoogle Scholar
  5. Kitcher, P. (1983). The nature of mathematical knowledge. New York: Oxford University Press.Google Scholar
  6. Mahler, K. (1936). Note on hypothesis K of Hardy and Littlewood. Journal of the London Mathematical Society, 11, 136–138.CrossRefGoogle Scholar
  7. Mancosu, P. (2011). Explanation in mathematics. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Summer 2011 ed.). Stanford: Stanford University Press. http://plato.stanford.edu/archives/sum2011/entries/mathematics-explanation/
  8. Mordell, L. J. (1942). On sums of three cubes. Journal of the London Mathematical Society, 17, 139–144.CrossRefGoogle Scholar
  9. National Research Council (2014). Developing a 21st century global library for mathematics research. The National Academies Press: Washington, D.C.Google Scholar
  10. Nielsen, M. (2012). Reinventing discovery. The new era of networked science. Princeton University Press: Princeton.Google Scholar
  11. Parikh, R. J. (1973). Some results on the length of proofs. Transaction of the AMS, 177, 29–36.CrossRefGoogle Scholar
  12. Poonen, B. (2008). Undecidability in number theory. Notices of the AMS, 55(3), 344–350.Google Scholar
  13. Stoll, M. (2010). How to solve a Diophantine equation. ArXiv:1002.4344v2 [math.NT].Google Scholar
  14. van Bendegem, J. P. (2004). The creative growth of mathematics. In D. Gabbay, S. Rahman, J. Symons, & J. P. van Bendegem (Eds.), Logic, epistemology and the unity of science (LEUS) (pp. 229–255). Dordrecht: Kluwer Academic.CrossRefGoogle Scholar
  15. van Bendegem, J. P. (2014). The impact of the philosophy of mathematical practice on the philosophy of mathematics. In L. Soler, S. Zwart, M. Lynch, & V. Israel-Jost (Eds.), Science after the practice turn in the philosophy, history, and social studies of science (pp. 215–226). London: Routledge.Google Scholar
  16. van Bendegem, J. P. (to appear). Contingency in mathematics: Two case studies. In L. Soler (Ed.), Contingency in Science. Pittsburgh: University of Pittsburgh Press.Google Scholar
  17. van Benthem, J. (2010). Logic, mathematics, and general agency. In P. E. Bour, M. Rebuschi, & L. Rollet (Eds.), Construction — Festschrift for Gerhard Heinzmann (pp. 277–296). London: College Publications.Google Scholar
  18. van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  19. van Kerkhove, B., & van Bendegem, J. P. (2004). The unreasonable richness of mathematics. Journal of Cognition and Culture, 4(3–4), 525–549.Google Scholar
  20. Villani, C. (2012). Théorème vivant. Paris: Grasset.Google Scholar
  21. Watkins, J. J. (2014). Number theory: A historical approach. Princeton: Princeton University Press.Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Vrije Universiteit BrusselCenter for Logic and Philosophy of ScienceBrusselsBelgium

Personalised recommendations