This was a particularly difficult book to read because of the technical nature of its exegesis.
Wang presents an astounding depth as he explores computers, logic, sets and number theory. Often he is purely analytical. Sometimes he explains the philosophy behind the thinking. Too often though, for me, he does not explain concepts before modifying them in his examples -- assuming that you already understand something about the theory that he is speaking of.
What was particularly interesting is that he seems to be able to find strange intersections between competing varieties of the same domain -- different theories of numbers for example, leads to different configurations of properties available for each theory. This was often over my head.
He also drew conclusions from technical nuances, such as with different varieties of the Turing machine. I am not sure what to do with these ideas since they seemed embedded in thought systems that I have no deep knowledge in. This book is definitely worth looking into in-depth later, when I have a better foundation. But it is also doubtful that more than a few hundred people in the world could understand the entirety of what Wang has outlined in this text.