A Map Inside the Head
Imagine you are returning home through an unfamiliar city. You don't just retrace your steps–you hold a map in your mind: there's the corner cafe, there's the old fountain, there's the winding alley that leads to the right neighborhood. You see yourself as if from above, knowing where everything is in relation to everything else–not relative to you, but relative to the world around you. This is allocentric navigation: the ability to build an objective map of space within yourself, independent of your current location.
This ability is one of the most astonishing in the brain's arsenal. It has been studied for decades, from the discoveries of “place cells” by John O'Keefe in the 1970s to the work of May-Britt and Edvard Moser, who described “grid cells” in the 2000s. But only recently has a research report proposed looking at allocentric navigation from a completely different angle–not as a biological tool for orientation, but as a computational system, potentially as powerful as any conventional computer.
Does that sound like science fiction? Let's explore why this isn't just a beautiful metaphor but a rigorous mathematical statement–and what it tells us about the nature of thought.
What Does “Computationally Universal” Mean?
In 1936, the British mathematician Alan Turing described an abstract machine–a thought experiment, not a physical device. This machine reads and writes symbols on an infinite tape, moves left and right along it, and makes decisions based on simple rules. It might seem rudimentary, but Turing showed that any task that can be solved algorithmically can be solved by this machine. Adding numbers, playing music, rendering a webpage, processing a photograph–with enough time and memory, all of it fits into this framework.
When a system is described as “computationally universal,” it means one thing: it can do everything a Turing machine can. It can simulate any other computer. This is the limit of what is possible in the world of algorithms.
Surprisingly, many such systems have been discovered in nature and mathematics. John Conway's Game of Life–a cellular automaton with four simple rules–is computationally universal. Certain types of chemical reactions are, too. And now, researchers propose adding something living and warm to this list: the brain's spatial navigation architecture.
Three Keys to One Lock
The report in question presents three separate mathematical proofs of the same thesis. Each is like a different key opening the same lock. All three demonstrate that a system capable of building allocentric maps with landmarks and navigating between them can perform any computation. Moreover, this navigation can be either real–physical movement through space–or mental: the very act of “running through it in your head” when we plan a route while lying on the couch.
Before we examine each proof, it's important to understand the “building blocks” of any computational system. There are three:
- Memory–a place to store information.
- Operations–actions that modify this information.
- Control–the logic that determines what to do next based on the current state.
In the brain's navigation system, these three components manifest as follows: the map of landmarks is the memory, moving between landmarks represents the operations, and changing the route based on the point reached is the control. All three elements are present. Therefore, in principle, anything is possible.
The First Proof: Two Markers on a Grid
Imagine a standard sheet of graph paper. You place two coins on it–one somewhere along the horizontal axis, the other along the vertical. The distance of the first coin from the corner horizontally represents one number, and the distance of the second coin from the corner vertically represents another. That's all it takes: two numbers are now encoded in space.
This is precisely how the first proof is structured. It appeals to the Minsky machine, a mathematical model conceived by Marvin Minsky in the 1960s. This is perhaps the most “modest” version of a universal computer: just two counters and three operations. The first counter can be incremented by one, decremented by one, or checked to see if it is zero–and based on the result, proceed to a different next step. The second counter does the same. Despite its modesty, such a system is computationally universal.
In the navigational interpretation, the first marker is the “coin” on the map's horizontal axis, and the second is on the vertical. To increment a counter is to move the marker one square forward. To decrement is to move it back. To check if it's zero is to see if the marker is at its starting point. These are navigational actions: simple movements between landmarks on a map.
The entire program is a pre-planned route through a sequence of “instructional landmarks,” each signifying one step of the computation. The system follows this route, moving the markers and checking their positions along the way. No actual physical movement is required: all of this can happen entirely in your head, as a mental journey across an imagined map.
The Second Proof: A Tape Woven into the Map
A Turing machine operates on an infinite tape–a long strip divided into cells. Each cell can hold a symbol. The machine moves along the tape, reads a symbol, writes a new one, and then shifts one step left or right. The simplicity is deceptive: this very mechanism forms the foundation of all computational theory.
The second proof literally “weaves” this tape into a spatial map. Imagine a long corridor lined with doors–one for each cell. Each door can have a plaque or not–this represents the symbol on the tape. There is also a character walking along the corridor: they look at the plaque, remove it or hang a new one, and then take a step to the right or left. This is a Turing machine translated into the language of navigation.
In terms of an allocentric map, each cell of the tape is a landmark. The symbol written in the cell is encoded by the presence or absence of an additional marker-landmark nearby. The machine's “head” is the agent's current position on the map. A step left or right is a navigational move to an adjacent landmark. Writing a symbol is adding or removing a marker near the current landmark.
This proof is particularly beautiful because it literally translates one language into another. The language of computation and the language of space turn out to be interchangeable. The tape is a path. The symbols are landmarks. Computation is a journey.
The Third Proof: A World Without a Conductor
The first two proofs have one small weakness. They assume a global plan exists somewhere “up top”: a pre-determined route through instructional landmarks or a long, linear corridor-tape. It's a bit like an orchestra with a conductor who knows the entire score. It's elegant, but a bit “unfair” from a biological perspective: the real brain doesn't operate with a single, centralized plan.
The third proof removes the conductor. Instead of a global path, there is a two-dimensional field of landmarks, where each element only knows about its immediate neighbors: who is in front and who is behind. There are no global addresses, no “bird's-eye view” map. Only local information.
This is reminiscent of an anthill: no single ant knows the colony's overall plan, yet the colony as a whole solves highly complex logistical problems. Or, closer to neurobiology, it resembles the workings of neural networks, where each neuron only knows about signals from its direct neighbors, yet the entire network performs incredibly complex calculations.
The third proof shows that even in such a “democratic” system, where nothing is global, the local connectivity of landmarks alone provides full computational power. This is perhaps the most philosophically rich of the three results. It hints that intelligence does not require a central command–it can emerge from simple, local interactions.
Offline Navigation: Journeys Without Movement
One of the most thrilling aspects of this entire construction is the concept of offline navigation. This neuroscience term describes the brain's ability to “travel” across a spatial map without any real physical movement. When we mentally plan a route, imagine an unfamiliar place from a description, or recall the layout of rooms in our childhood home, we are engaging in offline navigation.
Neuroscience has amassed considerable evidence that during such mental navigation, the same brain structures are activated as during real movement–primarily the hippocampus. Place cells “fire” as if the animal were actually walking down a corridor, even though it is motionless. This means the brain literally executes navigation internally, without any external output.
If we accept the proofs from the report, this opens up a breathtaking perspective: thinking itself may be a form of internal navigation. Not metaphorically–as in “following a train of thought,” “exploring an idea,” or “charting a course through reasoning”–but literally, at the level of neural mechanisms. To think is to travel across an internal map.
This idea resonates with broader hypotheses in cognitive science, such as the concept of the “cognitive map” in its expanded sense, where the hippocampus is seen not just as a navigational structure but as a universal cartographer of abstract spaces: social relationships, temporal sequences, and conceptual connections. The work of Eleanor Maguire and her colleagues at University College London in the 2000s and 2010s showed that the hippocampus of taxi drivers who knew the labyrinth of London's streets by heart literally increased in volume; spatial memory physically changes the brain. But this is just the tip of the iceberg.
Mathematics That Doesn't Surprise–And Is Still Important
The report's authors are honest: from a mathematical standpoint, these results are not sensational. Experts in computation theory know that many systems based on graphs and local transitions turn out to be computationally universal. Back in the Soviet mathematical tradition, Andrey Kolmogorov and Vladimir Uspensky described computing machines on graphs that are conceptually close to what the brain's navigation system does. Similar ideas were also developed in the work of Arnold Schönhage on storage modification machines in the 1970s.
But the value of this report lies elsewhere. It is the first attempt to holistically present these mathematical results in the specific language of the neurobiology of spatial navigation. It takes concepts that neurobiologists work with–landmark, cognitive map, mental travel, allocentric coordinate system–and shows how these concepts assemble into a computationally complete system. It's not “this is like a computer,” but “this is a computer, in the strict mathematical sense.”
It's as if someone translated “Hamlet” from English to Japanese for the first time–not a summary, but a true translation preserving every nuance. The story itself was already known. But now it speaks in another language, and this changes who can hear it and what new meanings are revealed within it.
Why This Matters for Understanding the Brain
Neuroscience has long asked: what is the mechanism of thought? How do electrochemical signals from neurons give rise to something as immaterial as an idea, a memory, or a plan? One strategy for an answer is to search for computational analogs. If we can show that a certain neural architecture can do what a computer does, we move closer to understanding how the brain “thinks” in a formal sense.
Allocentric navigation is one of the most thoroughly studied cognitive functions at the cellular level. We know where place cells live (the hippocampus), where grid cells live (the entorhinal cortex), and how they interact. This is a rare case where neuroscience can offer computation theory not an abstraction, but a concrete biological substrate.
If the navigational architecture is computationally universal, it means this: a brain capable of navigating space, in principle, possesses everything necessary to perform any computation. Evolution, by creating a system for finding a path, created something more–a universal computational mechanism. And perhaps this is why the hippocampus is involved so broadly: not only in navigation, but also in memory, imagination, and planning for the future.
The Mental Journey as the Foundation of the Mind
There is something deeply poetic in the idea that the mind–this invisible, intangible phenomenon–could be fundamentally spatial in its nature. That to think is to move. That an idea is a landmark on an internal map. That a line of reasoning is a route.
Of course, the report described here is a theoretical work about idealized architectures. The real brain is infinitely more complex than any model. It is noisy, nonlinear, and subject to fatigue and emotion. But that is precisely why theoretical proofs are so important: they delineate the possibilities–what such a system is capable of in principle, given enough resources.
And this possibility is immense. It tells us that an evolutionarily ancient system, which allowed our ancestors to not get lost in the savanna, carries within it the seed of universal intelligence. That the path from “remembering the way to the waterhole” to “proving a theorem” is not as long as it seems. That the map inside our heads is not just a layout of the terrain, but a score by which the brain performs the play called “Thinking.”
And if we ever manage to read this score in its entirety, we might understand not only how the brain navigates space, but also how it gives birth to meaning, builds memories, and creates what we call our selves.
