The Origins of Mathematics

Author: Zhang Suhang

Abstract

The philosophy of mathematics has long been caught in the binary debate over whether mathematics is discovered or invented. Neither a purely discovery-based view nor a purely invention-based view can fully explain the formation of the mathematical system: mathematics possesses both an objective structural quality that conforms to nature and an instrumental quality created by humans, and in the age of artificial intelligence it has also acquired an entirely new generative form. This paper establishes a threefold origin framework for mathematics: first, the mapping of natural laws in human consciousness, which belongs to the cognitive discovery of objective structures; second, the active creation by humans of symbols, methods, and theoretical systems based on natural cognition, which belongs to intellectual construction; and third, artificial intelligence carrying out deductions based on humanity's existing mathematical systems, capable of generating entirely new problem-solving methods, proof paths, and deductive paradigms, thus forming a machine-participatory mode of mathematical generation. Through classic mathematical cases such as geometry, numeral systems, calculus, and group theory, this paper clearly distinguishes the objective ontological body of mathematics from its human-made forms of expression, and objectively defines the position of artificial intelligence in mathematical development. This framework can effectively reconcile traditional controversies in the philosophy of mathematics and fully explain both the formative logic of traditional mathematics and the new developmental forms of modern mathematics.

Keywords: philosophy of mathematics; origins of mathematics; natural mapping; human construction; machine deduction; generation of mathematical methods

1 Introduction

Regarding the essence of mathematics, the academic world has long been divided into two major cognitive systems. The discovery view holds that mathematical structures objectively exist in nature and logic, and that humans merely gradually discover inherent truths; the invention view holds that mathematics is a symbolic system, logical rules, and thinking tool constructed by the human mind. These two views have long been opposed and difficult to unify.

The reason lies in the fact that traditional research has mostly adopted a binary oppositional perspective and has not decomposed the generative levels of mathematics. In fact, mathematics is not knowledge with a single origin: natural structures provide the objective substrate, human thought provides systematic construction, and intelligent machines provide an entirely new generative path of deduction. Each performs its own function, and they do not contradict one another.

In the age of artificial intelligence, the mode of mathematical production has undergone new changes. Artificial intelligence cannot create underlying mathematical ideas, axiomatic systems, or entirely new foundational paradigms out of thin air, divorced from the human knowledge system, but within the mathematical frameworks established by humans it can, through massive computation, logical search, and path iteration, produce new solutions, new proof structures, and new deductive techniques that humans have not mastered. Such content constitutes newly added mathematical methods and tools, forming a new supplementary source for the development of mathematics.

On this basis, this paper constructs a threefold origin system to uniformly explain the formative logic of classical mathematics and the generative mechanism of modern machine mathematics.

2 The First Origin of Mathematics: The Mapping of Natural Structures in the Human Brain (Discovery-Type Mathematics)

The most fundamental origin of mathematics is the structures, relations, and operating laws inherent in objective nature itself. Such laws do not depend on human thought, symbols, or definitions, and exist independently within natural systems. Through observation, induction, and abstraction, humans map natural structures into mathematical cognition; this belongs to discovery rather than creation.

2.1 Geometrical Systems Originate from the Mapping of Spatial Structures

Early human production and life relied on the experience of flat space. From natural features such as straight lines, planes, parallel relations, and constant angles, humans gradually established Euclidean geometry. The geometrical relations of flat space are objective structures inherent in nature, not human settings.

After the development of modern physics and differential geometry, humans came to recognize curved space, curved-surface structures, and non-flat spacetime, and thereby established Riemannian geometry and Lobachevskian geometry. The iteration of geometrical systems is the result of the continuous deepening of human cognition of natural spatial structures, and natural structure has always been the objective ontological body.

2.2 The Natural Origin of Binary Structures and Numeral-System Logic

Binary structures of presence and absence, void and substance, positive and negative, open and closed, and opposition and transformation are ubiquitous in nature. This underlying order of bidirectional opposition is a fundamental structure inherent in the universe. The binary logic on which the binary numeral system relies is precisely an abstract mapping of the natural order, and belongs to humanity's discovery of natural laws.

It must be clearly distinguished: the natural structure of binary opposition is objective reality, whereas the digital symbols, the 0-1 definitions, the carry rules, and the computational procedures of the binary system are forms of expression established by humans at a later stage.

2.3 The Natural Reality of Basic Quantitative and Periodic Structures

The quantitative relations of objects, the proportions between wholes and parts, the periods of celestial motion, and the symmetrical structures of crystal arrangements are all stable features inherent in natural systems. The mathematical concepts of natural numbers, proportions, periods, and symmetry that humans have extracted are in essence abstract mappings of natural structures.

The first origin guarantees the objectivity, universality, and stability of mathematics, and is the foundation of the entire mathematical system.

3 The Second Origin of Mathematics: The Active Construction of Human Intelligence (Invention-Type Mathematics)

Nature provides only structures and laws, not symbols, formulas, methods, or theoretical systems. In order to describe, deduce, store, and apply natural laws, humans actively create various mathematical tools, forming invention-type mathematics that is human-made construction.

The same set of natural laws can be expressed by humans through different systems, symbols, and methods; there is no single natural standard answer, and it relies entirely on human intellectual creation.

3.1 The Dual Expressive Construction of Calculus

The continuous change, instantaneous rate of change, and cumulative increment in nature are unified objective laws. Yet humans developed two completely independent systems of calculus: Newton established the method of fluxions on the basis of physical motion, while Leibniz established a symbolic system of differentials and integrals on the basis of symbolic algebra.

