Die Keplersche Vermutung

Sir Walter Raleigh wollte wissen, wie Kanonenkugeln in einem Schiff am dichtesten aufgestapelt werden können. Im Jahre 1611 gab der Astronom Johannes Kepler die einleuchtende Antwort: genau so, wie Gemüsehändler Orangen und Tomaten auf den Marktständen aufstapeln. Doch dies war lediglich eine Vermutung, die Mathematiker vier Jahrhunderte lang zu beweisen versuchten. Erst 1998 gelang es dem amerikanischen Mathematiker Thomas Hales, die Vermutung mit der Hilfe von Computern mathematisch zu beweise