Proofs and Refutations, Mathematics
Lakatos' philosophy of mathematics was inspired by both Hegel's and Marx' dialectic, by Karl Popper's theory of knowledge, and by the work of mathematician George Polya.
The 1976 book Proofs and Refutations is based on the first three chapters of his four chapter 1961 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. It is largely taken up by a fictional dialogue set in a mathematics class. The students are attempting to prove the formula for the Euler characteristic in algebraic topology, which is a theorem about the properties of polyhedra, namely that for all polyhedra the number of their (V)ertices minus the number of their (E)dges plus the number of their (F)aces is 2: (V – E + F = 2). The dialogue is meant to represent the actual series of attempted proofs which mathematicians historically offered for the conjecture, only to be repeatedly refuted by counterexamples. Often the students paraphrase famous mathematicians such as Cauchy, as noted in Lakatos's extensive footnotes.
What Lakatos tried to establish was that no theorem of informal mathematics is final or perfect. This means that we should not think that a theorem is ultimately true, only that no counterexample has yet been found. Once a counterexample, i.e. an entity contradicting/not explained by the theorem is found, we adjust the theorem, possibly extending the domain of its validity. This is a continuous way our knowledge accumulates, through the logic and process of proofs and refutations. (If axioms are given for a branch of mathematics, however, Lakatos claimed that proofs from those axioms were tautological, i.e. logically true.)
Lakatos proposed an account of mathematical knowledge based on the idea of heuristics. In Proofs and Refutations the concept of 'heuristic' was not well developed, although Lakatos gave several basic rules for finding proofs and counterexamples to conjectures. He thought that mathematical 'thought experiments' are a valid way to discover mathematical conjectures and proofs, and sometimes called his philosophy 'quasi-empiricism'.
However, he also conceived of the mathematical community as carrying on a kind of dialectic to decide which mathematical proofs are valid and which are not. Therefore he fundamentally disagreed with the 'formalist' conception of proof which prevailed in Frege's and Russell's logicism, which defines proof simply in terms of formal validity.
On its first publication as a paper in The British Journal for the Philosophy of Science in 1963-4, Proofs and Refutations became highly influential on new work in the philosophy of mathematics, although few agreed with Lakatos' strong disapproval of formal proof. Before his death he had been planning to return to the philosophy of mathematics and apply his theory of research programmes to it. Lakatos, Worrall and Zahar use Poincaré (1893) to answer one of the major problems perceived by critics, namely that the pattern of mathematical research depicted in Proofs and Refutations does not faithfully represent most of the actual activity of contemporary mathematicians.
Read more about this topic: Imre Lakatos
Famous quotes containing the words proofs and, proofs and/or mathematics:
“Would you convey my compliments to the purist who reads your proofs and tell him or her that I write in a sort of broken-down patois which is something like the way a Swiss waiter talks, and that when I split an infinitive, God damn it, I split it so it will stay split, and when I interrupt the velvety smoothness of my more or less literate syntax with a few sudden words of bar- room vernacular, that is done with the eyes wide open and the mind relaxed but attentive.”
—Raymond Chandler (1888–1959)
“Would you convey my compliments to the purist who reads your proofs and tell him or her that I write in a sort of broken-down patois which is something like the way a Swiss waiter talks, and that when I split an infinitive, God damn it, I split it so it will stay split, and when I interrupt the velvety smoothness of my more or less literate syntax with a few sudden words of bar- room vernacular, that is done with the eyes wide open and the mind relaxed but attentive.”
—Raymond Chandler (1888–1959)
“... though mathematics may teach a man how to build a bridge, it is what the Scotch Universities call the humanities, that teach him to be civil and sweet-tempered.”
—Amelia E. Barr (1831–1919)