sciencebriefs
10:54in productionCh. 1 · The end of the radical dream/ 10:54 · ceiling 15 min
Computing & AI · Physics

Évariste Galois

Galois didn’t just solve an old problem — he invented the language to say why some problems can’t be solved at all.

Galois defined solvability by radicals in terms of group structure — not calculation. He introduced normal subgroups, solvable groups, and finite fields. His results are exact, general, and still operative. They do not extend to algorithms, numerics, or physics. His work matters because it draws a permanent line between what is algebraically decidable and what is not.

Chapters & takeaways4
  1. 1:18
    The end of the radical dream

    He solved a 350-year-old problem — not by computing more, but by redefining what 'solving' means.

  2. 3:05
    The group is the equation

    Solvability depends not on the coefficients, but on the symmetry of the roots’ permutations.

  3. 4:52
    Tools before theory

    Normal subgroups and finite fields weren’t applications — they were the first tools forged for the new algebra.

  4. 7:13
    Two separate breakthroughs

    His continued-fraction result is self-contained, exact, and unrelated to group theory — proof he worked across domains.

Worth your time?

Yes. Study the whole thing.

4.5/ 5
What works
  • group-theoretic solvability criterion
  • definition of normal subgroups
  • introduction of finite fields
  • mirror-image theorem for quadratic surd continued fractions
What does not
  • experimental validation
  • numerical computation
  • physical application
  • algorithmic implementation
Study it if
  • computer scientists
  • cryptographers
  • algebraists
Skip it if
  • physicists
  • biologists
  • engineers without algebraic modelling needs
The written brief1 min read

What the work claims

A polynomial equation is solvable by radicals if and only if its Galois group is solvable. A reduced quadratic surd and the negative reciprocal of its conjugate have purely periodic continued fractions whose repeating blocks are mirror images. Finite fields and normal subgroups were introduced as foundational algebraic objects.

How it was done

Galois related solvability of polynomial equations to the structure of a group of permutations of their roots — the Galois group — and introduced proper decomposition of groups, leading to the definition of normal subgroups.

What holds up

His necessary and sufficient condition for solvability by radicals holds. His characterisation of solvable groups via nested normal subgroups with abelian quotients holds. His mirror-image theorem for continued fractions of reduced quadratic surds holds. His introduction of finite fields and normal subgroups holds.

What does not

The sources do not report any experimental validation, numerical computation, or application to physical systems. Nothing is said about computational complexity, algorithmic implementation, or extension beyond polynomials and quadratic surds.

Why it matters beyond the lab

These ideas define the boundary between what can and cannot be computed algebraically — a distinction that shapes modern computer algebra, error-correcting codes, and cryptographic protocols built on finite fields.

Is it worth your time

Yes. His criteria remain the definitive test for radical solvability, and his definitions underpin modern algebra, cryptography, and coding theory.

Same field · Computing & AI4 of 46
13:34
Gödel's incompleteness theoremsKurt GödelGödel’s 1931 incompleteness theorems show that no consistent, effectively axiomatized formal system capable of arithmetic can be both complete and self-consistent. They ended Hilbert’s program. Their method — Gödel numbering and diagonalisation — became foundational for computability theory. They do not apply outside formal systems satisfying strict technical conditions.
13:00
Turing machine1936Alan Turing's 1936 paper introduced an abstract device, now called a Turing machine, consisting of an infinite tape of symbols and a finite table of rules for reading, writing and moving along it, built to answer David Hilbert's question of whether mathematics is fully decidable. Turing proved it is not, by showing that no machine can determine in general whether another arbitrary machine will ever halt, the halting problem. The same model, alongside Alonzo Church's independent and near-simultaneous proof using different mathematics, became the basis of the Church-Turing thesis, the working definition of what 'computable' means, while remaining a poor description of how real, fast computers are actually built.
13:00
Halting problemIn a 1936 paper written to answer a question posed by David Hilbert, Alan Turing described an abstract computing device and used it to show that no single procedure can look at an arbitrary program and its input and always correctly say whether the program will finish or run forever. The argument works by contradiction: assume such a checker exists, then build a program that does the opposite of whatever the checker predicts about itself, which the checker cannot get right either way. Alonzo Church reached an equivalent result at almost the same time using a different mathematical language. The finding still governs what software tools can and cannot promise about a program's behaviour.
13:00
Cellular automatonWorking at Los Alamos with Stanislaw Ulam, John von Neumann designed a cellular automaton, a grid of cells each following the same simple rule based on its neighbours, as a way to ask whether a machine could construct a working copy of itself without outside help. His design used 29 possible states per cell and produced a genuine universal constructor, a theoretical proof that self-reproduction did not require anything mysterious, years before the structure of DNA was known. The idea of a grid governed by local rules later took on a life of its own, most famously in John Conway's Game of Life and in Stephen Wolfram's later classification of how such simple systems can behave, from settling down to running forever without repeating.
Up next in Science

Extraterrestrial atmosphere

· 13:00

David Charbonneau used starlight filtered through a planet's air during a transit to detect sodium around a distant world in 2002, opening a method that has since found water, carbon dioxide, and a puzzling absence of methane.

13:00