Computability Theory and Applications The Art of Classical Computability
Description
This book emphasizes three very important concepts: computability, as opposed to recursion or induction; classical computability, i.e., algorithmic functions on certain countable structures in the original sense of Turing and Post; and the art of computability, i.e., a skill to be practiced, but also important an esthetic sense of beauty and taste in mathematics.
Keywords
ComputersComputer ScienceData ScienceMathematicsLogicInformation TechnologyDiscrete MathematicsHistory & Philosophy
2016Book
Author(s)Robert I. Soare
PublisherSpringer Berlin Heidelberg
ISBN9783642319327
LanguageEnglish
