Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Do...
US $6.18US $6.18
Sep 04, 09:02Sep 04, 09:02
Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Do...
US $6.18
ApproximatelyS$ 7.90
Condition:
Very Good
A book that has been read but is in excellent condition. No obvious damage to the cover, with the dust jacket included for hard covers. No missing or damaged pages, no creases or tears, and no underlining/highlighting of text or writing in the margins. May be very minimal identifying marks on the inside cover. Very minimal wear and tear.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Economy Shipping.
Located in: Interlochen, Michigan, United States
Delivery:
Estimated between Mon, 22 Sep and Fri, 26 Sep to 94104
Returns:
30 days return. Seller pays for return shipping.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:116763583239
Item specifics
- Condition
- Release Year
- 2010
- Book Title
- Undecidable Theories: Studies in Logic and the Foundation of M...
- ISBN
- 9780486477039
About this product
Product Identifiers
Publisher
Dover Publications, Incorporated
ISBN-10
0486477037
ISBN-13
9780486477039
eBay Product ID (ePID)
80055187
Product Key Features
Number of Pages
112 Pages
Language
English
Publication Name
Undecidable Theories : Studies in Logic and the Foundation of Mathematics
Publication Year
2010
Subject
History & Philosophy, Logic
Type
Textbook
Subject Area
Mathematics
Series
Dover Books on Mathematics Ser.
Format
Trade Paperback
Dimensions
Item Height
0.4 in
Item Weight
5.3 Oz
Item Length
8.2 in
Item Width
5.3 in
Additional Product Features
Intended Audience
College Audience
LCCN
2010-019851
Dewey Edition
22
Illustrated
Yes
Dewey Decimal
510.1
Table Of Content
I. A General Method in Proofs of Undecidability by Alfred Tarski I.1. Introduction I.2. Theories with standard formalization I.3. Undecidable and essentially undecidable theories I.4. Interpretability and weak interpretability I.5. Relativization of quantifiers I.6. Examples and applications II. Undecidability and Essential Undecidability in Arithmetic by Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski II.1. A summary of results; notation II.2. Definability in arbitrary theories II.3. Formalized arithmetic of natural numbers and its subtheories II.4. Recursiveness and definability in subtheories of arithmetic II.5. Undecidability of subtheories of arithmetic II.6. Extension of the results to other arithmetical theories and to various theories of rings III. Undecidability of the Elementary Theory of Groups by Alfred Tarski Bibliography Index
Synopsis
This book is well known for its proof that many mathematical systems -- including lattice theory and closure algebras -- are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups.", This well-known book by the famed logician consists of three treatises: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups." 1953 edition., This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, "A General Method in Proofs of Undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and Essential Undecidability in Mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the Elementary Theory of Groups."
LC Classification Number
QA9.T33 2010
As told to
Mostowski, Andrzej
Item description from the seller
Seller feedback (264,856)
This item (1)
All items (264,856)
- eBay automated feedback- Feedback left by buyer.Past monthOrder completed successfully—tracked and on time
- Automatyczna opinia eBay- Feedback left by buyer.Past monthZamówienie zostało zrealizowane – ze śledzeniem i na czas
- Automatyczna opinia eBay- Feedback left by buyer.Past monthZamówienie zostało zrealizowane – ze śledzeniem i na czas
- t***u (2256)- Feedback left by buyer.Past monthVerified purchaseExact condition as seller described - Thank you so much for preserving this historic book and offering it for sale. Will not go unused
Seller feedback (264,856)
This item (1)
All items (264,856)
- eBay automated feedback- Feedback left by buyer.Past monthOrder completed successfully—tracked and on time
- Automatyczna opinia eBay- Feedback left by buyer.Past monthZamówienie zostało zrealizowane – ze śledzeniem i na czas
- Automatyczna opinia eBay- Feedback left by buyer.Past monthZamówienie zostało zrealizowane – ze śledzeniem i na czas
- t***u (2256)- Feedback left by buyer.Past monthVerified purchaseExact condition as seller described - Thank you so much for preserving this historic book and offering it for sale. Will not go unused