The undecidable
The undecidable
Davis, Martin
Details
OL Work ID
OL18320067W
Subjects
Turing machines
Recursive functions
Computable functions
Unsolvability (Mathematical logic)
Gödel's theorem
Goedel's theorem
Find this book
Open Library