On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Nonfiction, Science & Nature, Mathematics, Logic
Cover of the book On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel, Dover Publications
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Kurt Gödel ISBN: 9780486158402
Publisher: Dover Publications Publication: May 24, 2012
Imprint: Dover Publications Language: English
Author: Kurt Gödel
ISBN: 9780486158402
Publisher: Dover Publications
Publication: May 24, 2012
Imprint: Dover Publications
Language: English

In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics.
The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument.
This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics.
The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument.
This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.

More books from Dover Publications

Cover of the book The Theory of Groups by Kurt Gödel
Cover of the book Conformal Mapping by Kurt Gödel
Cover of the book Unholy Dying by Kurt Gödel
Cover of the book Figure Drawing by Kurt Gödel
Cover of the book Differential Calculus and Its Applications by Kurt Gödel
Cover of the book The Seven Against Thebes by Kurt Gödel
Cover of the book Wildlife Sketching: Pen, Pencil, Crayon and Charcoal by Kurt Gödel
Cover of the book Abstract Sets and Finite Ordinals by Kurt Gödel
Cover of the book Early L. & J. G. Stickley Furniture by Kurt Gödel
Cover of the book Food and Drink by Kurt Gödel
Cover of the book Jerry Thomas' Bartenders Guide by Kurt Gödel
Cover of the book Pleasures and Days and "Memory" / Les Plaisirs et les Jours et "Souvenir" Short Stories by Marcel Proust by Kurt Gödel
Cover of the book Memoirs of a Revolutionist by Kurt Gödel
Cover of the book Optics and Optical Instruments by Kurt Gödel
Cover of the book On Christian Doctrine by Kurt Gödel
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy