This is a bit of a rushed review after reading about 2/3 of the book and after seeing its low rating here due to a 1 star review. I will update it when I am finished the book. This is a fascinating book, not exactly on what one normally knows of mathematics, but on what mathematics really is - and why it is. Traversing the history of maths from rudimentary counting to formalism and Godel and further, he analyses questions such as: how mathematics came to be - or did it exist and we just found it; did we evolve in such a way as to inherently understand it? His arguments are well thought out and well proposed and I cannot remember the last time I enjoyed a book on maths so much. That said - it is very tough going at times trying to keep track of the differences between the major philosophies - inventionism, formalism, intuitionism and so on. But hopefully worth it :)
so ... I hugely recommend this book ...