Avi Wigderson: Gödel, von Neumann, and Theoretical Computer Science
AbstractKurt Gödel and John von Neumann have both been at the Institute for Advanced Study from its very early years. Among the faculty of the school of Mathematics of that period they were unique in their strong interest in computation, and record shows they exchanged ideas of the subject. Their research and thoughts had tremendous influence on the computer revolution we all live today. In this talk I will focus on their impact on Theoretical Computer Science - the mathematical foundations of computing. I will introduce the audience to a few central areas of current research in this exciting field, and show some of their roots in Gödel's and von Neumann's work.