Article
Not just a matter of time: The busy beaver
Journey to the limits of computation with a number that's easy to describe but can't be calculated.
Here's the ancient proof that there are infinitely many prime numbers.
Mathematical models predict how fast a rumour will spread and how many people it's likely to reach.
A model of the interaction between predators and prey explains why sometimes frogs appear to eat snakes.
In these two short videos the legendary Andrew Wiles talks about what it was like to prove Fermat's Last Theorem, and what it feels like to do maths.
Image © Heidelberg Laureate Forum Foundation / Flemming – 2016