Bewijs bijna bewezen
| Steven StroeykensBRUSSEL -- Het leven van een wiskundige is niet gemakkelijk. Thomas Hales van de universiteit van Pittsburgh heeft vijf jaar geleden met veel moeite een befaamde wiskundige stelling bewezen, die over de zogeheten dichtste bolstapeling. Maar dat volstaat voor zijn collega's niet om zeker te zijn: nu moet hij ook nog bewijzen dat hij die stelling bewezen heeft.
Hales vond in 1998 een bewijs van het 'vermoeden van Kepler', over de manier waarop bollen het dichtst op elkaar gestapeld kunnen worden. De compactste manier om bollen op elkaar te stapelen ...