Computability theory (eBook, 2004) [WorldCat.org]
skip to content
Computability theory Preview this item
ClosePreview this item
Checking...

Computability theory

Author: S B Cooper
Publisher: Boca Raton : Chapman & Hall/CRC, ©2004.
Series: Chapman & Hall/CRC mathematics.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
"Computability Theory presents a comprehensive, highly readable introduction to contemporary computability theory, techniques, and results. The author places the basic concepts and techniques in their historical, philosophical, and logical contexts, and offers an unusual breadth of coverage, including a number of advanced topics not usually addressed in books at this level. The result is an invaluable text,  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic book
Electronic books
Additional Physical Format: Print version:
Cooper, S.B. (S. Barry).
Computability theory.
Boca Raton : Chapman & Hall/CRC, ©2004
(DLC) 2003055823
(OCoLC)52860108
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: S B Cooper
ISBN: 9781315275789 1315275783 9781420057560 1420057561 1584882379 9781584882374
OCLC Number: 1003289717
Description: 1 online resource (ix, 409 pages) : illustrations
Contents: pt. I. Computability and Unsolvable Problems --
1. Hilbert and the Origins of Computability Theory --
2. Models of Computability and the Church-Turing Thesis --
3. Language, Proof and Computable Functions --
4. Coding, Self-Reference and the Universal Turning Machine --
5. Enumerability and Computability --
6. The Search for Natural Examples of Incomputable Sets --
7. Comparing Computability and the Ubiquity of Creative Sets --
8. Godel's Incompleteness Theorem --
9. Decidable and Undecidable Theories --
pt. II. Incomputability and Information Content --
10. Computing with Oracles --
11. Nondeterminism, Enumerations and Polynomial Bounds --
pt. III. More Advanced Topics --
12. Post's Problem: Immunity and Priority.
Series Title: Chapman & Hall/CRC mathematics.
Responsibility: S. Barry Cooper.
More information:

Abstract:

Offers an introduction to contemporary computability theory, techniques, and results. This book places the basic concepts and techniques of computability theory in their historical, philosophical and  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"A very nice volume indeed. Although primarily a textbook, it lives up to the author's aim to have 'plenty here to interest and inform everyone, from the beginner to the expert.' ... Cooper writes in Read more...

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

Tags

Be the first.
Confirm this request

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

Close Window

Please sign in to WorldCat 

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