Proof, Logic and Formalization
Seiten
1992
Routledge (Verlag)
978-0-415-02335-1 (ISBN)
Routledge (Verlag)
978-0-415-02335-1 (ISBN)
A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.
The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.
The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.
Michael Detlefsen (Edited by)
Contributors:
David Aeurbach, John P. Burgess, Michael Detlefsen, Glen Helman, Daniel Isaacson, Charles Parsons, Richard Tieszen, David S. Tragesser
| Erscheint lt. Verlag | 9.1.1992 |
|---|---|
| Verlagsort | London |
| Sprache | englisch |
| Maße | 138 x 216 mm |
| Gewicht | 453 g |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-415-02335-1 / 0415023351 |
| ISBN-13 | 978-0-415-02335-1 / 9780415023351 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Gegenentwurf zum kurzfristigen Denken : so werden wir zu den …
Buch | Hardcover (2023)
REDLINE (Verlag)
CHF 27,90
