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…
Ein soziales Netzwerk hat 2019 Nutzer, von denen einige paarweise befreundet sind. Immer wenn der Nutzer A mit dem Nutzer B befreundet ist, dann ist auch der Nutzer B mit dem Nutzer A befreundet. Ereignisse der folgenden Art können wiederholt nacheinander stattfinden: Drei Nutzer A, B und C, von denen A mit B und C…
Die folgende Aufgabe stammt von der Internationalen Mathematikolympiade, die Mitte Juli in Bath stattfand, und sie ist erheblich schwieriger als man vielleicht zunächst denken würde. Ein soziales Netzwerk hat 2019 Nutzer, von denen einige paarweise befreundet sind. Immer wenn der Nutzer A mit dem Nutzer B befreundet ist, dann ist auch der Nutzer B mit…
Letzte Woche würde man über Twitter permanent mit der Frage nach dem Ergebnis von 8:2(2+2) oder Varianten jener Aufgabe belästigt. Das Ergebnis ist natürlich 16 und ich hatte eigentlich nicht vor, hier im Blog etwas zu diesem trivialen Problem zu schreiben. Aber in der New York Times vom vergangenen Freitag gibt es jetzt doch einen…
In einer Woche findet das Championsligafinale zwischen Tottenham und Liverpool statt. Ein Artikel von Andrés Navas auf Images des Mathématiques weist nun auf eine acht Jahre alte Arbeit Euler y un balón de fútbol von Saralegi-Aranguren und Royo Prieto hin, in der mit einfachen topologischen Argumenten (Euler-Charakteristik) die Fehlerhaftigkeit des Championsligalogos (Bild oben) bewiesen wird.…
Der folgende Artikel ist wieder ein Gastbeitrag von Dr. H. Grassmann aus Mühlenbeck. —————————————————————————————————————————————————————————————————————————————————————————————————————- Mit Povray kann man die Oberflächen dreidimensionaler Körper darstellen. Im Video wurden 64 verschieden gefärbte Eier ineinandergepackt und ein kugelförmiger Eierschneider, der an Größe zunimmt, schneidet Teile ab. Man kann das so oder so sehen: Man gräbt in das Ei, oder…
Multiplizieren kann mensch seit mindestens 4000 Jahren, wie babylonische Multiplikationstabellen belegen. Aber erst jetzt wurde der schnellstmögliche Algorithmus zur Multiplikation zweier Zahlen gefunden, in einer letzte Woche auf dem französischen Preprintserver HAL angelegten Arbeit „Integer multiplication in time O(n logn)“. Zur Vorgeschichte: 1971 hatten Arnold Schönhage und Volker Strassen vermutet, dass es für die Multiplikation…
Letzte Kommentare