The Undecidable
E238241
UNEXPLORED
The Undecidable is a classic anthology edited by Martin Davis that collects foundational papers on computability, Gödel’s incompleteness theorems, and the limits of formal mathematical systems.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Martin Davis
→
|
notableWork |