Varieties of Mathematical Understanding
Speaker: Jeremy Avigad, Carnegie Mellon University Date: October 19th, 2022 Abstract: http://www.fields.utoronto.ca/talks/V... Part of the "2022 Fields Medal Symposium: Akshay Venkatesh": http://www.fields.utoronto.ca/activit...
▶︎
Tacit knowledge and partial automation in mathematics
▶︎
Math Encounters: "You Want Proof? I'll Give You Proof! ...Euclid to Lean" Jeremy Avigad Nov 6 2024
▶︎
Jeffrey Vaaler, Riemann hypothesis
▶︎
What is the Birch and Swinnerton-Dyer conjecture ?
▶︎
How I became seduced by univalent foundations
▶︎
William Dunham, A tribute to Euler
▶︎
Michael Freedman | The Poincaré Conjecture and Mathematical Discovery
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
The most beautiful formula not enough people understand
▶︎
The Langlands Program - Numberphile
▶︎
Robert Bryant: "The Concept of Holonomy"
▶︎
One second to compute the largest Fibonacci number I can
▶︎
Is Mathematics Obsolete with Jeremy Avigad
▶︎
Train Your Brain to Never Forget (5 Feynman Habits)
▶︎
Walter B. Rudin: "Set Theory: An Offspring of Analysis"
▶︎
2178 And All That Part 1
▶︎
Why Does 2 + 2 = 4? What Math Teaches Us About Deep Reality
▶︎
Mathematician Terence Tao receives Madison Medal at Princeton University's Alumni Day
▶︎
Why Peter Scholze is once in a Generation Mathematician
▶︎