[guyomes]

Logicomix [1]. It's a nice comic book focusing on the formalisation of mathematics, starting at the end of the 19th century. This was a foundational quest to solve paradoxes such as the Russel paradox [2]. This also rised questions such as "can everything be proved"?

[1] https://en.wikipedia.org/wiki/Logicomix

[2] https://en.wikipedia.org/wiki/Russell%27s_paradox

[kevinwang]

Oh I would second this recommendation. I really really liked logicomix! I hope they make another about computer science!