If math is shaped by the cognitive architecture of its creators, first contact may have no common language at all.
Core Question: SETI assumes mathematics is a universal language -- the one thing any intelligent species must share. But cognitive science, philosophy of mathematics, and linguistic relativity research all suggest math might be a human invention, shaped by human bodies, human senses, and human culture. If true, the Arecibo message is gibberish, Lincos fails to bootstrap, and we have no guaranteed common language with extraterrestrial intelligence.
The dominant position in SETI, physics, and traditional philosophy of mathematics. Mathematical truths exist independently of any mind -- we discover them, not invent them.
In 1960, physicist Eugene Wigner published "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" in Communications in Pure and Applied Mathematics. His central puzzle: why does mathematics -- developed by humans often for purely aesthetic reasons, with no connection to empirical reality -- turn out to describe the physical world with extraordinary precision?
Wigner's examples are striking. Complex numbers, invented as pure mathematical abstractions, turned out to be essential for quantum mechanics. Non-Euclidean geometry, developed as a mathematical curiosity in the 19th century, became the foundation of general relativity. Group theory, originally pure algebra, became the language of particle physics.
The Platonist interpretation: math describes reality so well because mathematical structures are reality. Any intelligence investigating the same physical universe would discover the same structures.
The strongest version of the universality argument rests on physics, not math itself:
If physics is universal, then some mathematical framework capable of describing that physics must be discoverable by any sufficiently advanced intelligence. The argument is not that aliens would use Arabic numerals or the equals sign, but that the structural relationships math encodes -- ratios, symmetries, conservation laws -- are features of reality itself.
DATA Max Tegmark's Mathematical Universe Hypothesis (2007) takes this to its logical extreme: the external physical reality is a mathematical structure. Not merely described by math, but literally identical to it.[2]
Every major attempt at interstellar messaging has assumed mathematical universality:
Encoded binary numbers 1-10, atomic numbers of DNA elements, a human figure with height in wavelength units. Designed by Frank Drake and Carl Sagan. The entire message bootstraps from the assumption that the recipient can decode base-2 arithmetic.[3]
Hans Freudenthal's Lingua Cosmica begins with natural numbers, then builds arithmetic, then logic, then time, then behavior, then ethics. The entire language bootstraps from counting and addition. If the recipient doesn't share our concept of "counting," the bootstrap never starts.[4]
Includes mathematical definitions in images, but primarily relies on physical constants (hydrogen spin-flip transition) as calibration. Arguably the most physics-grounded approach, but still assumes the recipient shares basic mathematical operations.[5]
Prime numbers are often cited as the strongest candidate for universal mathematical knowledge. The argument: primes are not a human convention. They are a structural feature of the integers. Any system that can represent quantity and has a notion of division will discover that some quantities can only be factored trivially. The distribution of primes (the prime number theorem, the Riemann zeta function) emerges from the structure itself.
COUNTERPOINT But this assumes the alien system starts from discrete counting. A species whose primary mathematical intuition is continuous (think: fluid dynamics, wave mechanics) might never naturally arrive at the integers at all, and therefore never encounter primes as a fundamental concept. For them, primes might be an obscure derived property, not a cornerstone.
Mathematics is a human invention, shaped by human cognition, human senses, human embodiment, and human culture. Other intelligences would develop something different.
The most comprehensive case against mathematical universality comes from cognitive linguist George Lakoff and psychologist Rafael Nunez in Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being (Basic Books, 2000).[6]
Their central thesis: all mathematical concepts are built from cognitive metaphors grounded in bodily experience. Mathematics is not discovered "out there" -- it is constructed by brains with specific sensory apparatus, living in specific physical environments, with specific bodily capabilities.
COUNTERPOINT Critics (notably Steven Pinker and others) argue Lakoff & Nunez conflate the psychological origin of mathematical concepts with their truth value. Even if we arrive at 2+2=4 through embodied metaphor, 2+2 still equals 4 regardless of how we got there. The genetic fallacy: the origin of a belief doesn't determine its validity.
Mathematician and philosopher Reuben Hersh, in What Is Mathematics, Really? (Oxford, 1997), argues mathematics is a social-cultural-historical phenomenon.[7] Mathematical objects are real -- but real in the same way that money, laws, and nations are real. They are shared human constructions with genuine causal power, but they don't exist independently of the human practices that create and sustain them.
Hersh points out that mathematical "truths" have changed over time: negative numbers were rejected for centuries, infinitesimals were considered absurd, complex numbers were called "imaginary" (and resisted). What counts as valid mathematics is decided by the mathematical community, not by Platonic reality.
We count in base 10 because we have 10 fingers. This is transparently arbitrary -- and human cultures have used other bases:
INSIGHT This goes deeper than notation. A species with 7 tentacles might naturally use base 7. A species without discrete appendages might not develop positional notation at all. The concept of "place value" -- that the position of a digit determines its magnitude -- is itself an invention, not an inevitability.
Euclidean geometry -- arguably the oldest formal mathematical system -- is fundamentally visual. Points, lines, planes, circles, angles: these are abstractions from what sighted organisms perceive. The entire framework assumes a species that:
An echolocation-primary species (like bats, but at intelligence level) would likely develop a mathematics centered on wave interference, frequency spectra, phase relationships, and acoustic topology. Their "geometry" might be about resonance patterns in enclosed spaces rather than the shapes of objects. Euclid's Elements would be incomprehensible to them -- not because it's wrong, but because it describes reality through a sensory modality they don't possess.
Empirical research on how brains -- human and non-human -- actually process mathematical concepts.
The Piraha people of the Brazilian Amazon, studied extensively by linguist Daniel Everett (notably in his 2005 paper "Cultural Constraints on Grammar and Cognition in Piraha" in Current Anthropology), speak a language with:[8]
Critically, in a study by Peter Gordon (2004, Cognition), Piraha adults were unable to perform exact quantity matching tasks for sets larger than 3, even when taught.[9] A later study by Michael Frank et al. (2008, Cognition) found they could perform approximate matching but not exact counting.[10]
What this means for universality: If human beings -- members of our own species, with identical brain hardware -- cannot perform basic counting when their language and culture lack number concepts, then counting is not an automatic output of general intelligence. It requires specific cultural scaffolding. An alien species might be extraordinarily intelligent yet have no concept of discrete counting.
Neuroscientist Stanislas Dehaene's landmark work The Number Sense: How the Mind Creates Mathematics (Oxford, 1997; revised 2011) argues that humans (and many animals) have an innate approximate number system (ANS) located in the intraparietal sulcus.[11]
The ANS can:
But the ANS is logarithmic and approximate. It cannot distinguish 7 from 8. Exact arithmetic -- "7+5=12" -- requires language and cultural training. Dehaene's view: biology gives us an approximate number sense; culture gives us exact mathematics.
INSIGHT This supports a two-layer model: a biological substrate (possibly universal to any intelligence that evolved to track resources) plus a cultural superstructure (potentially non-universal). Alien math might share the fuzzy bottom layer but diverge wildly at the top.
Cognitive scientist Lera Boroditsky's research on linguistic relativity demonstrates that language structure influences mathematical and spatial cognition:[12]
INSIGHT If language structure shapes mathematical cognition even within our own species, imagine the divergence when the "language" is based on entirely different sensory modalities, embodiment, and evolutionary history.
Howard et al. (2019, Science Advances) showed honeybees can learn to add and subtract by 1, associate blue with addition and yellow with subtraction, and can understand the concept of zero as less than one.[13]
Ditz & Nieder (2015, PNAS) found that crows have neurons in the nidopallium caudolaterale (analogous to prefrontal cortex) that respond to specific numerosities -- "number neurons" that evolved independently from the mammalian lineage.[14]
Ai the chimpanzee (Matsuzawa lab, Kyoto) can identify and sequence Arabic numerals 1-9 faster than most humans in short-term memory tasks. But chimps cannot learn multiplication or grasp place value -- the cultural superstructure remains inaccessible.[15]
FRAMEWORK The convergent evolution of number sense in bees, birds, and mammals (three independent lineages) suggests approximate quantity tracking is a universal adaptation for any organism that needs to assess food quantities, group sizes, or predator numbers. This is the strongest evidence for some mathematical universality -- but it's the fuzzy, approximate layer, not formal mathematics.
Thought experiments grounded in different cognitive architectures, sensory modalities, and physical environments.
A species that perceives the world primarily through echolocation (like bats or dolphins, but sapient). Their mathematics would likely be built on:
They would likely discover our geometry eventually (just as we eventually discovered Fourier analysis), but it would be a derived, advanced, unintuitive branch of their mathematics -- not the foundation. The mismatch is not about truth but about cognitive starting points and ease of translation.
A sapient species with no individual members -- intelligence distributed across a network (like an ant colony, slime mold, or mycelium network, but conscious). Their mathematical primitives would likely be:
INSIGHT For such a species, the statement "2+2=4" is not wrong -- it's meaningless. Not because they can't process it, but because discrete enumeration is not a natural cognitive operation. Their equivalent of "basic math" might be something like: "a network with connectivity k and flow rate f will stabilize at equilibrium state E." Translating between their framework and ours would require finding shared physics, not shared arithmetic.
Inspired by Ted Chiang's "Story of Your Life" (1998) and the film Arrival (2016).[16] A species that perceives time non-linearly -- experiencing future and past simultaneously -- would have a radically different mathematics:
FRAMEWORK This is not pure fiction. In physics, Lagrangian mechanics and Fermat's principle of least time already describe reality teleologically -- light "chooses" the fastest path. Our mathematical culture starts with sequential causation and derives variational principles. A species with different temporal cognition might start from variational principles and find sequential causation to be the derived, unintuitive case.
A hypothetical intelligence confined to a 2D surface (like creatures on a membrane). Their mathematics would:
Edwin Abbott's Flatland (1884) explored this brilliantly. The key insight: a 2D being literally cannot conceptualize a sphere. They would perceive it as a circle that appears, grows, shrinks, and vanishes -- a temporal sequence, not a spatial object.[17]
A post-biological intelligence (an AI civilization) might develop mathematics optimized for:
Their proofs might be computationally verified but humanly incomprehensible -- similar to the 1976 computer-assisted proof of the four-color theorem, but far more extreme. The "math" is provably correct but has no human-readable structure.
Astrophysicist Mario Livio, in Is God a Mathematician? (Simon & Schuster, 2009), proposes a middle path:[18]
Under this view, aliens might choose different axioms (because their cognition and environment push them toward different starting points) but, given those axioms, they would discover the same theorems that follow. The question becomes: how much overlap would the axiom choices have? If physics constrains the axioms (you need axioms that let you model electromagnetism, gravity, quantum mechanics), there might be significant convergence at the physics-relevant level, even if pure mathematics diverges wildly.
If mathematical universality fails, the entire SETI communication paradigm needs rethinking.
Every interstellar communication scheme designed to date uses the same strategy: bootstrap from shared mathematics. Start with counting (1, 2, 3...), build to arithmetic (2+3=5), build to more complex structures, eventually communicate concepts.
If the recipient doesn't share our concept of discrete counting, the bootstrap never starts. This isn't a technical problem -- it's a foundational one. You can't fix it by sending the message more clearly or in a different encoding. The issue is that the message assumes a cognitive framework the recipient may not possess.
1. We send: "1 + 1 = 2" (in binary)
2. Recipient has no concept of discrete integers
3. They see: a structured signal with patterns
4. They cannot extract "counting" because counting isn't in their cognitive repertoire
5. The rest of the message (built on counting) is indecipherable
6. They may not even recognize it as communication
Philosopher W.V.O. Quine's famous "gavagai" thought experiment (1960):[19] A linguist encounters a native who points at a rabbit and says "gavagai." Does "gavagai" mean:
Quine argued that translation between languages is fundamentally indeterminate -- multiple incompatible translations can fit all observable evidence equally well. Now apply this to mathematics: when we send "1+1=2," the alien might interpret the symbols as representing any number of different conceptual structures that happen to produce the same observable pattern. We'd think we're communicating. We might not be.
If math isn't guaranteed to be shared, what might be? Candidates:
Even if alien mathematical frameworks are incomprehensible to us, there is a pragmatic argument for convergence:
This is the convergence-through-physics argument. The math may be incomprehensible, but the predictions are testable. Two species could potentially establish communication by exchanging predictions about shared physical phenomena (e.g., "the next eclipse will occur at time T") rather than abstract mathematical statements. The predictions serve as a Rosetta Stone that gradually reveals the structure of each other's mathematical framework.
COUNTERPOINT But this requires that both species: (a) observe the same physical phenomena, (b) have similar timescales of perception, (c) recognize each other's predictions as predictions. None of these are guaranteed.
The deepest philosophical challenge: even if aliens do math, their math might be embedded in a form of life so different that translation is impossible in principle.
Ludwig Wittgenstein's famous remark from Philosophical Investigations (1953) is often quoted casually, but its implications for alien contact are profound:[21]
Wittgenstein's point is not about language per se but about forms of life (Lebensformen). Language gets its meaning from the entire web of practices, experiences, behaviors, and shared understandings that constitute a form of life. A lion's form of life -- hunting, territorial behavior, pride dynamics, sensory experience -- is so different from ours that even if a lion produced English sentences, we could not map those sentences onto meanings we understand.
Applied to mathematics: Mathematical language gets its meaning from the practices of mathematicians -- proving, computing, applying, teaching. These practices are embedded in human forms of life. Alien "mathematics" would be embedded in alien forms of life. Even if the formal symbols could be mapped between systems, the meaning -- what the math is for, what it connects to, why it matters -- might be untranslatable.
Philosopher Donald Davidson's principle of radical interpretation offers a partial counter to Wittgenstein:[22]
Davidson argues that for any system to be recognized as having beliefs at all, most of those beliefs must be true (by our lights) and most must be shared with us. This is the Principle of Charity: interpretation requires assuming rationality and shared reality. If we encounter a signal that we can't interpret as coming from a rational being with mostly true beliefs about a shared reality, we won't recognize it as communication at all.
COUNTERPOINT Davidson's argument was developed for human-to-human interpretation, where shared biology guarantees enormous overlap in perceptual experience and cognitive architecture. Alien-to-human interpretation has no such guarantee. Davidson's Principle of Charity might simply not apply across radically different cognitive architectures.
Consider the gulf even between humans who share 99.9% of their DNA:
Now imagine the gap between species separated by:
The Wittgenstein problem suggests that the gap might be not just large but unbridgeable in principle. Not a technical challenge but a logical impossibility.
Empirical evidence from our own planet about the difficulty of cross-species and cross-cultural mathematical communication.
We cannot decode several of our own species' writing systems when cultural context is lost. This is the alien contact problem within our own species:
~1800-1450 BCE. Used by the Minoan civilization on Crete. Despite decades of effort and the successful decipherment of the related Linear B (by Michael Ventris in 1952), Linear A remains undeciphered. We don't even know what language it encodes.[23]
~2600-1900 BCE. ~400 distinct symbols from the Harappan civilization. Over 100 decipherment attempts published. None widely accepted. The texts may be too short for statistical analysis. Some scholars argue it's not even writing -- it might be proto-writing or non-linguistic symbols.[24]
~3100-2900 BCE. From ancient Iran. The oldest undeciphered writing system. Contains clear numerical notations -- we can identify the mathematical parts -- but cannot read the words. Proof that shared math is necessary but not sufficient for communication.[25]
The devastating implication: If we cannot decode writing systems from our own species -- beings with identical brains, identical sensory systems, living in the same gravity, the same atmosphere, on the same planet -- how can we expect to decode signals from a genuinely alien intelligence? The cultural context needed for interpretation is lost even within a few thousand years on Earth. The gap to an alien civilization is incomparably larger.
Our attempts to teach mathematical concepts to other Earth species reveal what transfers across cognitive architectures and what doesn't:
INSIGHT The pattern: approximate quantity discrimination transfers broadly. Symbolic arithmetic does not. Abstract mathematical reasoning (proofs, theorems, generalization) exists only in humans -- and only in humans with specific cultural training. This is the strongest evidence for the two-layer model.
A surprisingly relevant test case for post-biological contact: can artificial intelligences with different architectures develop shared mathematics?
FRAMEWORK This is the alien contact problem in miniature. Two different computational architectures can solve the same problems and arrive at the same answers, but through processes and representations that are mutually opaque. The predictions converge; the understanding does not.
The debate isn't binary. Different layers of mathematics have different universality probabilities.
Probability estimates represent author's synthesis of the philosophical and cognitive science literature. Not empirical measurements (which are impossible for this question).
This layer is probably universal because it's adaptive. Any organism that needs to evaluate resource quantities, navigate space, or predict predator behavior benefits from these capabilities. Convergent evolution suggests they'd appear in any intelligence.
This layer is shaped by embodiment, sensory modality, language, culture, and evolutionary history. A different species would build a different superstructure on a similar (but not identical) biological substrate. The superstructure might describe the same reality but in mutually incomprehensible ways.
Mathematics is partially universal and partially contingent, and the part SETI relies on is largely in the contingent zone.
What's probably universal: The deep structural features of physical reality -- symmetries, conservation laws, the relationships described by physics -- exist independently of any observer. Any intelligence investigating the same universe would encounter the same constraints. Some mathematical framework capable of capturing these constraints must be discoverable.
What's probably NOT universal: The specific mathematical framework used -- counting, arithmetic, geometry, our notation, our axioms, our proof styles, our conceptual metaphors. These are shaped by human cognition, human embodiment, and human culture. Aliens would likely develop a different framework that captures the same physics through structures we might not recognize as mathematics at all.
The SETI problem: Current interstellar communication schemes bootstrap from the non-universal layer (counting, arithmetic). The universal layer (physical structure) is expressed through the non-universal layer. This is a genuine chicken-and-egg problem with no clean solution.
The existence of a human culture without counting -- and whose members cannot learn to count even when taught -- demolishes the strongest form of mathematical universality. If counting isn't universal even within Homo sapiens, it certainly isn't universal across species. SETI's assumption that "any intelligence can count" is empirically falsified on Earth.
The strongest argument for universality is not mathematical but physical. The laws of physics appear universal, and any framework describing them must be structurally isomorphic at some level. The math isn't universal, but the structure it describes is. The challenge is building a bridge from shared physical structure to shared communication without assuming shared mathematical notation.
Dehaene's work (plus the convergent evolution of number sense in bees, birds, and mammals) supports a biological layer of approximate mathematical intuition that is probably widespread. But formal mathematics -- the layer SETI needs -- sits on top of this as a cultural construction. The biological layer is too imprecise for communication; the cultural layer is too contingent for universality.
We cannot decode Linear A, the Indus Valley script, or Proto-Elamite -- and these were created by members of our own species, on our own planet, within the last 5,000 years. The alien contact problem is this problem raised to a power we cannot calculate. Anyone confident that we'd easily communicate with aliens should first explain why we can't communicate with the Minoans.
The deepest challenge isn't technical but philosophical. Meaning is embedded in forms of life. Alien forms of life would be so different from ours that even if we could decode their symbols, we might not be able to map those symbols onto meanings. Davidson's Principle of Charity -- the main philosophical tool for radical interpretation -- assumes shared biology that doesn't exist in the alien case. The problem may not just be hard; it may be impossible in principle.
If mathematics cannot be assumed universal, SETI needs alternative communication strategies:
Deep Research // Non-Universal Mathematics and Alien Contact // 2026-03-28
Synthesized from philosophy of mathematics, cognitive science, linguistics, and SETI literature.