Proof, Logic and Formalization
| By: | Michael Detlefsen |
| Publisher: | Taylor & Francis |
| Print ISBN: | 9780415023351 |
| eText ISBN: | 9781134975273 |
| Edition: | 1 |
| Copyright: | 1992 |
| Format: | Reflowable |
Lifetime - $95.99
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.