Logicomix | Christos Papadimitriou | Talks at Google
LOGICOMIX is about the quest for the foundations of mathematics in the beginning of the 20th century, the subtle ways in which its ultimate failure brought about the computer, and the curious fact that so many of its protagonists had serious brushes with insanity. My talk, in addition to introducing the book, will discuss Logic as one of the three intellectual currents which eventually brought us computation.
Christos Papadimitriou studied in Greece and at Princeton, and has taught at Harvard, MIT, Stanford, UCSD, and since 1996 at Berkeley, where he is the C. Lester Hogan Professor of Computer Science. His research is about algorithms and complexity, and their applications to a variety of fields such as databases, optimization, AI and robotics, game theory and economics, and evolution. He has published several of the standard textbooks in Computer Science, and the novel "Turing: a novel about computation." He is a member of the National Academy of Sciences, the National Academy of Enginering, and the American Academy of Arts and Sciences. His graphic novel "Logicomix," with Apostolos Doxiadis, art by Alecos Papadatos and Annie di Donna, topped the New York Times bestseller list of the genre for 11 weeks upon its publication in the fall of 2009.
http://www.logicomix.com/en/