Thursday, October 01, 2009


I just ordered Logicomix, written by Apostolos Doxiadis and Christos H. Papadimitriou. It's a "comic book" on: the quest for logical certainty in mathematics, Bertrand Russell's quest for mathematical certainty, an attempt to prove that 1+1=2, a visit to Hilbert's Hotel (William Lane Craig fans rejoice!), Russell's "paradox of the set of all sets that don’t contain themselves as members," Cantor's fits of insanity, with visits from Frege, Whitehead, Adolf Hitler, and a powerful enemy called "Dark Antinomy."

See the review here.