Computer bewijst het gelijk van stapelende groenteboer

Kepler vermoedde al dat bollen in een piramide het efficiëntst gestapeld zijn. |beeld AP / Frank May Wetenschap
Kepler vermoedde al dat bollen in een piramide het efficiëntst gestapeld zijn. |beeld AP / Frank May

Het omstreden computerbewijs van het vier eeuwen oude vermoeden van Kepler is werkelijk foutloos.

Het vermoeden van Kepler zegt dat harde bollen niet dichter gestapeld kunnen worden dan hoe iedere groenteboer zijn appels of sinaasappels schikt: met de volgende vruchten steeds in de kuiltjes van de laag eronder. In 1998 publiceerde de Britse wiskundige Thomas Hales een omstreden bewijs, waarbij hij een computer talloze onregelmatige stapelingen had laten narekenen. Andere wiskundigen deden een poging dat 300 paginas tellende bewijs te verifiëren, maar besloten na jaren werk uiteindelijk dat dat met de hand geen doen was. Hales bewijs, oordeelden ze, was daarom niet waterdicht. De …
PDF Print Stuur door

Elke dag onze nieuwsbrief?