Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics |
| |
Authors: | Jean-Pierre Marquis |
| |
Institution: | 1. Département de philosophie, Université de Montréal, C.P. 6128, Succ. Centre-ville, Montreal, QC, H3C 3J7, Canada
|
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|