2368 On Formally Undecidable Propositions of Principia Mathematica and Related Systems; Translated by B. Meltzer. Kurt Gödel.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems; Translated by B. Meltzer.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems; Translated by B. Meltzer.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems; Translated by B. Meltzer.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems; Translated by B. Meltzer.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems; Translated by B. Meltzer.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems; Translated by B. Meltzer.

On Formally Undecidable Propositions of Principia Mathematica and Related Systems; Translated by B. Meltzer.

New York: Basic Books Inc., 1962. First American Edition. 8vo, 7 1/4 x 5 inches (185 x 125 mm); viii, 72 pp. with formulas in the text. Yellow paper boards with blue cloth spine and gilt title on spine and on blue paper label on front board.
Light browning to endpapers, slight toning to covers and spine. Pages clean and binding tight.

First American edition of this milestone in the history of modern logic and mathematics. This edition includes a preface by R. B. Braithwaite (1900-1990), Knightbridge Professor of Moral Philosophy at Cambridge. The theorems were originally published in Monatshefte für Mathematik in 1931. The book is both a technical mathematical work and a philosophical statement about the limits of formal systems, showing that mathematics is inherently incomplete and that absolute certainty within a single axiomatic system is impossible. It is considered one of the most profound results in 20th-century logic and the foundation for much of modern theoretical computer science and mathematical philosophy.

Condition: Near Fine.

Item number: 2368

Price: $250.00

Share:
See all items by