On: Gödel's Incompleteness Theorems (2015)

[matt_morgan]

If you're interested in this and you haven't read Logicomix,

https://en.wikipedia.org/wiki/Logicomix

get it at your library now.

http://www.worldcat.org/title/logicomix/oclc/708346776&refer...

[osullivj → matt_morgan]

Great comic book treatment of the Frege - Russell - Godel story. Strongly recommended.

[Y_Y → osullivj]

They do mention this in the book, but it does take artistic license with some of the history.