I recently read this book about circle checking and more. It's quite good but if you're not into math/history/philosophy then I think OP is talking about this.
