To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Proofs and Refutations

From Wikipedia, the free encyclopedia

Proofs and Refutations: The Logic of Mathematical Discovery
AuthorImre Lakatos
GenrePhilosophy of mathematics
Published1976
ISBN978-0-521-29038-8

Proofs and Refutations: The Logic of Mathematical Discovery is a 1976 book by philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students who debate the proof of the Euler characteristic defined for the polyhedron. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour. At the end of the Introduction, Lakatos explains that his purpose is to challenge formalism in mathematics, and to show that informal mathematics grows by a logic of "proofs and refutations".

YouTube Encyclopedic

  • 1/3
    Views:
    97 714
    279 564
    483 382
  • Mathematical Proof of God's Existence
  • DIRECT PROOFS - DISCRETE MATHEMATICS
  • ASAP Science’s Can Math Prove god’s Existence? Debunked (Argument From Improbability Refuted)

Transcription

Background

The 1976 book Proofs and Refutations is based on the first three chapters of his 1961 four-chapter doctoral thesis Essays in the Logic of Mathematical Discovery. But its first chapter is Lakatos's own revision of its chapter 1 that was first published as Proofs and Refutations in four parts in 1963–4 in the British Journal for the Philosophy of Science.

Synopsis

Many important logical ideas are explained in the book. For example, the difference between a counterexample to a lemma (a so-called 'local counterexample') and a counterexample to the specific conjecture under attack (a 'global counterexample' to the Euler characteristic, in this case) is discussed.[1]

Lakatos argues for a different kind of textbook, one that uses heuristic style. To the critics that say such a textbook would be too long, he replies: 'The answer to this pedestrian argument is: let us try.'

The book includes two appendices. In the first, Lakatos gives examples of the heuristic process in mathematical discovery. In the second, he contrasts the deductivist and heuristic approaches and provides heuristic analysis of some 'proof generated' concepts, including uniform convergence, bounded variation, and the Carathéodory definition of a measurable set.

The pupils in the book are named after letters of the Greek alphabet.

Method

Though the book is written as a narrative, it aims to develop an actual method of investigation based upon "proofs and refutations". In Appendix I, Lakatos summarizes this method by the following list of stages:

  1. Primitive conjecture.
  2. Proof (a rough thought-experiment or argument, decomposing the primitive conjecture into subconjectures).
  3. "Global" counterexamples (counterexamples to the primitive conjecture) emerge.
  4. Proof re-examined: the "guilty lemma" to which the global counter-example is a "local" counterexample is spotted. This guilty lemma may have previously remained "hidden" or may have been misidentified. Now it is made explicit, and built into the primitive conjecture as a condition. The theorem - the improved conjecture - supersedes the primitive conjecture with the new proof-generated concept as its paramount new feature.

He goes on and gives further stages that might sometimes take place:

  1. Proofs of other theorems are examined to see if the newly found lemma or the new proof-generated concept occurs in them: this concept may be found lying at cross-roads of different proofs, and thus emerge as of basic importance.
  2. The hitherto accepted consequences of the original and now refuted conjecture are checked.
  3. Counterexamples are turned into new examples - new fields of inquiry open up.

Publication history

The 1976 book has been translated into more than 15 languages worldwide, including Chinese, Korean, Serbo-Croat and Turkish, and went into its second Chinese edition in 2007.

Impact on teaching

A number of mathematics teachers have implemented Lakatos' method of proofs and refutations in the classroom, when teaching other mathematical topics.[2] The method has been applied to the analysis and presentation of problem solving in mechanics by high school to college level students.[3]

The Mathematical Association of America has included this book on a list of books that they consider to be "essential for undergraduate mathematics libraries".[4]

Notes

References

This page was last edited on 17 June 2023, at 05:23
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.