Proof, Logic and Formalization
Download or Read eBook Proof, Logic and Formalization PDF written by Michael Detlefsen and published by Routledge. This book was released on 2005-07-08 with total page 391 pages. Available in PDF, EPUB and Kindle.
| Author | : Michael Detlefsen |
| Publisher | : Routledge |
| Total Pages | : 391 |
| Release | : 2005-07-08 |
| ISBN-10 | : 9781134975273 |
| ISBN-13 | : 1134975279 |
| Rating | : 4/5 (73 Downloads) |
Book Synopsis Proof, Logic and Formalization by : Michael Detlefsen
Book excerpt: 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.
