I Am a Strange Loop
Artificial Intelligence: A Guide for Thinking Humans
Gödel's Proof
The Mind's I: Fantasies And Reflections On Self & Soul
The Signal and the Noise: Why So Many Predictions Fail--but Some Don't
Algorithms to Live By: The Computer Science of Human Decisions
Introduction to Mathematical Philosophy
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Surfaces and Essences: Analogy as the Fuel and Fire of Thinking
Chaos: Making a New Science