Panel Discussion - The Role of Foundational Studies in Mathematics
Panelists: Angus MacIntyre, Queen Mary University of London, UK Theodore A. Slaman, University of California, Berkeley, USA W. Hugh Woodin, Harvard University, USA
▶︎
The Kreisel Lawvere Debate on Categories and the Foundations of Mathematics
▶︎
The Continuum Hypothesis and the search for Mathematical Infinity, W. Hugh Woodin
▶︎
Panel discussion on the future of industrial mathematics
▶︎
"Objectivity in Mathematics," Penelope Maddy
▶︎
Frank Calegari: 30 years of modularity: number theory since the proof of Fermat's Last Theorem
▶︎
2.1: Advanced Basic Research in Mathematics and Physics | IYBSSD | Sep 20, 2022
▶︎
“An Antiphilosophy of Mathematics,” Peter J. Freyd
▶︎
Emily Riehl — The future of mathematics | Math, Inc.
▶︎
Grothendieck's 1973 topos lectures - C. McLarty
▶︎
Mark van Atten: Brouwer and the Mathematics of the Continuum
▶︎
Riehl, Bradley, Cheng, Dancstep, and Lugg: "Category theory outreach panel"
▶︎
Limits of Logic: The Gödel Legacy
▶︎
Set Theory and the Philosophy of Set Theory
▶︎
Infinite Necessity (Hugh Woodin) - Distinguished Lecture Series at UIC
▶︎
Hugh Woodin (Harvard University): Mathematical Truth and the Necessity of the Infinite
![Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]](https://i.ytimg.com/vi/vmcbm5FxRJE/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDxcGsonRbSJy6Y5Z5BU-4_V5fXew)
▶︎
Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]
▶︎
Sir Timothy Gowers: What is Mathematics? with G-Research
▶︎
The Langlands Program - Numberphile
▶︎
The Mystery of 3-Manifolds - William Thurston
▶︎