"Logicomix"という本を読んでみた．初版は2009年と少し前の作品． ある方に教えていただき，英語版を購入した（日本語には翻訳されていないらしい）． Logicomix: An Epic Search for Truth 作者: Apostolos Doxiadis,Christos H. Papadimitriou 出版社/メー…