Geometry as an Emergent Process — Part 1
The Mathematics We Chose to Believe In
Geometry begins with a set of assumptions about what geometric objects are — what a point is, what a line is, what a circle is. Those assumptions were not derived from more primitive structures within the theory itself. They were introduced in specific historical and practical contexts, and then formalized into definitions that are now treated as foundational.
The Euclidean plane was not selected after a systematic comparison of alternatives; it reflected the surface people were already working on. The infinite line was not constructed from more basic objects; it arises naturally from extending a direction indefinitely. The dimensionless point does not appear in physical experience; it is an idealization obtained by pushing the notion of “location” to a limit.
This post examines three of these assumptions and asks whether they are as necessary as they appear. The argument is not that classical geometry is wrong. It is that some features often treated as intrinsic may instead reflect the framework in which geometry was first formulated.
What follows was arrived at not through a PhD program but through graphic design and programming. That turned out to be a productive starting point. The practical problems that designers and programmers solve independently converged, more than once, on formulations that academic geometry had been approaching from a different direction. That convergence is worth taking seriously.
The Point Does Not Exist as a Primitive
Euclid defined a point as “that which has no part.” No width. No height. No depth. Pure location, no substance.
He then used points to build lines, lines to build planes, and planes to build space. A natural question arises: how does a collection of objects with no extent give rise to something with length? In modern mathematics, this is addressed by treating a line not as a sum of points in a literal sense, but as a structured set equipped with additional properties (topology, measure, order). The resulting construction is internally consistent, but it relies on a framework in which infinite collections and limiting processes are fundamental.
If one attempts to interpret points as physical entities that move and trace paths, difficulties arise. In formal geometry, however, points are not treated as objects that generate lines through motion, but as elements within a structure that defines what a line is.
The same tension appears in physics: the electron modeled as a point particle leads to divergent quantities, and physicists developed procedures to manage these infinities. Some approaches, such as string theory, replace point-like objects with extended ones to avoid these issues — suggesting that the discomfort with dimensionless primitives is not merely philosophical.
At the time of writing this, the problem was clear but the resolution was not. The framework developed in the later parts of this series does not attempt to repair the point as a primitive; it removes the requirement for it entirely. Objects are defined as equivalence classes of finite relational processes, and no dimensionless primitive is needed or invoked.
Infinity Is Embedded in Geometric Objects
The point problem is one instance of a broader geometric commitment: infinity is built into the primitives.
The line is infinite in two respects — it extends without bound in both directions, and it is infinitely divisible. Between any two points on it there is always another. Both properties require actual infinity, not merely as a tool for calculation but as a feature of the model.
The question worth considering is whether those properties are genuinely part of what a line is, or whether they arise from working within a framework that assumes infinity at the outset. A line segment of finite length, composed of finitely many steps, can approximate many properties of a line to arbitrary precision in practical settings — the infinite extent and infinite divisibility are not directly observed, but inferred within the model.
Here is an alternative way to think about it, borrowed from graphic design. When you work with digital images, you work with a resolution — a level of detail below which further refinement produces no perceptible difference. You do not need infinitely many pixels to make a photograph appear smooth. You need enough that additional ones do not meaningfully change the image.
A similar idea can be applied geometrically. Instead of treating a line as infinitely divisible in principle, one can consider models in which resolution is an explicit parameter — not an intrinsic property of the object, but part of how it is represented or observed.
This began as an intuition from a practical domain. It turned out to be pointing toward a more precise formulation — one in which resolution is external to the object itself. That development belongs to the later parts of this series.
The Circle Is Not the Same Kind of Thing as a Triangle
Ask most people to list geometric shapes: triangle, square, pentagon, circle. They feel like natural peers, members of the same category.
But consider what makes a triangle a triangle. It has three sides. Three vertices. A discrete, finite, countable structure. You can build one in a finite number of steps. As you add more sides, the shape approaches a circle — but it never becomes one. A regular polygon with a million sides is still a polygon. It is not a circle.
The circle is not a polygon with infinitely many sides. It is what polygons can approach, but never fully realize within this construction.
The circle belongs to a different category in the classical formulation — not a discrete constructible figure, but what mathematicians call a limit object. Something defined as the outcome of a limiting process rather than a finite construction. Archimedes understood this intuitively when he approximated π by computing the perimeters of polygons with increasing numbers of sides. He was not constructing a circle directly; he was approaching one.
The framework developed later in this series revisits this distinction. It suggests that the difference between polygons and circles may not lie in their fundamental nature, but in how they are represented and compared. In that setting, structures that appear continuous can be modeled using finite cyclic relations, with resolution treated as an external parameter rather than an intrinsic property of the object.
What These Three Have in Common
The point, the infinite line, and the continuous circle are not independent choices. They form a system. Each relies on the others, and all three involve a commitment to infinity as part of the underlying model, rather than merely as a limiting process.
If that commitment is relaxed, these primitives are reinterpreted. The point is no longer required as a dimensionless starting element. The line can be modeled with finite structure and resolution treated externally. The circle can be understood in terms of cyclic relations, rather than as an inherently continuous object.
What remains is the relational structure — the shape, the symmetry, the pattern of connections — without requiring those features to be supported by an explicit commitment to infinite primitives.
Whether this constitutes a better foundation for geometry is the question this series explores. The answer, developed across the posts that follow, is that relaxing the role of infinite primitives does not diminish the geometry. It clarifies which properties are intrinsic and which depend on the framework used to describe them.
Discussion