Turing Computability: Theory And Applications

Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents classical computability theory from Turing and Post to current results and methods, and their use in studying the information content of algebraic structures, models, and their relation to Peano arithmetic.

• | By (Author): Robert I. Soare
• | Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• | Publication Date: Jun 28, 2016
• | Country of Publication: Germany
• | Number of Pages: 263 pages
• | Language: Unknown
• | Binding: Hardback
• | ISBN-10: 3642319327
• | ISBN-13: 9783642319327