Skip to main content
It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.

Logicomix: Videos

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.