Research output: Contribution to journal › Article › peer-review
Voevodsky's unfinished project : Filling the gap between pure and applied mathematics. / Родин, Андрей Вячеславович.
In: BioSystems, Vol. 204, 104391, 06.2021.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Voevodsky's unfinished project
T2 - Filling the gap between pure and applied mathematics
AU - Родин, Андрей Вячеславович
N1 - Publisher Copyright: © 2021 Elsevier B.V.
PY - 2021/6
Y1 - 2021/6
N2 - 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 present paper, which is based on Voevodsky's archival sources, I present Voevodsky's views of mathematics and its relationships with natural sciences, critically discuss these views, and suggest how Voevodsky's ideas and approaches in the applied mathematics can be further developed and pursued. A special attention is given to Voevodsky's original strategy to bridge the persisting gap between pure and applied mathematics where computers and the computer-assisted mathematics play a major role.
AB - 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 present paper, which is based on Voevodsky's archival sources, I present Voevodsky's views of mathematics and its relationships with natural sciences, critically discuss these views, and suggest how Voevodsky's ideas and approaches in the applied mathematics can be further developed and pursued. A special attention is given to Voevodsky's original strategy to bridge the persisting gap between pure and applied mathematics where computers and the computer-assisted mathematics play a major role.
KW - Population dynamics
KW - Pure and applied mathematics
KW - Topological data analysis
KW - Univalent foundations
KW - SET-THEORY
UR - http://www.scopus.com/inward/record.url?scp=85101922015&partnerID=8YFLogxK
UR - https://www.mendeley.com/catalogue/368f437d-52a1-37d4-848d-f30ad189079e/
U2 - 10.1016/j.biosystems.2021.104391
DO - 10.1016/j.biosystems.2021.104391
M3 - Article
VL - 204
JO - BioSystems
JF - BioSystems
SN - 0303-2647
M1 - 104391
ER -
ID: 75063950