Proofs and Refutations: The Logic of Mathematical Discovery

Przednia okładka
Cambridge University Press, 15 paź 2015 - 196
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.
 

Co mówią ludzie - Napisz recenzję

Nie znaleziono żadnych recenzji w standardowych lokalizacjach.

Spis treści

Authors introduction
1
Criticism of the conjecture by global counterexamples
14
The method of proof and refutations
50
Return to criticism of the proof by counterexamples which are local
60
Different proofs yield different theorems
69
Chapter 2
112
Another casestudy in the method of proofs and refutations
135
The deductivist versus the heuristic approach
151
Bibliography
164
Index of names
175
Prawa autorskie

Inne wydania - Wyświetl wszystko

Kluczowe wyrazy i wyrażenia

Informacje o autorze (2015)

Imre Lakatos (1922-74) was one of the twentieth century's most prominent philosophers of science and mathematics, best known for his theory of the methodology of proof and refutation in mathematics.

Informacje bibliograficzne