With this book Ian Hacking climbed the ladder to the top of my list of favorite philosophers, second only to the great Bertrand Russell. The focus on proofs and applications in the context of contingent developments in mathematics, its method, and philosophy is refreshing and rare among books on the philosophy of mathematics. I fully recommend reading it (more than just once)!