Computability Theory
Chapman & Hall/CRC (Verlag)
978-1-4398-3843-3 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
Designed for advanced undergraduate or beginning graduate students, this book provides a complete introduction to computability theory. This second edition includes new material on hyperarithmetical and Borel sets as well as more material on computability of structures, Pi-0-1 classes, and computability in science. It features an expanded treatment of complexity of computations and updated future directions in computability. In addition, the section on randomness is now a separate chapter. The author also discusses advanced topics in greater depth, including Post's problem, forcing and category, applications of determinacy, and the computability of theories.
S. Barry Cooper is a professor in the Department of Pure Mathematics at the University of Leeds, UK.
COMPUTABILITY AND UNSOLVABLE PROBLEMS Hilbert and the Origins of Computability Theory Models of Computability and the Church-Turing Thesis Language, Proof and Computable Functions Coding, Self-Reference and the Universal Turing Machine Enumerability and Computability The Search for Natural Examples of Incomputable Sets Comparing Computability and the Ubiquity of Creative Sets Godel's Incompleteness Theorem Decidable and Undecidable Theories INCOMPUTABILITY AND INFORMATION CONTENT Computing with Oracles Nondeterminism, Enumerations and Polynomial Bounds Complexity of Computations MORE ADVANCED TOPICS Post's Problem: Immunity and Priority Forcing and Category The Computability of Theories Randomness Computability and Structure Computability and Incomputability in Science
| Erscheint lt. Verlag | 15.5.2017 |
|---|---|
| Reihe/Serie | Chapman Hall/CRC Mathematics Series ; v. 26 |
| Zusatzinfo | 50 black & white illustrations |
| Sprache | englisch |
| Maße | 156 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 1-4398-3843-7 / 1439838437 |
| ISBN-13 | 978-1-4398-3843-3 / 9781439838433 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
