📝 SummarXiv

Abstract

Throughout mathematics there are constructions where an object is obtained as a limit of an infinite sequence. Typically, the objects in the sequence improve as the sequence progresses, and the ideal is reached at the limit. I introduce a view that understands this as a development process by which a dynamic mathematical object develops teleologically. In particular, this paper elaborates and clarifies the intuition that such constructions operate on a single dynamic object that maintains its identity throughout the process, and that each step consists in a transformation of this dynamic object, rather than in a genesis of an entirely new static object. This view is supported by a general philosophical discussion, and by a formal modal first-order framework of development processes. In order to exhibit the ubiquity of such processes in mathematics, and showcase the advantages of this view, the framework is applied to wide range of examples: The set of real numbers, forcing extensions of models of set theory, non-standard numbers of arithmetic, the reflection theorem schema of set theory, and the revision semantics of truth. Thus, the view proposed promises to yield a unified dynamic ontology for infinitary mathematics.