The Universal Computer by Martin D. Davis
The Road from Leibniz to Turing
A concise history of the quest to mechanize reasoning, tracing the path from early dreams of symbolic calculation through the rise of formal logic and set theory to twentieth-century breakthroughs that defined computability. It explains how efforts to settle the Entscheidungsproblem led to the concepts of the universal machine and the recognition of fundamental limits on what algorithms can do. Along the way, it shows how abstract logical ideas laid the foundations of modern computer science.
Purchase from
Bookshop.org
- Published
- 2000
- Nationality
- American
- Length
- Medium
- Pages
- 250-280
- Original Language
- English
- Avg User Rating
- No ratings yet
- Alternate Titles
- - Engines of Logic
This book is not currently on any lists.