Have you ever wondered what makes computation so powerful? What are the limits to the problems computers can solve, even in theory? What's the computational power of 'proofs with small allowed error'? How do you show exactly how hard a function is to compute with circuits? If so, this course is for you! We'll explore many beautiful -- some (Steven Rudich) might even call them Great -- ideas in theoretical computer science. If you enjoy thinking about computation and love math sign up!

What motivates humans: infants, scientists, and artists alike? What is humanity’s objective? For artificial intelligence to act in this world, what should they have as a goal? In this class you'll learn to understand the mathematical principle to explain the pursuit of beauty, novelty, creativity, art, and science. We will uncover the universal objective that will allow us to create self-driven artificial intelligence. Along that path we’ll delve into Kolmogorov complexity, information theory, provably optimal actions, reinforcement learning (and predictive models), among many other topics!