Abstract
In this paper it is argued that the fundamental difference of the formal and the informal position in the philosophy of mathematics results from the collision of an object and a process centric perspective towards mathematics. This collision can be overcome by means of dialectical analysis, which shows that both perspectives essentially depend on each other. This is illustrated by the example of mathematical proof and its formal and informal nature. A short overview of the employed materialist dialectical approach is given that rationalises mathematical development as a process of model production. It aims at placing more emphasis on the application aspects of mathematical results. Moreover, it is shown how such production realises subjective capacities as well as objective conditions, where the latter are mediated by mathematical formalism. The approach is further sustained by Polanyi’s theory of problem solving and Stegmaier’s philosophy of orientation. In particular, the tool and application perspective illuminates which role computer-based proofs can play in mathematics.
Similar content being viewed by others
References
Appel K., Haken W. (1977) Every planar map is four colorable. Illinois Journal of Mathematics 21(3): 429–567
Arkoudas K., Bringsjord S. (2007) Computers, justification, and mathematical knowledge. Minds and Machines 17(2): 185–202. doi:10.1007/s11023-007-9063-5
Bartlett J. M. (1964) I.-frege: On the scientific justification of a concept-script [1882]. Mind LXXIII(290): 155–160. doi:10.1093/mind/LXXIII.290.155
Bittner, T., & Smith, B. (2001). Granular partitions and vagueness. In: FOIS ’01: Proceedings of the international conference on formal ontology in information systems (pp. 309–320). ACM, New York, NY, USA. doi:10.1145/505168.505197
Colburn T., Shute G. (2007) Abstraction in computer science. Minds and Machines 17(2): 169–184. doi:10.1007/s11538-006-9061-4
Corcoran J. (1973) Gaps between logical theory and mathematical practice. In: Bunge M. (Ed.) The methodological Um’ty of science. D. Riedel, Dordrecht, pp 23–50
Davis P. J., Hersh R. (1998) The ideal mathematician. In: Tymoczko T. (Ed.) New directions in the philosophy of mathematics, rev sub edn. Princeton University Press, Princeton, pp 177–184
Dove I. J. (2009) Towards a theory of mathematical argument. Foundations of Science 14(1–2): 137–152. doi:10.1007/s10699-008-9156-5
Ernest P. (1997) The legacy of lakatos: Reconceptualising the philosophy of mathematics. Philosophia Mathematica 5(2): 116–134. doi:10.1093/philmat/5.2.116
Hersh, R. (Ed.) (2005). 18 Unconventional essays on the nature of mathematics (1st ed.). Springer, http://www.worldcat.org/isbn/0387257179.
Lakatos, I. (1976). Proofs and refutations: The logic of mathematical discovery. Cambridge University Press, http://www.worldcat.org/isbn/0521290384.
Larvor B. P. (2001) What is dialectical philosophy of mathematics. Philosophia Mathematica 9(2): 212–229
Máté A. (2006) Árpád szabó and imre lakatos, or the relation between history and philosophy of mathematics. Perspectives on Science 14(3): 282–301. doi:10.1162/posc.2006.14.3.282
Pietschmann, H. (1996). Phänomenologie der Naturwissenschaft: Wissenschaftstheoretische und philosophische Probleme der Physik. Springer, http://www.worldcat.org/isbn/9783540600978.
Polanyi M. (1957) Problem solving. The British Journal for the Philosophy of Science 8(30): 89–103
Polanyi, M. (1962). Personal knowledge: Towards a post-critical philosophy. University Of Chicago Press, http://www.worldcat.org/isbn/0226672883.
Polanyi, M. (1966). The tacit dimension (1st edn.). Doubleday, Garden City, NY, http://www.worldcat.org/isbn/0844659991.
Rav Y. (1999) Why do we prove theorems?. Philosophia Mathematica 7(1): 5–41. doi:10.1093/philmat/7.1.5
Rav Y. (2007) A critique of a formalist-mechanist version of the justification of arguments in mathematicians’ proof practices. Philosophia Mathematica 15(3): 291–320. doi:10.1093/philmat/nkm023
Ropolyi L. (2002) Lakatos and lukács. In: Kampis G., Stöltzner M., Kvasz L. (eds) Appraising Lakatos: Mathematics, methodology and the man (Vienna Circle Institute Library) (1st ed., pp 303–338). Berlin, Heidelberg: Springer
Rotman, B. (2006). Towards a semiotics of mathematics. In: R. Hersh (Ed.), 18 Unconventional essays on the nature of mathematics (Chap. 16, pp. 97–127). New York: Springer. doi:10.1007/0-387-29831-2_16.
Ruben, P. (1978) Dialektik und Arbeit der Philosophie. Studien zur Dialektik, Pahl-Rugenstein, http://www.worldcat.org/isbn/376090354.
Ruben, P. (1979). Philosophie und Mathematik. B. G. Teubner, Leipzig, http://peter-ruben.de/frames/files/Grundlagen/Ruben%20-%20Philosophie%20und%20Mathematik.pdf.
Ruben, P. (2006). Der dialektische widerspruch [1966]. http://peter-ruben.de/frames/files/Grundlagen/Ruben%20-%20Der%20dialektische%20Widerspruch.pdf.
Stegmaier, W. (2008). Philosophie der Orientierung (1st ed.). Walter de Gruyter, http://www.worldcat.org/isbn/3110200252.
Thomas R. S. D. (1991) Meanings in ordinary language and in mathematics. Philosophia Mathematica s2-6(1): 3–38. doi:10.1093/philmat/s2-6.1.3
Thurston W. P. (1994) On proof and progress in mathematics. Bulletin of the American Mathematical Society 30(2): 161–178. doi:10.1090/S0273-0979-1994-00502-6
Tymoczko T. (1986) Making room for mathematicians in the philosophy of mathematics. The Mathematical Intelligencer 8(3): 44–50. doi:10.1007/BF03025789
Tymoczko, T. (Ed.) (1998). New directions in the philosophy of mathematics, rev sub edn. Princeton, NJ: Princeton University Press, http://www.worldcat.org/isbn/0691034982.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Riss, U.V. Objects and Processes in Mathematical Practice. Found Sci 16, 337–351 (2011). https://doi.org/10.1007/s10699-010-9202-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10699-010-9202-y