Diese Woche hatte ich einige Beiträge für den Blog des Heidelberg Laureate Forum geschrieben, die ich, da sie ja auch für die Leserschaft des Mathlog von Interesse sein könnten, auch von hier aus nochmal verlinken möchte:Zum mathematischen Teil (des Vortragsprogramms)Schönheit und...

Es liegt in der Natur einer Messung, dass sie nicht beliebig genau sein kann. Und selbst bei einer genauen Messung wird man Schwankungen des Meßwertes feststellen und häufig lassen sich solche Schwankungen sogar statistisch beschreiben. Als etwa 2002 der große Wissenschaftsskandal in der Festkörperphysik aufflog, da...

Autowerkstätten, die Mechanik und Diagnostik anbieten, kennt man auch aus Deutschland. Autowerkstätten, die Geometrie anbieten, habe ich in Deutschland noch nicht gesehen, sind in Polen aber recht häufig. Gemeint ist vermutlich Fahrwerksgeometrie? Aufgenommen irgendwo zwischen Świnoujście und Koszalin.

|- import_tame_classification /\ the_nonlinear_inequalities ==> the_kepler_conjectureist ein mit Hilfe von HOL formalisiertes Theorem, wobei the_kepler_conjecture definiert ist durch`(!V. packing V ==> (?c. !r. &1 &(CARD(V INTER ball(vec 0,r))) <=...

Numerisches Wurzelziehen und das wohltemperierte Klavier.Ein neues Video der Universität Chicago erklärt die Rolle der Mathematik für die Klaviermusik: Es geht um das Berechnen der zwölften Wurzel aus 2, die man für die Aufteilung der Oktave in der gleichtemperierten...