Discover / Book
The undecidable

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.

Appears in these reading paths

Related reading guides

Reader reviews

Ratings and notes from readers — tagged with how deep into the subject they were.

Loading reviews…

Discussion