Desktop

Wenn in Korea, wo ich seit zwei Jahren arbeite, Mathematiker die Entwicklung ihres Faches in den letzten 30 Jahren veranschaulichen wollen, erwähnen sie gerne, dass die Zahl der Veröffentlichungen koreanischer Mathematiker in Fachzeitschriften in dieser Zeit von 3 (drei) im Jahre 1981 auf aktuell mehr als 50.000 (fünfzigtausend) pro Jahr gestiegen wäre. Diese Zahlen vermitteln…

Der folgende Artikel ist ein Bericht über eine Panel-Diskussion auf dem Heidelberg Laureate Forum. I.W. denselben Artikel (mit mehr Bildern) kann man auch auf dem HLF-Blog ansehen. Die Diskussion fand am Dienstag nachmittag in der Alten Universität Heidelberg statt, mit acht Panelisten und wohl mehr als 200 Zuhörern. Einer der Teilnehmer war Pheakdey Nguonphan, Dekan…

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 Wahrheit (zu Atiyah) Perkolation und die Macht der Bilder (zu Werner) Antiphilosophisches…

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 war man unter anderem deswegen stutzig geworden, weil die…

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_conjecture ist 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 Stimmung benötigt. Verfahren zur Berechnung der waren in Europa erst um 1600 bekannt (in China…

Pascals magisches Sechseck, Rep-4-tile, Two Twos und allerlei Zahlenspielereien – auch diesen Monat wieder die obligatorischen Bilder vom KIAS-Mathekalender: Die Formel für die 2 ergibt sich unmittelbar aus durch Multiplikation mit (-1) und Addition von . Ein Rep-4-tile (Bild unten) ist ein Teil, das in 4 kleinere Kopien seiner selbst zerlegt werden kann. Als Pascals…