Teaching set theory to six-year-olds as a way into mathematics, from arithmetic on, would come to be considered misguided, overcomplicating the basics and introducing jargon. Yet however radical a ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

The original version of this story appeared in Quanta Magazine. In 1994, an earthquake of a proof shook up the mathematical world. The mathematician Andrew Wiles had finally settled Fermat’s Last ...