Mathematics as Core: The Perceptual Paradigm of Reality

blog image

The dominant picture treats mathematics as a description: an exceptionally precise language, invented or refined by human beings, which we point at an independently existing reality in order to measure and predict it. On this picture reality comes first and mathematics arrives afterward—the planet orbits, and then we find the ellipse. This treatise argues for the reverse. Mathematics is not the description; it is the condition of there being anything to describe. It is the perceptual operating system—the set of structuring operations that converts an undifferentiated sensory flux into a world of discrete, countable, ordered, related, predictable objects. We do not first perceive a world and then apply mathematics to it; the world is perceivable because perception is already mathematical. This is the Perceptual-Mathematics Inversion.

The first part of the treatise states the Inversion and locates it on the philosophical map—against Platonism, nominalism, formalism, and structuralism, and in relation to Kant’s claim that space, time, and number are a priori forms of intuition. It argues that the Inversion is best understood not as a metaphysics of mathematical objects but as a naturalized transcendental: the forms of intuition are real, but they are evolved, neurally implemented perceptual primitives, neither freely invented nor passively discovered, but grown. This dissolves the ancient “discovered versus invented” deadlock and reframes Eugene Wigner’s famous puzzle of the “unreasonable effectiveness of mathematics“: the effectiveness is near-tautological once one sees that the perceivable world is the output of mathematical operators.

The second part is the analytical core: a decomposition of the paradigm into twelve perceptual primitives—Distinction, Number, Magnitude, Invariance, Relation, Dimension, Continuity, Ratio, Probability, Inference, Mapping, and Recursion—each shown to be simultaneously a foundation of mathematics and a foundation of perception, and each grounded in the empirical literature of cognitive science and the philosophy of science.

The third part refuses to let the thesis off easily. It confronts the three deepest problems that bear on any claim that mathematics is the paradigm of the knowable: Benacerraf’s access problem (if mathematical objects are causally inert, how can they be known or perceived at all?), the applicability problem (why does aesthetics-driven mathematics predict nature?), and the problems of limit—Gödelian incompleteness, Newman’s objection to structuralism, and the demonstrable fallibility of the built-in primitives. The fourth part follows the thesis to its limiting cases: Tegmark’s Mathematical Universe Hypothesis, where reality does not merely appear mathematical but is a mathematical structure; and the non-human perceiver—the alien, the superintelligence, the artificial mind—which threatens to run the same primitives in regimes where mathematical truth ceases to be human-legible.

The treatise concludes that mathematics is best understood as the mathematical condition of experience: not a tool we hold, but the form we are. It closes not with a business plan but with a philosophical and scientific research program for a naturalized epistemology of the primitives.


Part I — The Inversion: From Description to Constitution

1. The Received View and Its Anomaly

1.1 Mathematics as Language, Mathematics as Tool

The received view of mathematics is so deeply embedded in ordinary thought that it rarely presents itself as a view. It holds that the world exists, in full, prior to and independent of any mathematics, and that mathematics is a human achievement—a notation, a language, a toolkit—that we develop and then apply to the world to describe its regularities. Galileo gave this view its classic formulation: the book of nature “is written in the language of mathematics.” The metaphor is exact and revealing: a language is something a pre-existing reader uses to read a pre-existing book. Reality is the content; mathematics is the script.

On this account the order of being is unambiguous. First there are objects, motions, and quantities; then there are the symbols and theorems we invent to track them. Mathematics is descriptive, secondary, and optional—astonishingly useful, but no more constitutive of the world than a map is constitutive of the territory it charts. This is the picture inside which we say a child “learns mathematics,” a physicist “uses mathematics,” and an equation “models” a phenomenon. In each case mathematics is cast as an instrument applied from outside to a world that was already, independently, there.

1.2 The Anomaly: The Unreasonable Effectiveness of Mathematics

The trouble with the received view is that it cannot explain its own central fact. In 1960 the physicist Eugene Wigner named the anomaly precisely. Mathematics, he observed, is “the science of skillful operations with concepts and rules invented just for this purpose”—and the concepts most central to physics (complex numbers, Hilbert spaces, analytic functions) were “not suggested by physical observations” but developed for their internal beauty and manipulability. Yet these freely invented constructs turn out, again and again, to describe nature with what he called “fantastic accuracy.” Worse, they predict phenomena that were never put into them: when matrix mechanics was applied to the helium atom—a case for which its rules were strictly meaningless—it nonetheless agreed with experiment to one part in ten million. “Surely in this case,” Wigner wrote, “we ‘got something out’ of the equations that we did not put in.

