list of detailed accounts of people making discoveries

[riceissa]

Leon Henkin's "The Discovery of My Completeness Proofs" got me thinking that there must be other firsthand accounts of discoveries that are at least as detailed. I would like to make a list of these, with maybe summaries/key points of each.

Note: there are other kinds of writings that can be mistaken for this genre; I'm not sure how much I am interested in these other kinds of writings. To give examples:

• list of tips/tricks for making discoveries, written by people who have made discoveries; example: http://lesswrong.com/lw/1g4/tips_and_tricks_for_answering_hard_questions/
• a second-hand reconstruction of a discovery using the notes/drafts of the person who made the discovery
• rumors/anecdotes of how someone made a discovery
• what Eliezer calls "excellence pornography"
• a significantly compressed/distilled first-hand account of someone making a discovery

[riceissa]

I think this is also a good example: https://www.greaterwrong.com/posts/iBBK4j6RWC7znEiDv/history-of-the-development-of-logical-induction

[riceissa]

https://www.scottaaronson.com/blog/?p=4229#comment-1813116

[riceissa]

maybe https://lamport.azurewebsites.net/tla/paxos-algorithm.html (i haven't watched the videos) "In them, I present a rigorous development of the Paxos consensus algorithm that formalizes the thinking I believe led me to discover it"