skip to content
Undecidable theories Preview this item
ClosePreview this item
Checking...

Undecidable theories

Author: Alfred Tarski; Andrzej Mostowski; Raphael M Robinson
Publisher: Mineola, N.Y. : Dover Publications, 2010.
Series: Dover books on mathematics.
Edition/Format:   Book : English : Dover edView all editions and formats
Database:WorldCat
Summary:
"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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Alfred Tarski; Andrzej Mostowski; Raphael M Robinson
ISBN: 9780486477039 0486477037
OCLC Number: 468972309
Notes: Originally published: Amsterdam : North-Holland Pub., 1953.
Description: ix, 98 p. : ill. ; 22 cm.
Series Title: Dover books on mathematics.
Responsibility: Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson.
More information:

Abstract:

"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." --from back cover.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

All user tags (5)

View most popular tags as: tag list | tag cloud

Similar Items

Related Subjects:(1)

User lists with this item (1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/468972309>
library:oclcnum"468972309"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/468972309>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:bookEdition"Dover ed."
schema:contributor
schema:contributor
schema:creator
schema:datePublished"2010"
schema:description""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." --from back cover."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/1356621>
schema:inLanguage"en"
schema:name"Undecidable theories"@en
schema:numberOfPages"98"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.