His conclusion is the anomaly in its sharpest form: “The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve.“ Note what this concedes. On the received view, the fit between an invented human notation and an independent physical world ought to be a coincidence, or at best a hard-won approximation. Instead it is uncanny, unearned, and—Wigner insists—without “rational explanation.” A picture that renders its most reliable phenomenon a miracle is a picture in trouble.

1.3 The Diagnosis

A miracle is what a bad theory calls a fact it cannot derive. The “unreasonable” effectiveness of mathematics is unreasonable only relative to the received view. The diagnosis this treatise offers is that the received view has the order of constitution backwards. Mathematics does not fit the world like a well-chosen key fitting a pre-existing lock—Wigner’s own image of the man with the suspiciously useful bunch of keys. Mathematics fits the perceivable world because the perceivable world is what the mathematical operations of perception produce. The fit is not a coincidence between two independent things; it is the self-consistency of a single process seen from two angles. To establish this, we must invert the received view.

The effectiveness of mathematics is not a miracle to be admired but a symptom to be explained—and it is explicable only if mathematics is constitutive of the perceivable rather than descriptive of the given.


2. The Perceptual-Mathematics Inversion

2.1 The Thesis Stated

The Perceptual-Mathematics Inversion is the claim that the structures we treat as the content of mathematics—distinction, number, magnitude, invariance, relation, dimension, continuity, ratio, probability, inference, mapping, recursion—are not late cultural inventions laid over a finished world but the primitive perceptual operations by which a world is assembled for a mind in the first place. Mathematics, on this view, is the explicit, externalized, communicable form of an implicit perceptual grammar that nervous systems have been executing for hundreds of millions of years before any of it was written down.

Three consequences follow immediately. First, mathematics is prior to perception in the order of constitution, not posterior to it: there is no neutral, pre-mathematical perception of a world that mathematics then describes, because the perceiving is the mathematics. Second, the fit between mathematics and the perceivable world is necessary, not contingent: anything that can appear as an object, a quantity, a relation, or a regularity has already been processed by the primitives, so it cannot fail to exhibit their structure. Third—and this is the residue we will have to pay for later—the Inversion makes claims about the perceivable, not directly about the real-in-itself. What lies beyond the reach of the primitives is, by construction, outside what any perceiver can report.

2.2 The Inversion Dissolves Wigner’s Miracle

Run Wigner’s puzzle through the Inversion and it changes character. The question “why does invented mathematics describe the independent world so well?” presupposes two separate things—a mathematics and a world—whose agreement is mysterious. But if the laws of physics are statements about invariances, and invariance-detection is one of the constitutive operations of perception (we shall see that it is), then the “discovery” that nature is governed by invariance principles is the discovery that the world-as-perceived bears the signature of the operation that perceived it. Wigner half-saw this himself: he stressed that “without invariance principles similar to those implied in the preceding generalization of Galileo’s observation, physics would not be possible“—that is, invariance is not one law among others but the precondition of there being laws at all. The Inversion completes the thought. The effectiveness is “unreasonable” only if one expects the projector and the projection to be strangers; it becomes reasonable the moment one recognizes that the order we find in nature is, in part, the form of the finding.

This is not idealism, and it is not the claim that we invent the facts. The rocks still fall; the helium spectrum is what it is. The claim is narrower and stranger: that what shows up as a fact at all—a discrete event, a measurable magnitude, a conserved quantity, a probable outcome—shows up under the structuring of the primitives, and so the deep regularities of the perceivable necessarily wear a mathematical form.

2.3 Against the Misreadings

The Inversion must be insulated from three misreadings. It is not psychologism—the claim that mathematical truth is merely how human brains happen to work, so that 2+2 could have been otherwise. The primitives constrain what can be perceived; they do not vote on what is provable. It is not anti-realism about the external world: there is a mind-independent reality, and it constrains perception at every instant by way of the surprise the predictive brain must minimize (Part III). And it is not the trivial observation that we use math to think about the world. The claim is structural and constitutive: the operations of mathematics and the operations of perception are, at the foundational level, the same operations described in two vocabularies—the formal and the cognitive.

The Inversion turns Wigner’s miracle into a near-identity: mathematics is effective in describing the perceivable world because the perceivable world is constituted by the operations that mathematics formalizes.


3. The Philosophical Landscape the Inversion Must Survive

