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 An Etymological Dictionary of Modern English, Vol. 1 by Kurt Gödel
Cover of the book Fanciful Victorian Initials by Kurt Gödel
Cover of the book Thornton Burgess Five-Minute Bedtime Tales by Kurt Gödel
Cover of the book The Patchwork Girl of Oz by Kurt Gödel
Cover of the book Lectures on Boolean Algebras by Kurt Gödel
Cover of the book Thermodynamics by Kurt Gödel
Cover of the book The Aran Islands by Kurt Gödel
Cover of the book The First Men in the Moon by Kurt Gödel
Cover of the book Demian by Kurt Gödel
Cover of the book The Great Anarchists by Kurt Gödel
Cover of the book Slime 101 by Kurt Gödel
Cover of the book Axiomatic Set Theory by Kurt Gödel
Cover of the book Anarchism by Kurt Gödel
Cover of the book Greek and Roman Architecture in Classic Drawings by Kurt Gödel
Cover of the book The Nature and Power of Mathematics 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