Davis, Martin
Computability and Unsolvability (Mathematics Series)
- ISBN 13:
- 9780486614717
- author:
- Davis, Martin
- format:
- Paperback
- publisher:
- Dover Publications Inc.
- language:
- English
- Publication Year:
- 1983
- Pages:
- 248
- Genre:
- Mathematical theory of computation
- Condition:
- New
- supplier_id:
- 35
- Availability:
- Item usually sent within 7 working days
Description
A comprehensive survey of computability and unsolvability, this book presents a clear and well-presented exploration of an intriguing subject.
It covers key topics including general theory of computability, computable functions, mathematical logic, Kleene hierarchy, and the classification of unsolvable decision problems, making it a valuable resource for those interested in mathematics and logic.
Written by Martin Davis, this book is ideal for anyone looking to gain a deeper understanding of these complex concepts.