Invasive Thoughts
Emily Riehl (Johns Hopkins, Mathematics) joins us to discuss the power of abstraction in mathematics. Is category theory the mathematics of mathematics? What is infinity category theory? How has the form of a mathematical proof changed over time? Can AI execute mathematical proofs? Check out Emily's game, Reintroduction to Proofs: https://adam.math.hhu.de/#/g/emilyriehl/reintroductiontoproofs
16 episoder
Kommentarer
0Vær den første til at kommentere
Tilmeld dig nu og bliv en del af Invasive Thoughts-fællesskabet!