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 103 Great Poems by Kurt Gödel
Cover of the book The Architecture of McKim, Mead & White in Photographs, Plans and Elevations by Kurt Gödel
Cover of the book Krazy Kat, A Jazz Pantomime for Piano by Kurt Gödel
Cover of the book Analytical Geometry of Three Dimensions by Kurt Gödel
Cover of the book The Chicago World's Fair of 1893 by Kurt Gödel
Cover of the book History of the Theory of Numbers, Volume II by Kurt Gödel
Cover of the book Popular Lectures on Mathematical Logic by Kurt Gödel
Cover of the book Heraldry: A Pictorial Archive for Artists and Designers by Kurt Gödel
Cover of the book Goblin Market and Other Poems by Kurt Gödel
Cover of the book The English Castle by Kurt Gödel
Cover of the book Dreams of the Rarebit Fiend by Kurt Gödel
Cover of the book The Declaration of Independence and Other Great Documents of American History by Kurt Gödel
Cover of the book John Ransom's Civil War Diary by Kurt Gödel
Cover of the book 2,001 Palabras Inglesas Mas Utiles para Hispanoparlantes by Kurt Gödel
Cover of the book Say It in Italian 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