Skip to content
Field Atlas

Atlas / Biology / The Brain Thread

Field · Emerged 1943 – 1986

Computational Neuroscience

Can what the brain does be described as computation, and if so, what does it compute and how?

4 chapters5 min read6 turning points1 open problem

Branched from
Systems Neuroscience + Synaptic Transmission
Branched into
Not yet surveyed past here
Figures
Warren McCulloch, Walter Pitts, Donald Hebb, Frank Rosenblatt, Marvin Minsky, Seymour Papert, David Marr, John Hopfield, David Rumelhart, Geoffrey Hinton, Sydney Brenner

In brief

Computational neuroscience uses mathematics and computer models to explain how nervous systems process information. It builds models at every scale, from the ion channels of a single neuron to networks of millions, and asks which computations they perform. It also asks the reverse question: given a task such as seeing or remembering, what must any system that performs it be doing?

The field began in 1943, when McCulloch and Pitts showed that idealised neurons could compute any logical statement. Hebb proposed in 1949 that learning strengthens the synapses between neurons that fire together. The perceptron learned from examples, Marr set out the levels at which a brain can be explained, and Hopfield showed how memories could be stable states of a network. Artificial neural networks, which descend from these ideas, now power much of modern computing. Meanwhile complete wiring diagrams, first of a worm and in 2024 of a fly, give models a real circuit to explain.

Key ideas

Threshold unitEnters 1943

A model neuron that adds up its weighted inputs and fires if the total reaches a threshold. Networks of such units can compute any logical function.

Hebbian learningEnters 1949

The rule that a synapse strengthens when the cell before it repeatedly helps to fire the cell after it, often summarised as "cells that fire together wire together".

Learning from examplesEnters 1958 – 1969

Adjusting the weights of a network a little after each mistake, so that its responses to a set of training examples improve. Backpropagation does this for networks with many layers.

Levels of explanationEnters 1969 – 1982

Marr's three levels: what problem a system solves and why, what representations and steps it uses, and how these are built in physical hardware.

ConnectomeEnters 1986 – 2024

A complete map of the neurons in a nervous system and the synapses between them.

Draws on other domains

  • ↙ Physics

    Magnetism

    Memories as low-energy states

Chapter I

Neurons as Logic

In 1943 the idea that the brain computes was put in precise form. Warren McCulloch, a neurophysiologist in Chicago, and Walter Pitts, a largely self-taught teenage logician, took the all-or-none impulse of electrophysiology and the excitatory and inhibitory synapses of Sherrington, and stripped them to essentials. A model neuron adds its inputs and fires if the sum reaches a threshold. They proved that networks of such units can compute any statement of logic, and, given a tape for memory, anything a Turing machine can. John von Neumann borrowed their notation when he described the design of the stored-program computer in 1945.

In 1949 the Canadian psychologist Donald Hebb proposed how such networks could learn. When one neuron repeatedly helps to fire another, the connection between them grows stronger. Groups of neurons that are often active together would bind into assemblies that stand for things and ideas. It was a guess, and a quarter of a century passed before long-term potentiation, found by the students of synaptic transmission, gave it strong support.

Chapter II

Machines That Learn

In 1958 Frank Rosenblatt described the perceptron, a network of threshold units with a rule for learning. After each wrong answer, the weights of the active inputs are nudged towards the right answer. He proved that if some setting of the weights solves a classification, the rule will find it, and built a machine, wired to a camera of 400 light sensors, that learned to tell simple shapes apart. Newspapers promised machines that would soon walk, talk and think.

In 1969 Marvin Minsky and Seymour Papert published Perceptrons, which proved that a single layer of trainable units cannot compute some simple functions. Multilayer networks could, but nobody knew how to train them. Rosenblatt died in 1971, and research on neural networks waned.

Meanwhile David Marr in Cambridge and then at MIT built theories tied to real circuits, first of the cerebellum and then of vision. His lasting contribution was a way of thinking. A process in the brain must be understood at three levels: what problem it solves, what representation and procedure solve it, and how the hardware carries that out. Knowing every neuron is not enough without the first level.

Chapter III

A Closer Look: Logic from Thresholds

A McCulloch–Pitts unit, in the simplified form usually taught today, takes inputs x1,x2,…x_1, x_2, \ldots that are each 0 or 1, multiplies each by a weight wiw_i, and fires, giving output 1, if

w1x1+w2x2+⋯≥θ,w_1 x_1 + w_2 x_2 + \cdots \geq \theta ,

where θ\theta is its threshold. With two inputs of weight 1, a threshold of 2 makes an AND gate, since both inputs must be active. A threshold of 1 makes an OR gate. A single input of weight −1-1 with threshold 0 makes a NOT gate: it fires when the input is 0, because 0≥00 \geq 0, and is silent when it is 1, because −1<0-1 < 0.

