I recently read 'Incompleteness: The Proof and Paradox of Kurt Gödel' by Rebecca Goldstein [1], I highly recommend it for those interested in learning more about his life and the proof itself.

1.https://smile.amazon.com/Incompleteness-Proof-Paradox-G%C3%B...