Turing Computability Theory and Applications

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.

Saved in:
Bibliographic Details
Main Author Soare, Robert I
Format eBook Book
LanguageEnglish
Published Berlin, Heidelberg Springer Nature 2016
Springer
Springer Berlin / Heidelberg
Springer Berlin Heidelberg
Edition1
SeriesTheory 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
Online AccessGet full text
ISBN9783642319334
3642319335
9783642319327
9783662568583
3642319327
3662568586
ISSN2190-619X
2190-6203
DOI10.1007/978-3-642-31933-4

Cover

More Information
Summary: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.
Bibliography:Includes bibliographical references
ISBN:9783642319334
3642319335
9783642319327
9783662568583
3642319327
3662568586
ISSN:2190-619X
2190-6203
DOI:10.1007/978-3-642-31933-4