Kurt Gödel and Computer Science

Abstract

Kurt Goedel had a basic interest in computation, and his research over the years has greatly influenced the development of computers and the science of computing. In this talk I will survey some fundamental connections between Goedel's work and current research in Theoretical Computer Science.