On a recent train trip from Lyon to Paris, Vladimir Voevodsky sat next to Steve Awodey and tried to convince him to change the way he does mathematics. Voevodsky, 48, is a permanent faculty member at ...

Pi just got bigger. Google’s Compute Engine has calculated the most digits of pi ever, setting a new world record. Emma Haruka Iwao, who works in high performance computing and programming language ...

Dunning explores how mathematical notation is a social, world-building technology. It’s natural to think of math as being ...

Numbers rarely make headlines, but pi has a habit of doing exactly that. The famous constant, which is best known from school math as 3.14—never actually ends, and its digits never repeat their ...