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.
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.