The ontological body of the laws remains unchanged, while the forms of expression, symbolic systems, and deductive methods are entirely human inventions.

3.2 The Systematic Construction of Abstract Theories Such as Group Theory

Phenomena of symmetry, transformation, and invariance exist in nature, but abstract concepts and axiomatic structures such as groups, subgroups, homomorphisms, isomorphisms, and normal subgroups do not exist in nature. Group theory is an abstract algebraic system actively constructed by humans to uniformly characterize symmetry laws and transformation relations, and belongs to purely theoretical construction.

3.3 The Human Creation of Problem-Solving Methods and Proof Ideas

Natural laws do not come with mathematical solutions. Completing the square, substitution, constructive method, proof by contradiction, mathematical induction, geometric auxiliary-line techniques, inequality transformation techniques, and so on are all thinking tools and reasoning paradigms actively created by generations of mathematicians in the course of deduction.

The same proposition can have multiple proof paths, which fully demonstrates that the methodological level belongs to human construction rather than being inherent in nature.

3.4 The Human Convention of Mathematical Symbols and Axiomatic Systems

Arabic numerals, variable symbols, operation symbols, logical symbols, set symbols, as well as the Peano axioms and the ZF axiomatic system, are all rule systems established by humans to achieve self-consistent deduction and unified communication, and belong to typical human-made construction.

The second origin upgrades scattered natural cognition into a complete mathematical discipline that can be deduced, transmitted, developed, and applied.

4 The Third Origin of Mathematics: Deductive Generation Within Frameworks by Artificial Intelligence (Machine-Added Mathematics)

Traditional mathematics had only two major origins: natural mapping and human construction. The emergence of artificial intelligence has given rise to an entirely new mode of mathematical generation. This paper clearly defines the boundaries and value of machine mathematics, without exaggeration or deification, maintaining an objective and neutral stance.

4.1 The Capability Boundaries of Artificial Intelligence

Artificial intelligence cannot, divorced from human knowledge, independently create underlying mathematical ideas; it cannot create entirely new axiomatic systems, cannot break through existing mathematical paradigms, and cannot independently establish foundational branches of mathematics. All AI deduction relies on the axioms, definitions, propositional rules, and existing mathematical knowledge bases given by humans.

This is the essential difference between machines and human creativity.

4.2 The Mathematical Generative Value of Artificial Intelligence

Within the mathematical frameworks established by humans, artificial intelligence possesses powerful capabilities for search, iteration, trial and error, and combinatorial deduction, and can accomplish large-scale logical traversal that is difficult for humans to achieve.

As a result, AI can produce:

1. Entirely new problem-solving paths: generating solutions never used by humans for classic problem types;

2. Entirely new proof structures: reconstructing the proof logic and step frameworks of complex propositions;

3. Entirely new combinatorial deductive methods: generating new types of transformation techniques in the fields of algebra, number theory, and geometric inequalities;

4. New structures of propositional association: uncovering formula associations and theorem combination forms that humans have not discovered.

Such content is neither a direct mapping of nature nor a product of traditional human thought; it is newly added mathematical content generated by machine deduction, capable of enriching the library of mathematical methods and expanding the system of mathematical tools.

4.3 The Accurate Positioning of the Third Origin

Machines do not produce underlying truths or foundational paradigms, but they do produce new mathematical methods, new deductive tools, and new proof paths.

Therefore, machine deductive generation is a third supplementary origin of mathematics, distinct from the previous two, and is a new driving force in the development of modern mathematics.

5 The Hierarchical Relations and Unified Logic of the Three Origins

1. Natural mapping as the foundation: it determines why mathematics can conform to nature and explain the world, and guarantees the objective truthfulness of mathematics;

2. Human construction as the main body: it builds symbols, systems, methods, and logic, forming a complete mathematical discipline;

3. Machine generation as the extension: it iterates efficiently within human paradigms, generates newly added mathematical tools and deductive methods, and expands the boundaries of mathematics.

The three-layer structure does not replace one another but progresses layer by layer, dissolving the millennia-old opposition over whether mathematics is discovered or invented:

objective structures are discovered, systematic methods are invented, and machine-generated new solutions are a newly added modern generative form.

6 Conclusion

Through hierarchical decomposition, this paper establishes a threefold origin theory of mathematics and draws the following conclusions:

1. The first-layer origin of mathematics is the mapping of natural structures in the human brain. Geometrical spatial structures, binary oppositional order, and quantitative and periodic relations are objective laws inherent in nature, and belong to humanity's scientific discoveries.

2. The second-layer origin of mathematics is the active construction of human intelligence. The expressive systems of calculus, the theoretical framework of group theory, mathematical symbol systems, and problem-solving and proof methods are all tool systems created by humans, and belong to human invention.

3. Artificial intelligence cannot independently create underlying mathematical ideas or axiomatic paradigms, but within humanity's existing mathematical systems it can, through large-scale logical deduction, generate entirely new solutions, proof structures, and deductive techniques, constituting the third generative origin of mathematics and a new supplementary force in the development of modern mathematics.

The threefold origin framework unifies the objectivity, constructiveness, and modern machine-generative characteristics of mathematics, perfects the philosophy of mathematics' understanding of the generative mechanism of mathematics, and can reasonably explain the developmental laws of traditional mathematics and the new evolutionary forms of mathematics in the age of artificial intelligence.

References

(Omitted)