I have been looking at some links related to Voevodsky in recent weeks, and the easiest way to share a collection of links is to put them into comments in a blog post...
"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 the pure and applied mathematics where computers and the computer-assisted mathematics have a major role."
no subject
Date: 2022-02-23 02:21 am (UTC)"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 the pure and applied mathematics where computers and the computer-assisted mathematics have a major role."
no subject
Date: 2022-02-23 02:42 am (UTC)I have the link at wowiki
no subject
Date: 2022-02-23 02:50 am (UTC)