A thesis this strong cannot be asserted in a vacuum; it must locate itself against the standing positions in the philosophy of mathematics and earn its place by handling their best objections. This section maps the terrain. The deep objections—Benacerraf’s access problem, the applicability problem, and the problems of limit—are deferred to Part III, where they are confronted directly.

3.1 Platonism and the Reality of Abstracta

Platonism holds that mathematical objects—numbers, sets, functions—exist abstractly, outside space and time, mind-independently, and that mathematical truths are truths about this realm. Its great virtue, emphasized by Paul Benacerraf, is semantic uniformity: “there are at least three perfect numbers greater than 17” can be given exactly the same truth-conditional, referential treatment as “there are at least three large cities older than New York.” Its great liability is epistemic: if numbers are causally inert abstracta, how do we come to know anything about them? The Inversion is not Platonism. It does not posit a separate realm of objects to which we mysteriously gain access; it locates mathematics in the structure of access itself. Where Platonism makes mathematics a remote country, the Inversion makes it the shape of the road.

3.2 Nominalism and Fictionalism

At the opposite pole, nominalism denies that abstract mathematical objects exist at all. Hartry Field’s fictionalism treats mathematical statements as literally false but useful—”true in the story” of mathematics—legitimate because mathematics is conservative: it lets us derive nominalistically-statable conclusions more easily without adding to their content. The Inversion shares the nominalist’s discomfort with a Platonic heaven of objects, but parts ways on the central point: if mathematics is merely a dispensable fiction, its constitutive role in perception is inexplicable. You cannot perceive at all without distinguishing, relating, and estimating; these are not optional narrative conveniences but the machinery of having a world.

3.3 Formalism

Formalism identifies mathematics with the manipulation of symbols according to rules—truth as derivability-within-a-system, mathematical existence (in Hilbert’s phrase) as “freedom from contradiction.” It captures something real about mathematical practice but, as Benacerraf showed, it severs the link between a theorem’s provability and its truth, and it leaves the applicability of these symbol-games to nature wholly unexplained. The Inversion treats the formal systems as the externalized notation of the primitives—the cultural, symbolic layer that makes the implicit perceptual grammar explicit and shareable—not as the substance of mathematics itself.

3.4 Structuralism

Structuralism—mathematics is the science of structures, and a number is nothing but a position in a structure—is the position closest to the Inversion, and the bridge to the philosophy of science. In its scientific form, structural realism (Worrall, Ladyman, French) holds that what science knows, and what survives across theory change, is structure, not the intrinsic nature of things: “we know structure not nature.” Ontic structural realism goes further—there are no individual objects underlying the relational structure; structure is ontologically primary. The Inversion is, in effect, structuralism read through cognition: if perception delivers relations before relata (we shall defend this as Primitive 5), then a structuralist epistemology is not a philosophical preference but a report on how minds are built. The cost—Newman’s objection, that pure structure is too cheap to constitute knowledge—is confronted in Part III.

3.5 Kant and the Naturalized Transcendental

The deepest ancestor of the Inversion is Immanuel Kant. Kant argued that space and time are not features we read off the world but a priori forms of intuition—the structure any possible experience must have—and that quantity, substance, and causality are categories the understanding imposes on the manifold of sensation. This is the Inversion’s core move, made two centuries early: mathematics (geometry, arithmetic) is constitutive of experience, not derived from it. What Kant could not have is the mechanism. The twentieth and twenty-first centuries supplied it. The cognitive sciences have begun to naturalize the transcendental: the forms of intuition turn out to have cellular addresses. Elizabeth Spelke’s core-knowledge systems, Stanislas Dehaene’s number neurons, the place and grid cells of the entorhinal cortex, and Karl Friston’s and Andy Clark’s predictive brain are, collectively, the empirical descendants of Kant’s forms—evolved, implemented, and therefore fallible.

3.6 The Third Way: Mathematics as Grown

This naturalization lets the Inversion dissolve the oldest dispute in the field: is mathematics discovered or invented? The realist says discovered (Wigner’s “correct language”; Tegmark’s universe that is mathematics). The constructivist says invented (Wigner’s “concepts invented just for this purpose”). The Inversion says neither—it is grown. The primitives are discovered in the sense that they are the deep structure of any perceiving system, older than humanity and present in other animals and, increasingly, in our machines. The symbols, theorems, and formal systems are invented in the sense that they are the cultural notation we build to externalize the primitives. The endless oscillation between “discovered” and “invented” persists precisely because mathematics has two layers—a perceptual kernel that is found and a symbolic notation that is made—and each party generalizes from one layer to the whole.

