The Undecidable
Book • 1965
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions is an anthology edited by Martin Davis, featuring key works by major figures in the field, including Gödel, Church, and Turing.
It explores foundational issues in logic, computability, and the limits of mathematical systems.
The book provides a comprehensive overview of undecidability and unsolvability, making it a valuable resource for those interested in mathematical logic and theoretical computer science.
It explores foundational issues in logic, computability, and the limits of mathematical systems.
The book provides a comprehensive overview of undecidability and unsolvability, making it a valuable resource for those interested in mathematical logic and theoretical computer science.
Mentioned by
Mentioned in 0 episodes
Mentioned by 
Curt Jaimungal as a book containing articles on undecidable propositions, unsolvable problems, and uncomputable functions.
Curt Jaimungal as a book containing articles on undecidable propositions, unsolvable problems, and uncomputable functions.
Edward Frenkel: Infinity, String Theory, Death, The Self
