Proofs and refutations: the logic of mathematical discovery
Series: Cambridge Philosophy ClassicsPublication details: Cambridge: Cambridge University Press, 2015.Description: xii, 183p.: pbk.: 23 cmISBN:- 9781107534056
- 511.36 LAK
| Item type | Current library | Collection | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
Books
|
IIT Gandhinagar | General | 511.36 LAK (Browse shelf(Opens below)) | 1 | Available | 036313 |
Browsing IIT Gandhinagar shelves,Collection: General Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.352 ARO Computational complexity: a modern approach | 511.36 COO Logical foundations of proof complexity | 511.36 KRA Proof complexity, Vol. 170 | 511.36 LAK Proofs and refutations: the logic of mathematical discovery | 511.36 LOL Meaning of proofs: mathematics as storytelling | 511.36 WOH Introduction to proof in abstract mathematics | 511.3609 STI Story of proof: logic and the history of mathematics |
Includes Appendices, Bibliography and Indices.
Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions about the nature of mathematical discovery and methodology. Lakatos shows that mathematics grows through a process of improvement by attempts at proofs and critiques of these attempts, and his work continues to inspire mathematicians and philosophers aspiring to develop a philosophy of mathematics that accounts for both the static and the dynamic complexity of mathematical practice. With a specially commissioned Preface written by Paolo Mancosu, this book has been revived for a new generation of readers.
Unique to Cambridge, this classic book has been revived and rebranded for a twenty-first-century readership
Offers a new generation of readers access to Imre Lakatos's influential theory on the nature of mathematical discovery and methodology
Proposes a philosophy of mathematics that accounts for both the static and dynamic complexities of mathematical practice
Features a specially commissioned Preface written by Paolo Mancosu
https://www.cambridge.org/in/universitypress/subjects/philosophy/philosophy-science/proofs-and-refutations-logic-mathematical-discovery-1?format=HB&isbn=9781107113466
There are no comments on this title.