The Inversion is a naturalized transcendental: it inherits Kant’s claim that mathematics constitutes experience, replaces his a priori with evolved perceptual primitives, and thereby dissolves the discovered-versus-invented dispute into a two-layer account of a kernel that is grown and a notation that is made.


Part II — The Twelve Primitives: The Kernel of Perception

The primitives are not a curriculum, a history, or a hierarchy. They are an attempt to carve the perceptual kernel at its joints—to name the smallest set of operations that are at once (a) foundational to mathematics and (b) foundational to perception, and to show, with the evidence, that these are the same operations seen from two sides. Each is presented on an identical template: the operation; the conventional reading (mathematics as a tool we apply); the inversion (the operation as a perceptual act prior to cognition); the grounding (the empirical and philosophical evidence); and the implication—the trade-off or second-order consequence, including, where relevant, how the primitive can mislead. The set is offered as complete at the level of grain chosen; finer decompositions are possible, but these twelve are mutually distinguishable and jointly sufficient to constitute a perceivable world.


4. Primitives of Individuation

4.1 Distinction — The Cut That Makes a “Thing”

The operation. To draw a boundary: to separate this from not-this, inside from outside, element from non-element. In mathematics this is the primitive of set membership and of the logical negation that defines a complement.

The conventional reading. Set theory begins, formally and abstractly, with elements and the membership relation—a starting point chosen for axiomatic convenience.

The inversion. Before anything can be counted, measured, or reasoned about, it must be distinguished from what it is not. The first mathematical act is not addition but the cut. And the cut is precisely what perception performs every waking instant when it parses a continuous sensory field into bounded objects. A world without distinctions is not a mysterious world; it is no world at all—an undifferentiated blur. Perception is the drawing of distinctions.

The grounding. Spelke and Kinzler’s object system—one of the four core-knowledge systems present in human infants, non-human animals, and adults across cultures—individuates the world into bounded bodies by the spatio-temporal principles of cohesion, continuity, and contact. This is not learned; it is a “separable system of core knowledge” on which later cognition is built. At the neural level, edge detection in early vision is mechanically a boundary-finding operation: the brain spends its resources locating the discontinuities that mark where one thing ends and another begins. The logician George Spencer-Brown built an entire formal calculus from the single instruction “draw a distinction.” Hauser, Chomsky, and Fitch note that the discreteness of language (”there are 6-word sentences and 7-word sentences, but no 6.5-word sentences”) is “directly analogous to the natural numbers”—discreteness, the output of the cut, is where countability begins.

The implication. If perception is the drawing of distinctions, then every act of seeing is already an act of mathematics, and every category in our ontology is a boundary biology or culture chose to draw. The trade-off is permanent: a distinction that sharpens perception also imposes a structure that may not be in the world. The cut clarifies and falsifies in the same stroke—which is why Spelke’s core object system, built for the middle-sized world, misleads at scales where “objects are not cohesive or continuous.”

Distinction is the zeroth operation of both mathematics and perception: there is no quantity, relation, or law until the cut has made a “thing,” and the cut is performed by the perceiving system itself.

4.2 Number — From “Some” to “Three”

The operation. Cardinality: the assignment of a definite “how many” to a collection.

The conventional reading. Counting is an early-learned cultural skill; the natural numbers are a linguistic achievement layered onto experience.

The inversion. The step from “there are some things here” to “there are exactly three“ is a perceptual primitive, not a learned computation. For small collections the mind apprehends cardinality directly and instantly—it does not count. Number, in its primitive form, is not calculated about the world; it is seen.

The grounding. This is among the best-evidenced claims in cognitive science. Subitizing—the immediate, error-free apprehension of up to three or four items—needs no counting. Dehaene’s review of Nieder and Miller’s single-neuron recordings shows “number neurons” in the primate prefrontal and parietal cortex, each tuned to a specific numerosity (a neuron that fires maximally to three). Spelke’s core number system represents numerosity abstractly (across objects, sounds, and actions), is shared with animals and with adults in cultures such as the Mundurukú and Pirahã that lack large counting words, and is combinable by addition and subtraction. Hauser, Chomsky, and Fitch tie number to the same recursive engine as language: the capacity that “yields discrete infinity“ is “a property that also characterizes the natural numbers.” Number is older than humanity and prior to speech.

The implication. If number is perceptual, then arithmetic education does not build a faculty from nothing—it scaffolds a primitive already present, and systems that drill symbols divorced from the felt sense of quantity teach the notation while starving the perception. The deepest numerical intuition is pre-verbal, which is exactly why it resists being taught in words.

