I loved this book when I was young. Like 16 years old or so. I am still very interested in things like formal systems and automated theorem proving and that started with this book. However, when I now look at the main idea of the book I find it quite cringeworthy, because, besides when he is speaking about real mathematics and science, much of it is very speculative and probably just false. At best it can be thought provoking, but I think it is just not very nice to immediately answer the some very real questions with highly speculative answers. It snared up the admiration of my 16-year-old self pretty effectively, though.