Computer stapelt sinaasappels
In 1998 heeft de wiskundige Thomas Hales met de hulp van computers het vermoeden van Kepler bewezen. Het vermoeden van Kepler is makkelijk uit te leggen – maar razend moeilijk om op te lossen! Kepler zei in 1611, dat de compactste manier om bollen van dezelfde grootte te stapelen, een piramide...