“Mehr Linux, mehr Freiheit!” plakatierte die Münchner SPD im Wahlkampf 2003. (Ich wohnte damals in München, habe aber leider keine Fotos von den Wahlplakaten gemacht. Und im Netz findet man jetzt nichts mehr.) Hintergrund war damals, dass München als erste Großstadt (und zweite deutsche Stadt nach Schwäbisch Hall) den Vertrag mit Microsoft gekündigt hatte und…

Elliptische Kurven bilden heute die Grundlage der bei Amazon & Co. verwendeten Verschlüsselungsverfahren. Eine neue, am 25. April auf dem ArXiv erschienene Arbeit von Hales und Rays (Formal Proof of the Group Law for Edwards Elliptic Curves) liefert nun einen computerformalisierten Beweis der dafür grundlegenden Eigenschaften elliptischer Kurven. Elliptische Kurven sind für Kryptographie geeignet, weil…

In der Wikipedia läuft aktuell eine Löschdiskussion über „irreelle Zahlen“. Das ist ein Begriff, den es schlicht nicht gibt, Google kennt ihn nicht und das einzige Vorkommen in Google Books ist ein Buch über Transzendentalpsychologie von 1891. Die „irreellen Zahlen“ waren (als Weiterleitung) am 17. Mai 2007 angelegt worden und widersprechen übrigens schon deshalb den…

In einem Artikel Options for giving math talks and lectures online diskutiert Terence Tao die Möglichkeiten, den Hochschulbetrieb in Zeiten einer Epidemie aufrechtzuerhalten. Im Rahmen sozialer Distanzierungsbemühungen, um die Verbreitung des neuartigen Coronavirus zu verlangsamen, haben mehrere Universitäten inzwischen auf Online-Lehrmodelle umgestellt oder damit begonnen. […] Meine eigene Institution empfiehlt zum Beispiel die Verwendung von…

Im Augsburger Zeughaus findet schon seit dem Jahr der Mathematik 2008 vierteljährlich die an ein breites Publikum gerichtete Vortragsreihe „Faszination Mathematik und Physik“ statt (Flyer) Diesen Donnerstag ging es um die Mathematik des Straßenverkehrs. Es wurde erklärt, wie der Verkehrsfluß mathematisch modelliert wird, wie dann kürzeste Wege berechnet werden und wie dabei die von den…

Wer schon immer einmal wissen wollte, welches Verschlüsselungsverfahren Bitcoins verwenden: diese Frage wird seit gestern auf Mathoverflow diskutiert. Verwendet wird die sehr einfach aussehende elliptische Kurve über dem endlichen Körper für die Primzahl . (In dieser wiederum betrachtet man nur eine zyklische Untergruppe der Ordnung 115792089237316195423570985008687907852837564279074904382605163141518161494337.) Das Prinzip der Verschlüsselung mit elliptischen Kurven hatten wir…

Und noch ein interessantes Video: Kevin Buzzard berichtet sehr lebendig über die neuen Entwicklungen bei der Formalisierbarkeit mathematischer Beweise.

Ein Schnappschuß von der DMV-Tagung in Karlsruhe: Es geht darum, die Autos so umzuparken, dass das rote Auto ausfahren kann. Die Ausgangssituation war diese: Wer es ausprobieren will, kann das auf der Webseite von Imaginary tun (unter „Car Park“), es gibt dort auch wesentlich einfachere Schwierigkeitsgrade.

Die Neue Zürcher und die Scilogs berichten enthusiastisch, dass Google‘s Quantenprozessor „Sycamore“ („Bergahorn“) ein Problem in wenigen Minuten gelöst habe, für das andere Rechner Tausende Jahre benötigen würden. Einen sehr kritischen Artikel hat dagegen die Financial Times. Als Mathematiker würde mich ja interessieren, welches Problem dort eigentlich gelöst wurde. Leider ist die Vorveröffentlichung „Quantum supremacy…

„Spitzenforschung ganz einfach zu erklären, das ist so ziemlich das Schwierigste, was man im Fernsehen machen kann“ beginnt heute das heute Journal seinen Bericht über den Körberpreis für Bernhard Schölkopf und seine Arbeit zur künstlichen Intelligenz. Und versucht es dann doch. Es ginge darum, zwei Punktmengen durch eine Gerade zu trennen. In der ersten Aufgabe…