[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Proof in the History and Philosophy of Mathematical Practice: An Introduction

  • Reference work entry
  • First Online:
Handbook of the History and Philosophy of Mathematical Practice

  • 320 Accesses

Abstract

This introductory chapter sets the stage for an engaging exploration of the multifaceted concept of proof in the philosophy of mathematical practice. As a fundamental pillar of mathematics, proof has long been a subject of intense scrutiny for mathematicians and philosophers alike. Traditionally, proofs have been perceived as rigorous and deductive arguments, and this analysis was directed towards the notion of formal proof. However, recent developments have challenged this traditional view, highlighting the dynamic and evolving nature of mathematical proofs. In this section, we bring together diverse perspectives from leading scholars to delve into the philosophical significance and complexity of mathematical proof.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Similar content being viewed by others

References

  • Aspray W, Kitcher P (eds) (1988) History and philosophy of modern mathematics. University of Minnesota Press, Minneapolis

    Google Scholar 

  • Ferreirós J, Gray JJ (eds) (2006) The architecture of modern mathematics: essays in history and philosophy. Oxford University Press, Oxford

    Google Scholar 

  • Kitcher P (1984) The nature of mathematical knowledge. Oxford University Press, Oxford

    Google Scholar 

  • Lakatos I (1976) Proofs and refutations. Cambridge University Press, Cambridge

    Book  Google Scholar 

  • Löwe B, Müller T (eds) (2010) PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice. College Publications, London

    Google Scholar 

  • Mancosu P (ed) (2008) The philosophy of mathematical practice. Oxford University Press, Oxford

    Google Scholar 

  • Pólya G (1945) How to solve it; a new aspect of mathematical method. Princeton University Press, Princeton

    Book  Google Scholar 

  • Rav Y (1999) Why do we prove theorems? Philos Math 7(1):5–4

    Article  MathSciNet  Google Scholar 

  • Tymoczko T (1979) The four-color problem and its philosophical significance. J Philos 76(2):57–83

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Logic and Philosophy of Science, Vrije Universiteit Brussel, Brussels, Belgium

    Joachim Frans & Bart Van Kerkhove

Authors
  1. Joachim Frans
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bart Van Kerkhove
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Joachim Frans or Bart Van Kerkhove .

Editor information

Editors and Affiliations

  1. Department of Mathematical Sciences, The University of Montana, Missoula, MT, USA

    Bharath Sriraman

Section Editor information

  1. Vrije Universiteit Brussel, Brussels, Belgium

    Bart Van Kerkhove

  2. Vrije Universiteit Brussel, Brussels, Belgium

    Joachim Frans

Rights and permissions

Reprints and permissions

Copyright information

© 2024 Springer Nature Switzerland AG

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Frans, J., Van Kerkhove, B. (2024). Proof in the History and Philosophy of Mathematical Practice: An Introduction. In: Sriraman, B. (eds) Handbook of the History and Philosophy of Mathematical Practice. Springer, Cham. https://doi.org/10.1007/978-3-031-40846-5_124

Download citation

Publish with us

Policies and ethics

Search

Navigation