Pure Data Spaces

TL;DR

This paper introduces 'pure data spaces' as an axiomatic foundation for mathematics based on finite sequences, leading to the emergence of classical mathematical objects within this framework.

Contribution

It develops a novel theory of spaces grounded in pure data, illustrating how classical mathematical structures naturally arise from minimal combinatoric principles.

Findings

Classical objects like numbers and algebras emerge from pure data spaces.

The framework provides a new perspective on mathematical foundations.

Insights suggest potential for new theoretical directions.

Abstract

In a previous work, "pure data" is proposed as an axiomatic foundation for mathematics and computing, based on "finite sequence" as the foundational concept rather than based on logic or type. Within this framework, objects with mathematical meaning are "data" and collections of mathematical objects must then be associative data, called a "space." A space is then the basic collection in this framework analogous to sets in Set Theory or objects in Category Theory. A theory of spaces is developed,where spaces are studied via their semiring of endomorphisms. To illustrate these concepts, and as a way of exploring the implications of the framework, pure data spaces are "grown organically" from the substrate of pure data with minimal combinatoric definitions. Familiar objects from classical mathematics emerge this way, including natural numbers, integers, rational numbers, boolean spaces, matrix algebras, Gaussian Integers, Quaternions, and non-associative algebras like the Integer Octonions. Insights from these examples are discussed with a view towards new directions in theory and new exploration.