No label defined (Q4488034)

Verf. skizziert Geschichte, Problemkreis und aktuellen Kenntnisstand (Juni 1999) der sogenannten, erstmals von Kepler (1610) als Behauptung formulierten ``Keplerschen Vermutung'' (KV): ``Im dreidimensionalen euklidischen Raum \(E^3\) ist die Packungsdichte kongruenter Kugeln stets \(\leq d: =\pi/ \sqrt{18}\approx 0,74048\)''. Die Packungsdichte \(d\) wird z.B. erreicht bei der dichtesten gitterförmigen Kugelpackung -- hier bilden die Kugelmittelpunkte ein flächenzentriertes kubisches Gitter im \(E^3\). Der auf die Einleitung folgende Hauptteil der Note gliedert sich in die vier Abschnitte 1: Zur Geschichte der Kepler-Vermutung; 2: Dodekaeder-Vermutung und Problem der 13 Kugeln; 3/4: Prinzip/Strategie des Beweises der KV durch Hales und Ferguson. Er spannt einen Bogen von Kepler (1610) über Hilberts 18. Problem (1900), den Vorschlag von L. Fejes Tóth (1953) zur Zurückführung der KV auf ein nichtlineares Optimierungsproblem endlicher Dimension sowie den offenbar lückenhaften Beweisversuch der KV durch W.-Y. Hsiang (1991/93) bis hin zu dem im Titel dieser Arbeit angesprochenen, computergestützten Beweis der KV durch T. C. Hales und S. P. Ferguson (1997/98). Dieser Beweis erforderte die Lösung linearer wie nichtlinearer Optimierungsprobleme, wobei letztere durch geeignete, dominierende lineare Optimierungsprobleme ersetzt wurden; insgesamt waren hier ca. 100000 lineare Problem mit jeweils 100 bis 200 Variablen und 1000 bis 2000 Nebenbedingungen zu lösen. Der Schlußabschnitt 5: ``Ist die Kepler-Vermutung nun bewiesen?'' gipfelt in einem Credo des Verf. zu den Ergebnissen von Hales/Ferguson: dieses stützt sich sowohl auf die sorgfältig angelegte Strategie des Beweises als auch den konsequenten Einsatz der Intervallarithmetik bei seiner computergestützten Durchführung. Literatur-Hinweis: Die im wesentlichen gleiche Thematik behandelt auch \textit{Jörg M. Wills} [Int. Math. Nachr., Wien 179, 2--5 (1998; Zbl 0933.52022)]. For the entire collection see [Zbl 0939.00019].