On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
First American edition, first printing of Kurt Gödel's landmark work introducing the incompleteness theorems, among the most influential mathematical discoveries of the twentieth century. First published in German in 1931, the work demonstrated that any sufficiently powerful formal mathematical system contains true propositions that cannot be proved within the system itself, fundamentally reshaping modern logic, the philosophy of mathematics, and theoretical computer science. Translated by B. Meltzer, with an introduction by R.B. Braithwaite.
New York: Basic Books, 1962. Publisher's yellow paper boards with blue cloth spine, gilt title on spine, blue paper label on front board; pp. viii, 72. About very good. Binding remains tight, sturdy and square. Minimal shelfwear to boards, with scattered toning and rubbing to boards. Owner's name to front pastedown, else internally clean.