Video Lectures

Take a deep dive into the history of Gödel's theorem with Juliette Kennedy, a frequent IAS Visitor in the School of Historical Studies and a faculty member at the University of Helsinki, where she explores her interest in mathematical logic and the foundations of mathematics. She has published extensively on the works of Kurt Gödel, whose incompleteness theorem is explored in this lecture.

Online learning is a popular framework for sequential prediction problems. The standard approach to analyzing an algorithm's (learner's) performance in online learning is in terms of its empirical regret defined to be the excess loss suffered by the...

We make the case that over the coming decade, computer assisted reasoning will become far more widely used in the mathematical sciences. This includes interactive and automatic theorem verification, symbolic algebra, and emerging technologies such...

The importance of analyzing big data and in particular very large networks has shown that the traditional notion of a fast algorithm, one that runs in polynomial time, is often insufficient. This is where property testing comes in, whose goal is to...