Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
Автор: Hopkins Natural Philosophy Forum
Загружено: 2025-11-07
Просмотров: 39082
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
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
