Hacker News
- The Origins and Motivations of Univalent Foundations (2014) https://www.ias.edu/ideas/2014/voevodsky-origins 4 comments
Linking pages
- Vladimir Voevodsky, Revolutionary Mathematician, Dies at 51 - The New York Times https://www.nytimes.com/2017/10/06/obituaries/vladimir-voevodsky-revolutionary-mathematician-dies-at-51.html 5 comments
- GitHub - prathyvsh/category-theory-resources: Resources for learning Category Theory for an enthusiast https://github.com/prathyvsh/category-theory-resources 3 comments
- Mathematicians hope digital "proof assistants" will fix the field's own replication crisis https://massivesci.com/notes/math-proofs-academia-science-proof-assistant-replication/ 0 comments
Related searches:
Search whole site: site:www.ias.edu
Search title: The Origins and Motivations of Univalent Foundations - Ideas | Institute for Advanced Study
See how to search.