Repository | Journal | Volume | Articles
(2013) Synthese 190 (12).
Mathematical forms and forms of mathematics
leaving the shores of extensional mathematics
pp. 2141-2164
In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, at least according to some speculative research programs.
Publication details
DOI: 10.1007/s11229-011-9962-0
Full citation:
(2013). Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics. Synthese 190 (12), pp. 2141-2164.
This document is unfortunately not available for download at the moment.