Addresses various ways computability & theoretical computer science enable scientists & philosophers to deal with mathematical & real-world issues. This book covers problems related to logic, mathematics, physical processes, real computation & learning theory.