๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Computability and unsolvability

โœ Scribed by Martin Davis

Book ID
127454428
Publisher
Dover Publications
Year
1985
Tongue
English
Weight
2 MB
Series
Mcgraw-Hill Series in Information Processing and Computers.
Edition
New edition
Category
Library
ISBN
0486614719

No coin nor oath required. For personal study only.

โœฆ Synopsis

Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.<br

๐Ÿ“œ SIMILAR VOLUMES

Computability and Unsolvability.
Computability and Unsolvability.
โœ Stob, Michael; Davis, Martin ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› Mathematical Association of America ๐ŸŒ English โš– 485 KB
Computability and logic
Computability and logic
โœ George S. Boolos, John P. Burgess, Richard C. Jeffrey ๐Ÿ“‚ Library ๐Ÿ“… 2002 ๐Ÿ› Cambridge University Press ๐ŸŒ English โš– 2 MB

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional topics f

Computability and Logic
Computability and Logic
โœ George S. Boolos, John P. Burgess, Richard C. Jeffrey ๐Ÿ“‚ Library ๐Ÿ“… 2007 ๐Ÿ› Cambridge University Press ๐ŸŒ English โš– 2 MB

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing