Since the start of the 20th century, the heart of mathematics has been the proof — a rigorous, logical argument for whether a given statement is true or false. Mathematicians’ careers are measured by ...

Michael Freedman’s momentous 1981 proof of the four-dimensional Poincaré conjecture was on the verge of being lost. The editors of a new book are trying to save it. One of the most important pieces of ...

The study of differential algebraic geometry and model theory occupies a pivotal position at the interface of algebra, geometry, and logic. Differential algebraic geometry investigates solution sets ...