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.