
TL;DR
Voevodsky aimed to develop a computer-supported mathematical library and bridge pure and applied mathematics, but his applied project on Population Dynamics was abandoned, leaving his foundational work as a significant legacy.
Contribution
This paper analyzes Voevodsky's strategic goals, his development of Univalent foundations, and explores how his ideas could advance applied mathematics and computational proof verification.
Findings
Voevodsky's work laid the groundwork for computer-assisted proof verification.
His applied research in Population Dynamics was ultimately abandoned.
The paper suggests ways to further develop Voevodsky's ideas in applied mathematics.
Abstract
In a series of lectures given in 2003 soon after receiving the Fields Medal for his results in the Algebraic Geometry Vladimir Voevodsky (1966-2017) identifies two strategic goals for mathematics, which he plans to pursue in his further research. The first goal is to develop a "computerised library of mathematical knowledge", which supports an automated proof-verification. The second goal is to "bridge pure and applied mathematics". Voevodsky's research towards the first goal brought about the new Univalent foundations of mathematics. In view of the second goal Voevodsky in 2004 started to develop a mathematical theory of Population Dynamics, which involved the Categorical Probability theory. This latter project did not bring published results and was abandoned by Voevodsky in 2009 when he decided to focus his efforts on the Univalent foundations and closely related topics. In the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComplex Systems and Time Series Analysis · Data Management and Algorithms · Bayesian Modeling and Causal Inference
