Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

To celebrate the 270th anniversary of the De Gruyter publishing house, the company is providing permanent open access to 270 selected treasures from the De Gruyter Book Archive. Titles will be made available to anyone, anywhere at any time that might be interested. The DGBA project seeks to digitize the entire backlist of titles published since 1749 to ensure that future generations have digital access to the high-quality primary sources that De Gruyter has published over the centuries.

Algebra, Abstract. --- Abstract algebra --- Algebra, Universal --- Logic, Symbolic and mathematical --- Set theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical --- Mathematics --- Problems, exercises, etc --- Problems, exercises, etc

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Philosophy of science --- Science --- Logic, Symbolic and mathematical --- Sciences --- Logique symbolique et mathématique --- Philosophy --- Philosophie --- Lakatos, Imre, , --- Logic, symbolic and mathematical --- Lakatos, Imre --- -Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Natural science --- Science of science --- Logic, Symbolic and mathematical. --- Philosophy. --- Logique symbolique et mathématique --- Normal science --- Lakatos, Imre. --- Lakatos, Imre, --- Science - Philosophy --- Lakatos, Imre, - 1922-1974

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Logic, symbolic and mathematical --- 510.6 --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical. --- 510.6 Mathematical logic --- Logique symbolique et mathématique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic 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.

-Algebra of logic --- Logic, Symbolic and mathematical --- Mathematics --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Math --- Philosophy --- Logic, Symbolic and mathematical. --- Philosophy. --- Logique symbolique et mathématique --- Mathématiques --- Philosophie --- Algebra of logic --- Logic of mathematics --- Mathematics, Logic of --- Logic, symbolic and mathematical --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique mathématique --- Arts and Humanities --- Mathematics - Philosophy --- Logique mathematique --- Theorie de la preuve