Proof, Logic and Formalization
MIA KARTS BOOKS
- Vendor: Mia Karts
Proof, Logic and Formalization
Book Details
- Author
- Michael Detlefsen
- Publisher
- Routledge
- Format
- Hardcover
- Language
- English
- Category
- Logic
- Condition
- New
- ISBN-13
- 9780415023351
- ISBN-10
- 0415023351
Free U.S. shipping on all orders. International shipping is calculated at checkout.
ISBN: 0415023351
Author: Detlefsen, Michael
Condition: New
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.
Have a question?

Proof, Logic and Formalization

