This was a tough book to read on what I thought would be an interesting subject when I bought the book.
The book discuss subjects like paradoxes, mathematics and computation and their intersection with philosophy and outlines the borders where the known ends and uncertainty takes over.
As such it is a book I would recommend to anyone in science, as well as anyone in technology, especially in over hyped areas like artificial intelligence.
The book turned out slightly different than expected: From the title, I had assumed to find a list of things that "we can never know", and -- being a follower of Hilbert -- I was more than sceptical.
Instead, the author delivers what in another genre would have been a collection of anecdotes: more or less disjointed facts, all in some way connected to limitations of understanding. There are classic paradoxes, Gödel's incompleteness theorem, NP-hardness, and the halting problem. There are some metaphysical questions as well as the more counterintuitive aspects of quantum mechanics. In the end, all of this is stuff that an educated person should know about, there's very little that,'s truly unknowable: the paradoxes conjure up situations that are actually impossible; quantum mechanics is, for the most part, well understood (it just doesn't agree with common sense): and undecidability and infeasibility in computer science pertains to general …
The book turned out slightly different than expected: From the title, I had assumed to find a list of things that "we can never know", and -- being a follower of Hilbert -- I was more than sceptical.
Instead, the author delivers what in another genre would have been a collection of anecdotes: more or less disjointed facts, all in some way connected to limitations of understanding. There are classic paradoxes, Gödel's incompleteness theorem, NP-hardness, and the halting problem. There are some metaphysical questions as well as the more counterintuitive aspects of quantum mechanics. In the end, all of this is stuff that an educated person should know about, there's very little that,'s truly unknowable: the paradoxes conjure up situations that are actually impossible; quantum mechanics is, for the most part, well understood (it just doesn't agree with common sense): and undecidability and infeasibility in computer science pertains to general problems only -- deciding the halting problem for a given program can actually be quite doable. And even Gödel might be circumvented with extra axioms.
