Brilliant book that. The way he explains how a polished rigorous proof hides the process(compared with frontend and kitchen views of a restaurant) by which a ma

Brilliant book that. The way he explains how a polished rigorous proof hides the process(compared with frontend and kitchen views of a restaurant) by which a mathematician has arrived at it changed my perception of how mathematics is done. I notice the same phenomena in programming too. The final piece of code that works doesn't reflect all the failed attempts at solving a problem. This is why I tend to not delete/clear cells at all from my jupyter notebooks. :) It is always informative/fun to refer to them at a later point in time to relive that problem solving experience. PS: In case you haven't, you should try Proofs and Refutations by Lakatos. Edit: Fixed name of the book mentioned and added some text.