Logicomix: an epic search for truth
The making of Logicomix Part 1/3
An algorithmic view of the universe
The making of Logicomix 2/3
Wittgenstein, Wheeler and Wallace
The making of Logicomix 3/3
Christos Papadimitriou: 'Logicomix'/ talks at Google
Christos: 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.