Andrei, Rodin (2024) Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin. [Preprint]

Text voepro.pdf - Submitted Version Available under License Creative Commons Attribution Non-commercial. Download (451kB)

Abstract

In 2016 Vladimir Voevodsky sent the author an email message where he explained his conception of mathematical structure using a historical example borrowed from the \emph{Commentary to the First Book of Euclid's Elements} by Proclus; this message was followed by a short exchange where Vladimir clarified his conception of structure. In this Chapter Voevodsky's historical example is explained in detail, and the relevance of Voevodsky's conception of mathematical structure in Homotopy Type theory is shown. The Chapter also discusses some related historical and philosophical issues risen by Vladimir Voevodsky in the same email exchange. This includes a comparison of Voevodsky's conception of mathematical structure and other conceptions of structure found in the current literature. The concluding part of this Chapter includes relevant fragments of the email exchange between Vladimir Voevodsky and the author.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Andrei, Rodin andrei@philomatica.org
Keywords:	Euclid; Proclus; Plane Angle; Homotopy Type theory
Subjects:	Specific Sciences > Mathematics > History Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics
Depositing User:	Dr. Andrei Rodin
Date Deposited:	04 Sep 2024 15:08
Last Modified:	04 Sep 2024 15:08
Item ID:	23861
Subjects:	Specific Sciences > Mathematics > History Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics
Date:	August 2024
URI:	https://philsci-archive.pitt.edu/id/eprint/23861

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item