New Proofs Expand the Limits of What Cannot Be Known

In other words, Hilbert’s 10th problem is undecidable.

Mathematicians hoped to follow the same approach to prove the extended, rings-of-integers version of the problem—but they hit a snag.

Gumming Up the Works

The useful correspondence between…