Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics) by Imre Lakatos (PDF)

Description

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.

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐I have never written a review for a book on amazon before this point, but I felt this book really deserves 5 stars, and I wanted to address the criticisms of the book directly. I believe many of the criticisms are a result of a misunderstanding of this book’s goals. Specifically, the comparison to Polya’s books are somewhat unfounded, because I believe the books have different goals. The goal of Polya’s books are to provide a general method for finding solutions to unsolved problems. The goal of this book, on the other hand, is to explain the purpose and meaning of a proof once we already have it.This book answers the questions “How can we be sure a formal proof which is formally correct, is also intuitively correct?” and “How can we be sure it actually proves what we intuitively intended?”, and it does so better than anything else I have ever read. As a result, this is a book more about mathematical philosophy than mathematical technique.If you are someone who has trouble reading or writing proofs because you keep thinking of weird edge cases and have to verify that the proof handles all of them, or you have frequent existential crises about how written mathematical symbols (which are just symbols and syntax) can be shown to say anything about reality, this is the book for you.

⭐In a footnote to chapter 2 (much of the content of “Proofs and Refutations” is in the footnotes) Lakatos writes: “Until the seventeenth century, Euclidians approved the Platonic method of analysis as the method of heuristic; later they replaced it by the stroke of luck and/or genius.” That stroke of luck and/or genius is a slight of hand that hides much of the story of the unfolding of mathematical research.In “Proofs and Refutations,” Lakatos illustrates how a single mathematical theorem developed from a naive conjecture to its present (far more sophisticated) form through a gruelling process of criticism by counterexamples and subsequent improvements. Lakatos manages to seemlessly narrate over a century of mathematical work by adopting a quasi-Platonic dialogue form (inspired by Galileo’s “Dialogues”?), which he thoroughly backs up with hard historical evidence in the voluminous footnotes. The story he tells explores the clumsy and halting heuristic processes by which mathematical knowledge is created: the very process so carfully hidden from view in most mathematics textbooks!The participants of Lakatos’ dialogue argue over questions like “when is something proved?”, “what is a trivial vs. severe counterexample?”, “must you state all your assumptions or can some be thought of as implicit?”, “in the end, what has been proved?”,etc.. The answers to these questions change as the theorem under consideration is successively seen in a new light. Throughout, Lakatos is at pains to point out that the different perspectives adopted by his characters are representative of viewpoints that were once taken by the heroes of mathematics.

⭐I was hoping to read something about the general logic of mathematical discovery, as promised in the subtitle.Instead it talked entirely about ONE proof, in an unhelpful dialogue format which only obscured the underlying points.Perhaps if I were more clever I could have generated a general logic from that, but if I were that clever, I wouldn’t have needed the book.

⭐This would have been more interesting with less pseudo-conversation and more explanation of the concepts behind the proof/refutation process. I stopped after 20%…

⭐Excellent book showing that doing mathematics is a complicated process they goes far beyond just discovering results of some realm.

⭐This book is a classic, and I am so happy to finally have my own copy. Lakatos was one of those rare minds in philosophy who influenced generations of people in multiple disciplines.

⭐Not only is this a very interesting argument about the nature of mathematical proof, it is a highly entertaining read. A classic of late 20th century mathematical philosophy.

⭐An important read for anyone studying the philosophy of mathematics. Also interesting for mathematics educators. Classic. Timeless. Not too long.

⭐This is a story book. It chronicles a series of high school lessons about crystal shapes called polyhedra. The class spend the whole book in a lively, wryly humorous and immensely readable dialogue with their teacher, trying to find a mathematical definition that makes sense. The reader is drawn in to the characters, their arguments and the way the plot develops.Along the way you find that you are discovering how to do maths. I don’t mean the nuts-and-bolts, how to do the boring stuff like equations, but the interesting things that make you wonder, like why, whether, what is it anyway and, most significant of all, how to do better next time. Oh, and what a polyhedron is not, too – you’ll be amazed at how many lousy definitions mathematicians have nailed their flag to over the years. But that’s the point Lakatos is making, maths is not some dead library catalogue that grows and grows, it is forever being torn up, burned and rewritten better than ever.The most frightening thing about this book is its title. Get past that and you are in for a truly enjoyable ride, with no more visible maths than a few simple and well-illustrated geometrical ideas to absorb.There are some rather more heavyweight appendices, but you don’t have to plough through those unless you want to.Lakatos’ book is a real classic and serves as an excellent introduction to the philosophy of mathematics.

⭐Great book, great seller. Found this very interesting to read as a History and Philosophy of Science student.

⭐excellent

⭐This is a book about mathematics in the sense that it does not really prove theorems but rather it talks about what it is like to make a theorem.The book starts with Euler’s polyhedron formula. Then it goes on to search exceptions to this formula,leading to a tighter and tighter definition of a good polyhedron. The process is inspiring and you should try to find exceptions yourself instead of just reading them in the book. Each time you think the definition is waterproof, there is still some other clever monster construction that does not fit the bill. It shows how easy it is to think you have a general theorem and the value of having counterexamples.I love this book and would probably recommend it. The only thing against it is the somewhat dated style.

⭐Si tratta di un testo classico sui fondamenti della matematica. Indispensabile per chi vuole comprendere i meccanismi più profondi della creazione matematica.

⭐

Keywords

Free Download Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics) in PDF format
Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics) PDF Free Download
Download Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics) 2015 PDF Free
Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics) 2015 PDF Free Download
Download Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics) PDF
Free Download Ebook Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics)