Sign up to save your podcasts
Or
Share Emily Riehl (GUEST): Metamathematics and Infinity Category Theory
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Emily Riehl (GUEST): Metamathematics and Infinity Category Theory
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
View all episodes
By Nicholas Bellinson and Khafiz KerimovEmily 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