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 Stellar Evolution, Nuclear Astrophysics, and Nucleogenesis by Kurt Gödel
Cover of the book The Greatest Thing in the World and Other Writings by Kurt Gödel
Cover of the book Pictorial Archive of Decorative and Illustrative Mortised Cuts by Kurt Gödel
Cover of the book Heart of Darkness by Kurt Gödel
Cover of the book The Classical Revolution by Kurt Gödel
Cover of the book The Life and Opinions of Tristram Shandy, Gentleman by Kurt Gödel
Cover of the book The Logic of Machines and Structures by Kurt Gödel
Cover of the book The House by the Medlar Tree by Kurt Gödel
Cover of the book Chinese Lattice Designs by Kurt Gödel
Cover of the book Ghost Stories and Mysteries by Kurt Gödel
Cover of the book Creating Welded Sculpture by Kurt Gödel
Cover of the book Technical Manual and Dictionary of Classical Ballet by Kurt Gödel
Cover of the book Whitefoot the Wood Mouse by Kurt Gödel
Cover of the book Autobiography of St. Teresa of Avila by Kurt Gödel
Cover of the book Beethoven's Piano Playing 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