Leslie Lamport gewinnt den Turing-Preis

In der Mathematik kennt man ihn vor allem wegen des "La" vor dem "TeX": Leslie Lamport ist der Erfinder von "LaTeX". Mitte der 1980er Jahre veröffentlichte er das Makropaket, das Donald E. Knuths TeX erst alltagstauglich machte. Nun hat Leslie Lamport, 73 Jahre alt, den Turing-Preis der Association for Computing...

Wie wurde Malaysia Air 370 lokalisiert?

Um es vorab zu sagen: ich weiß es nicht. Die Frage im Titel ist eine Frage oder eher eine Aufforderung zur Diskussion. Erörterungen zum mathematisch-physikalischen Hintergrund (in englischer Sprache) beginnen gerade auf Math StackExchange und auf MathOverflow.Ich hatte mich ja wie sicher die meisten...

Historisches

An der Sungshin Woman's University habe ich neulich mal zwei Vorträge gehört in einem Seminarraum, der mit verschiedenen Plakaten dekoriert war zur Mathematik (in einem sehr elementare Sinne: Zählen, Rechnen, Muster) in verschiedenen Ländern der Welt.Zunächst historische Rechenhilfsmittel aus verschiedenen Kulturen...

Schachevent der Extraklasse in Leipzig

Remake-Match der Jahrhundertspieler Spasski und Kortschnoi Leipzig/Bitterfeld-Wolfen (pts017/20.03.2014/14:00) - Dem Geschäftsführenden Gesellschafter des Wolfener Fotodienstleisters ORWO Net AG (PixelNet, Foto Quelle, myfoto) Dr. Gerhard Köhler, ist ein besonderer Coup gelungen. Gemeinsam mit seinen Mitstreitern...

Software dokumentieren!

Es klingt fast wie ein Schildbürgerstreich: Wenn in der Mathematik (aber nicht nur dort) Forschungsergebnisse mithilfe von Software gewonnen werden und die Autoren ihre Ergebnisse publizieren möchten, dann machen es auch namhafte Fachpublikationen keineswegs zur Pflicht, dass die betreffende Software mit eingereicht...