Recently found by viaLibri....
2021-01-03 22:24:20
Gödel, Kurt
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Oliver & Boyd (1962), London. Small 8vo. [6], vii-viii, 1-72 pp. Bound in tan cloth with brown lettering on the spine. Translated by B. Meltzer, with an introduction by R. B. Braithwaite. This is the first edition in English of one of Godel's landmark works, originally published in German in 1931 as "Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I" in the journal Monatshefte fur Mathematik und Physik. The principal result in this work is generally known as Godel's Incompleteness Theorem which is a proof that any consistent formal system S which includes the standard axioms of arithmetic (as axioms or theorems) is incomplete, that is, there is some proposition P in the system S such that neither P nor its negation is provable in S (in other words, there must a proposition which is either true or false, but which cannot be proven in S). Kurt Gödel won the first Albert Einstein award in 1951, was awarded the National Medal of Science in 1974, and is regarded as one of the greatest and most influential mathematicians in all of history. Slater 345; Kline 1206-1207. A very nice example of Godel's second book, one of the true milestones in the history of mathematics. Very near Fine in a Near Fine dust jacket with some minor wear to the extremities. [Attributes: First Edition; Hard Cover; In Dust Jacket]
Bookseller: Evening Star Books, ABAA/ILAB [Madison, WI, U.S.A.]
Check availability:

Search for more books on viaLibri

LINK TO THIS PAGE: https://www.vialibri.net/years/books/279133327/1962-godel-kurt-on-formally-undecidable-propositions-of-principia

Browse more rare books from the year 1962