Tucked away in a seemingly forgotten corner of the Istanbul Archaeology Museum, Daniel Mansfield found what may solve one of ancient math’s biggest questions. First exhumed in 1894 from what is now ...

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean. In ancient Greece, Euclid ...

Visit NAP.edu/10766 to get more information about this book, to buy it in print, or to download it as a free PDF. For many people, free association with the word “mathematics” would produce strong, ...