Mathematical Rigour and Informal Proof
Seiten
2024
Cambridge University Press (Verlag)
978-1-009-32510-3 (ISBN)
Cambridge University Press (Verlag)
978-1-009-32510-3 (ISBN)
This Element surveys some of the main options in the literature: the standard view that rigour is logical, the models of proofs as arguments and dialogues, the recipe model of proofs as guiding actions and activities, and the idea of mathematical rigour as an intellectual virtue.
This Element looks at the contemporary debate on the nature of mathematical rigour and informal proofs as found in mathematical practice. The central argument is for rigour pluralism: that multiple different models of informal proof are good at accounting for different features and functions of the concept of rigour. To illustrate this pluralism, the Element surveys some of the main options in the literature: the 'standard view' that rigour is just formal, logical rigour; the models of proofs as arguments and dialogues; the recipe model of proofs as guiding actions and activities; and the idea of mathematical rigour as an intellectual virtue. The strengths and weaknesses of each are assessed, thereby providing an accessible and empirically-informed introduction to the key issues and ideas found in the current discussion.
This Element looks at the contemporary debate on the nature of mathematical rigour and informal proofs as found in mathematical practice. The central argument is for rigour pluralism: that multiple different models of informal proof are good at accounting for different features and functions of the concept of rigour. To illustrate this pluralism, the Element surveys some of the main options in the literature: the 'standard view' that rigour is just formal, logical rigour; the models of proofs as arguments and dialogues; the recipe model of proofs as guiding actions and activities; and the idea of mathematical rigour as an intellectual virtue. The strengths and weaknesses of each are assessed, thereby providing an accessible and empirically-informed introduction to the key issues and ideas found in the current discussion.
Prologue: three proofs?; 1. Introduction; 2. The standard view: rigour as formality; 3. Arguments and dialogues; 4. The recipe model of proofs; 5. Rigour is a virtue; 6. Conclusion; References.
| Erscheinungsdatum | 16.03.2024 |
|---|---|
| Reihe/Serie | Elements in the Philosophy of Mathematics |
| Zusatzinfo | Worked examples or Exercises |
| Verlagsort | Cambridge |
| Sprache | englisch |
| Gewicht | 144 g |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Erkenntnistheorie / Wissenschaftstheorie |
| Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
| ISBN-10 | 1-009-32510-8 / 1009325108 |
| ISBN-13 | 978-1-009-32510-3 / 9781009325103 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
![Was heißt Denken?. Vorlesung Wintersemester 1951/52. [Was bedeutet das alles?] - Martin Heidegger](/media/113619842)
aus dem Bereich
die Grundlegung der modernen Philosophie
Buch | Softcover (2023)
C.H.Beck (Verlag)
CHF 25,20
Buch | Softcover (2023)
Reclam, Philipp (Verlag)
CHF 9,80
