Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025

The inaugural Natural Philosophy Symposium was held in Baltimore on May 29-31, 2025. It was sponsored by the Natural Philosophy Forum at Johns Hopkins (https://www.naturalphilosophyhopkins...., covering all aspects of natural philosophy, featuring talks from philosophers and scientists in a variety of disciplines. All the talks from the symposium are available on this channel. https://www.naturalphilosophyhopkins.... Emily Riehl (https://emilyriehl.github.io/) is a mathematician at Johns Hopkins University. She studies category theory, homotopy type theory, and the foundations of mathematics. Her talk was followed by comments by Justin Clarke-Doane (https://philosophy.columbia.edu/conte...) of Columbia University. ‪@hopkinsnaturalphilosophyforum‬ #science #philosophy #naturalphilosophy #johnshopkins #mathematics