Discover / Book
The undecidable
Martin Davis · 1965 · 440 pages
Gödel's theoremRecursive functionsTurning machinesTuring machinesComputable functionsUnsolvability (Mathematical logic)
As an Amazon Associate we earn from qualifying purchases. Some book links are affiliate links; you pay the same price and we may earn a small commission.
About this book
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians.
Appears in these reading paths
Best Books on Godel's Incompleteness Theorems, in Order
Beginner14books106 hrs5 stages
Related reading guides
Reader reviews
Ratings and notes from readers — tagged with how deep into the subject they were.
Loading reviews…