Proofs and refutations : the logic of mathematical discovery / by Imre Lakatos ; edited by John Worrall and Elie Zahar.
By: Lakatos, Imre
Material type: TextPublisher: Cambridge ; New York : Cambridge University Press, 1976Description: xii, 174 p. ; 23 cmISBN: 0521290384 ; 9780521290388Subject(s): Mathematics -- Philosophy | Logic, Symbolic and mathematicalDDC classification: 511/.3 LOC classification: QA8.4 | .L34Online resources: Publisher description | Table of contentsItem type | Current library | Class number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books / Monographs |
Dominican University College Library / Collège Universitaire Dominicain
Hours of operation: Monday - Thursday 8am - 8:30 pm; Friday 8am - 4pm | Les heures d'ouverture : Lundi à jeudi de 8 h à 20 h 30; vendredi 8h - 16h
Standard shelving location / Rayonnage standard
|
QA 9 .54 L34 P76 1999 (Browse shelf (Opens below)) | Available | 30000000515423 |
Browsing Dominican University College Library / Collège Universitaire Dominicain shelves, Shelving location: Standard shelving location / Rayonnage standard Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||||
QA 9 .4 P75 I58 2016 An Introduction to Non-Classical Logic | QA 9 .45 M35 1993 Many-Valued Logics | QA 9 .47 B76 D34 1981 Brouwer's Cambridge lectures on intuitionism / | QA 9 .54 L34 P76 1999 Proofs and refutations : the logic of mathematical discovery / | QA 9 .54 P77 1992 Proof, Logic and Formalization | QA 9.7 M35 M63 1999 Model Theory | QA 9 .8 H63 G63 1979 Gödel, Escher, Bach : An Eternal Golden Braid |
Includes indexes.
Bibliography: p. 155-165.
Editors' preface; Acknowledgments; Author's introduction; 1. A problem and a conjecture; 2. A proof; 3. Criticism of the proof by counterexamples which are local but not global; 4. Criticism of the conjecture by global counterexamples; 5. Criticism of the proof-analysis by counterexamples which are global but not local: the problem of rigour; 6. Return to criticism of the proof by counterexamples which are local but not global: the problem of content; 7. The problem of content revisited; 8. Concept-formation; 9. How criticism may turn mathematical truth into logical truth; Appendices; Bibliography; Index of names; Index of subjects.
Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Imre Lakatos shows that mathematics grows through a process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.
There are no comments on this title.