Number is not a notation we impose on collections but a perception we have of them; the natural numbers are the symbolic externalization of a number sense the brain runs without language.


5. Primitives of Magnitude and Sameness

5.1 Magnitude — More, Less, and the Continuum

The operation. The ordering of quantities along a continuum: greater and lesser, the real line, the relation of order itself.

The conventional reading. Measurement and the real-number continuum are formal constructions for assigning magnitudes.

The inversion. Comparison precedes quantification. Before exact number, the mind perceives more and less, an analog sense of magnitude that orders sensation along an internal continuum. Ordinality and the felt continuum are operations the nervous system runs constantly, mapping intensities onto a magnitude axis.

The grounding. The Approximate Number System lets humans and animals estimate and compare large quantities without counting, with a characteristic ratio-dependent precision (10 versus 20 is easier than 100 versus 110). Spelke’s number system carries exactly this signature: “imprecise, with scalar variability.” Dehaene’s neural data show the magnitude axis is real and analog. The idealized real-number continuum that grounds mathematical analysis is the formalization of this lived sense that between any two magnitudes lies another.

The implication. The continuum we treat as the bedrock of rigorous mathematics is genetically an idealization of an analog perceptual capacity. This explains its intuitive grip—and warns that the smooth, infinitely divisible line is a perceptual extrapolation reality need not honor at small scales.

Magnitude is the perception of order along a continuum; the real line is its idealization, inheriting both its power and its limits from the analog faculty it formalizes.

5.2 Ratio — Why Perception Is Logarithmic

The operation. Proportion: the comparison of magnitudes by their ratio rather than their difference; the logarithm as the natural scale of proportional change.

The conventional reading. Ratios and logarithms are tools for comparing and compressing quantities.

The inversion. Perception does not register absolute magnitudes—it registers ratios. One candle versus two is an enormous perceptual difference; a hundred candles versus a hundred-and-one is imperceptible. The mind perceives the world on a logarithmic scale, because what matters biologically is proportional, not additive, change. Ratio is therefore not a mathematical refinement but the native unit of perception.

The grounding. The Weber–Fechner law—a founding result of experimental psychology—states that perceived intensity scales with the logarithm of physical intensity across many senses. Dehaene’s decisive point is that this holds even for the abstract dimension of number: Nieder and Miller’s neural tuning curves are skewed on a linear axis but become symmetric Gaussians of fixed variance on a logarithmic axis, and—crucially—this compression was not imposed by training. The monkeys “could not help but encode the numerosities on an approximate compressed scale,” confirming that logarithmic coding “is the natural way that number is encoded in a brain without language.” The mind’s number line is an “internal slide rule.”

The implication. If perception is logarithmic, then exponential processes are systematically invisible to intuition—we feel them as linear until they overwhelm us. This single perceptual fact underlies chronic human failures to reckon with compound interest, epidemics, and technological acceleration. The primitive that makes perception efficient over vast dynamic ranges also makes us blind to the exponential.

Ratio is the logarithmic grammar of perception; the brain is an internal slide rule, and its proportional scaling both grants enormous perceptual range and renders exponential reality intuitively imperceptible.

5.3 Invariance — What Stays the Same When Everything Changes

The operation. The extraction of what is preserved under transformation: symmetry, and the group of transformations that leave a structure fixed.

The conventional reading. Symmetry and group theory are advanced branches of mathematics describing transformation-invariant structures.

The inversion. Recognition is invariance-detection. To perceive the same object from a new angle, in new light, at a new distance is to extract what is invariant under a group of transformations. We do not see raw sensation; we see invariants: the face that persists across expressions, the melody across keys, the object across viewpoints. Symmetry is not a decorative property of special shapes; it is the perceptual definition of “the same.”

The grounding. Object constancy—recognizing a thing as identical despite radical change in the retinal image—is literally the extraction of invariants. In physics, Noether’s theorem ties every continuous symmetry to a conservation law (time-translation invariance → conservation of energy). Wigner made invariance the precondition of physics itself: Galileo’s law holds “everywhere on the Earth, was always true, and will always be true,” and “without invariance principles … physics would not be possible.” Tegmark formalizes the limit case: in a purely mathematical structure, the automorphism group—the symmetries that leave the structure unchanged—is what we perceive as the laws of physics. The invariants the physicist discovers in nature and the invariants the visual cortex extracts to recognize a face are the same operation at two scales.