Image Not Available

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

GÖDEL, Kurt (1906-1978):

Published by New York: Basic Books, 1962.
Used Hardcover
From Ted Kottler, Bookseller (Redondo Beach, CA, U.S.A.)

AbeBooks Seller Since January 5, 2002

Quantity Available: 1

Buy Used
Price: US$ 250.00 Convert Currency
Shipping: US$ 6.50 Within U.S.A. Destination, Rates & Speeds
Add to basket

30 Day Return Policy

About this Item

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). Bookseller Inventory # 14960

Bibliographic Details

Title: On Formally Undecidable Propositions of ...

Publisher: New York: Basic Books, 1962.

Binding: Hardcover

Edition: 1st Edition

Store Description

Visit Seller's Storefront

Terms of Sale:

CREDIT CARD ORDERS MAY ONLY BE ACCEPTED ON BEHALF OF ABE. Personal/bank/traveler's checks (made payable to Ted Kottler), money orders, international money orders are fine. All books are First Editions, in original cloth bindings, and in Very Good or better condition, unless otherwise noted. Returns: with prior notice and within 10 days. I am always interested in purchasing First Editions of scholarly, hardcover books in the history of science and the history of medicine, as well as First Edition...

More Information
Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check Money Order Cash Bank Draft