x1x_1x2x_2AND (θ=2\theta = 2)OR (θ=1\theta = 1)XOR
00000
01011
10011
11110

The last column, exclusive or, fires when exactly one input is active. No single unit can compute it. The unit must be silent for input (0,0)(0,0), so 0<θ0 < \theta. It must fire for (1,0)(1,0) and (0,1)(0,1), so w1≥θw_1 \geq \theta and w2≥θw_2 \geq \theta. Adding these gives w1+w2≥2θw_1 + w_2 \geq 2\theta, which is greater than θ\theta because θ\theta is positive. So the unit would also fire for (1,1)(1,1), which is wrong. A computer search over every integer weight and threshold from −5-5 to 55 finds none that works, as the argument says it must.

Two layers solve it. Feed x1x_1 and x2x_2 to an OR unit and an AND unit, then feed those to a third unit with weights +1+1 from OR and −2-2 from AND, and threshold 1. For (1,0)(1,0) the third unit receives 1−0=11 - 0 = 1 and fires. For (1,1)(1,1) it receives 1−2=−11 - 2 = -1 and stays silent. This is the whole of Minsky and Papert's objection and its answer in miniature: one layer cannot, two layers can, and the difficulty was finding the weights of the hidden layer by learning rather than by hand.

Chapter IV

Energy, Errors and Wiring

In 1982 John Hopfield, a physicist, gave a network of symmetrically connected units an energy that can only fall as the units update. Memories stored by a Hebbian rule become valleys in this energy, and a network started from a fragment slides into the nearest whole memory, the same mathematics as a magnet in statistical mechanics. A network of 1,000 units can hold about 138 random memories before they blur together. In 1986 David Rumelhart, Geoffrey Hinton and Ronald Williams showed that backpropagation, passing errors backwards through the layers, trains the hidden units that Minsky and Papert had found lacking. Deep learning grew from this.

Models also needed real circuits. In 1986 John White and Sydney Brenner published the complete wiring of the worm C. elegans, and in 2024 the FlyWire consortium mapped all 140,000 neurons of a fruit fly's brain. Even with the worm's wiring known for decades, its behaviour cannot yet be predicted from it, because the diagram does not say how strong each synapse is or what signals it uses. How the brain itself solves the problem that backpropagation solves for machines, deciding which synapses to change after a mistake, is still unknown.

Applications

Where it is used

  • Mathematics↗ Mathematics · Computability Theory

    Finite automata and regular expressions

    Stephen Kleene asked exactly which patterns of input a McCulloch–Pitts network can recognise. His answer, the regular events, defined what are now called regular expressions and the theory of finite automata, the simplest machines of computation theory and the basis of text search in every computer.

    › Sources (1)
    • Kleene, S. C. (1956). Representation of events in nerve nets and finite automata. In Shannon, C. E. & McCarthy, J. (eds.), Automata Studies, pp. 3–41. Princeton University Press.
  • Computing

    Deep learning

    Networks of simple units with many layers, trained by backpropagation on large data sets, now recognise speech and images and generate text. They descend directly from the perceptron and the connectionist models of the 1980s.

    › Sources (1)
  • Engineering

    Neuromorphic chips

    Carver Mead proposed in the late 1980s building chips whose circuits work like neurons, with analogue signals and spikes. Such chips can run neural networks on a small fraction of the power of ordinary processors.

    › Sources (1)

Open problems

Where the map runs out

Open

How does the brain learn?

Open as of 2026; several biologically plausible learning rules have been proposed, none established.

Artificial networks learn by backpropagation, which sends precise error signals backwards through every layer. Real neurons do not seem able to do this. Yet the brain learns, somehow working out which of its trillions of synapses to change after a mistake. This is the credit assignment problem. Does the brain approximate backpropagation, or use a different principle altogether?

Why it is hard

Learning rules act at synapses too small and numerous to watch in large numbers over the days a skill takes to learn. Several candidate rules can train model networks equally well, so success at a task does not show which one the brain uses.

What resolving it unlocks

A theory of learning that links synapses to behaviour, and possibly artificial systems that learn from far less data and energy than today's.

› Sources (1)

Further reading

  1. Cobb, M. (2020). The Idea of the Brain: The Past and Future of Neuroscience. Profile Books.

    A history of how each era has pictured the brain, from hydraulics to computers.

  2. Dayan, P. & Abbott, L. F. (2001). Theoretical Neuroscience: Computational and Mathematical Modeling of Neural Systems. MIT Press.

    The standard graduate textbook of the field.

  3. Marr, D. (1982). Vision. W. H. Freeman.

    A founding book, still read for its first chapter on levels of explanation.