Addresses various ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues. This book covers problems related to logic, mathematics, physical processes, real computation and learning theory.
1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. 3. The Ershov hierarchy / M.M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonifaci, & B. Escoffier …
Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms…
