Opening book details…
Can I read Computability Theory (Student Mathematical Library) (Student Mathematical Library, 62) on EtoBox?
Computability Theory (Student Mathematical Library) (Student Mathematical Library, 62) by Rebecca Weber is a nonfiction available to read on EtoBox.
What is Computability Theory (Student Mathematical Library) (Student Mathematical Library, 62) about?
"What can we compute--even with unlimited resources? Is everything within reach? Or are computations necessarily drastically limited, not just in practice, but theoretically? These questions are at the heart of computability theory. The goal of this book is to give the reader a firm grounding in the fundamentals of computability theory and an overview of currently active areas of research, such as reverse mathematics and algorithmic randomness. Turing machines and partial recursive functions are explored in detail, and vital tools and concepts including coding, uniformity, and diagonalization are described explicitly. From there the material continues with universal machines, the halting problem, parametrization and the recursion theorem, and thence to computability for sets, enumerability, and Turing reduction and degrees. A few more advanced topics round out the book before the chapter on areas of research. The text is designed to be self-contained, with an entire chapter of preliminary material including relations, recursion, induction, and logical and set notation and operators. That background, along with ample explanation, examples, exercises, and suggestions for further read
Who reads Computability Theory (Student Mathematical Library) (Student Mathematical Library, 62)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Rebecca Weber
- Publisher
- American Mathematical Society
- Published
- 2012
- Language
- EN
- ISBN
- 9780821885437
- Category
- nonfiction
- Subjects
- Mathematics, Stem
More by Rebecca Weber
Browse all works by Rebecca Weber
Similar books
- Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability (Student Mathematical Library) (Student Mathematical Library, 88) — Maruti Ram Murty; Brandon Fodden (2019)
- Mathematical Modelling: A case studies approach (Student Mathematical Library) (STUDENT MATHEMATICAL LIBRARY, 27) — Reinhard Illner; REINHARD AUTOR ILLNER; C. Sean Bohun; Samantha McCollum; Thea van Roode (2005)
- Computability and Complexity Theory || — Steven Homer, Alan L. Selman (auth.) (2001)
- Invariant Theory (Student Mathematical Library) (Student Mathematical Library, 36) — Mara Dicle Neusel (2006)
- Turing Computability: Theory and Applications (Theory and Applications of Computability) — Robert I. Soare (auth.) (2016)
- Introduction to Representation Theory (Student Mathematical Library, 59) — Pavel I. Etingof; Oleg Golberg; Sebastian Hensel; Tiankai Liu; Alex Schwendner; Dmitry Vaintrob; Elena Yudovina (2011)