Code Play a software blog by tim benke

Logicomix

I’ve read a few books recently, that deal with novelization of the beginnings of natural science and of mathematics and computers in particular. There’s a host of material available to the interested reader, that manages to bring some life into the rigid underpinnings of theoretical computer science and the Internet with the stories of the (mostly mad) people that created them. “Logicomix” (in english) is a graphic novel, although it has the name “comic” in it ;-). It tells the story of a group of mathematicians that established the foundations of mathematics by finding a formalization of logic, which allows to more precisely define the truth of a mathematical theorem. Moreover they defined more precisely what can be proven by mathematics (hint: not everything) and which aspects of everyday life can be described by formal logic.

Logicomix cover

Especially that last part, was a frequent cause and symptom of the mental drain on many logicians. The book even discusses this theme in a sort of meta level, where the authors discussion is depicted in the novel, too. Set in the end of the 19th century and the beginning of the 20th century up until the second world war, it’s not so difficult to imagine people going mad, but the “search for truth” turned many “mathematical giants” into mental asylum cases. Some start to descend into mysticism and Frege even became an anti-semit. We can be thankful, that today we have computers, because so many people wasted their mind on it.

Logicomix main character is Bertrand Russel, who was a great logician, philosopher and an outspoken pacifist. Russel avoided madness, perhaps not coincidentally because he mostly stopped working on logic after he turned 40 and turned to philosophy and pacifism. Moreover Logicomix is drawn in beautiful colors and weighs in at 344 pages which justifies it’s classification as graphic novel beside the “more serious” topic.

Links: The book’s website.