Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note Series, 400)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Dense Sphere Packings: A Blueprint for Formal Proofs" von Thomas Hales ist ein Buch, das sich mit der mathematischen Theorie der Kugelpackungen beschäftigt. Insbesondere behandelt es das Kepler-Vermuten, das besagt, dass keine Anordnung gleich großer Kugeln im Raum dichter ist als die kanonische Stapelung in einer kubisch-flächenzentrierten Gitterstruktur. Das Buch bietet eine umfassende Darstellung der Methoden und Techniken, die zur formalen Verifizierung des Beweises dieses Vermutens notwendig sind. Es legt den Schwerpunkt auf die Verwendung von formalen Beweissystemen und Computeralgebra, um mathematische Beweise zu überprüfen. Hales beschreibt detailliert die Schritte seines Projekts "Flyspeck", das darauf abzielt, den Beweis des Kepler-Vermuten vollständig zu formalisieren. Durch die Kombination aus theoretischen Erklärungen und praktischen Anwendungen bietet das Buch einen tiefen Einblick in moderne Methoden der Mathematik und Informatik. Es richtet sich an Leser mit Interesse an Geometrie, algebraischer Topologie und der Anwendung von Computertechnologie in mathematischen Beweisen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
