Date: 9-17-2025
Millennium Prize Problems Lecture | Michael Freedman, Harvard CMSA and Logical Intelligence | The Poincaré Conjecture and Mathematical Discovery
Millennium Prize Problems Lecture 9/17/2025 Speaker: Michael Freedman, Harvard CMSA and Logical Intelligence Title: The Poincaré Conjecture and Mathematical Discovery
Date: 4-17-2025
Fifth Annual Yip Lecture: Scott Aaronson (UT Austin): How Much Math Is Knowable?
Speaker: Scott Aaronson, Department of Computer Science, University of Texas, Austin Title: How Much Math Is Knowable? Abstract: Theoretical computer science has over the years sought more and more refined answers to the question of which mathematical truths are knowable by finite beings like ourselves, bounded in time and space and subject to physical laws. I’ll tell a story that starts with Gödel’s Incompleteness Theorem and Turing’s discovery of uncomputability. I’ll then introduce the spec...