On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Translated by B. Meltzer. Introduction by R. B. Braithwaite.

Published by New York: Basic Books, 1962.

  • First Edition
  • Hardcover
  • Used
See all details

Seller: Ted Kottler, Bookseller, Redondo Beach, CA, U.S.A.Ted Kottler, Bookseller

3-star seller

AbeBooks seller since January 5, 2002

View this seller's items
Hardcover

Condition: Used

£ 190.60

£ 9.40 shipping 
Ships within U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

First Edition in English, American issue, of 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme' (Monatshefte fur Mathematik und Physik, xxxviii (1931), pp. 173-98). viii, 72 pp. Original cloth-backed boards. Lower corner of rear board slightly bumped and cracked, paper clip attached to p. 33/34. Else Very Good, without dust jacket. "Gödel is best known for his proof of 'Gödel's Incompleteness Theorems'. In 1931 he published these results in Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. He proved fundamental results about axiomatic systems, showing in any axiomatic mathematical system there are propositions that cannot be proved or disproved within the axioms of the system. In particular the consistency of the axioms cannot be proved. This ended a hundred years of attempts to establish axioms which would put the whole of mathematics on an axiomatic basis. One major attempt had been by Bertrand Russell with Principia Mathematica (1910-13). Another was Hilbert's formalism which was dealt a severe blow by Gödel's results. The theorem did not destroy the fundamental idea of formalism, but it did demonstrate that any system would have to be more comprehensive than that envisaged by Hilbert. Gödel's results were a landmark in 20th-century mathematics, showing that mathematics is not a finished object, as had been believed. It also implies that a computer can never be programmed to answer all mathematical questions" (MacTutor History of Mathematics Web site).

Seller Inventory # 14960

Bibliographic details

Title
On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Translated by B. Meltzer. Introduction by R. B. Braithwaite.
Author
GÖDEL, Kurt (1906-1978):
Publisher
New York: Basic Books, 1962.
Binding
Hardcover
Edition
1st Edition

Ted Kottler, Bookseller

Redondo Beach, CA, U.S.A.

3-star seller

AbeBooks seller since January 5, 2002

Shipping rates within U.S.A.

Item7 to 10 business days3 to 5 business days
First item£ 9.40£ 16.28
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Draft
  • Cash
  • Check
  • Money Order

Store description

I specialize in modern books on economics, science and philosophy, with an additional emphasis on scholarly books of all kinds.

Specialty

Neurology/Psychology, Medicine, Biology, Physical Sciences, Art History: Antiquity through the Renaissance, Economics, Philosophy & Religion: Antiquity through the Renaissance, History of Mathematics, History of Science, History of Medicine

Seller's business information

Ted Kottler, Bookseller

CA, U.S.A.