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.