Kevin Buzzard - Where is Mathematics Going? (September 24, 2025)

Simons Foundation Lectures · 9 ноября 2026 г. · 55 мин

Where is Mathematics Going? ~ Is there a better way to do this? In this Presidential Lecture, Kevin Buzzard will discuss the future of mathematics and the role computers can play in proof development through tools such as Lean. Uploaded 02-10-25 For more information go here: https://www.simonsfoundation.org/event/where-is-mathematics-going/