Turing Computability Theory and Applications

• Main Author: Soare, Robert I
• Format: eBook Book
• Language: English
• Published: Berlin, Heidelberg Springer Nature 2016; Springer; Springer Berlin / Heidelberg; Springer Berlin Heidelberg
• Edition: 1
• Series: Theory and Applications of Computability
• Subjects: Computable functions; Computer Science; Data processing Computer science; Logic, Symbolic and mathematical; Mathematical Logic and Foundations; Mathematics of Computing; Theory of Computation

This book emphasizes three very important concepts: computability, as opposed to recursion or induction; classical computability; and the art of computability, a skill to be practiced but also important in an esthetic sense of beauty and taste in mathematics.