Mathlog

Turing-Maschinen aus Wasser

El País berichtet am 7. Mai über eine Arbeit spanischer Mathematiker, die (symbolisch) eine Turing-Maschine aus Wasser gebaut haben. (Die Überschrift „Cuatro matemáticos demuestran que era imposible predecir el destino de 29.000 patitos de goma en el mar“ bedeutet „Vier Mathematiker beweisen, dass es unmöglich war,…

Theorema Magnum MCMLXXXI: die Kazhdan-Lusztig-Vermutungen

Geometrische Darstellungstheorie untersucht Darstellungen algebraischer Gruppen durch geometrisch definierte Wirkungen, z.B. auf Schnitten von Bündeln oder Garben bzw. auf deren Kohomologie. Ein klassisches Beispiel ist der Satz von Borel-Weil-Bott, der die irreduziblen Darstellungen einer Lie-Gruppen G als …

Bayessche Statistik und Grippeepidemie gewinnen Comic-Wettbewerb

In Frankreich wird jedes Jahr der Wettbewerb „Bulles au carré“ für Comics (Bandes dessinées) zur Mathematik ausgetragen. Dieses Jahr gewann eine Veranschaulichung der Bayesschen Statistik am Beispiel der Grippewahrscheinlichkeit: „Gute Neuigkeit, Herr Condriac, wir sind genau in der Spitze der Epidemie, deshalb ist…

Theorema Magnum MCMLXXX: Shelahs Main Gap

Als Modell bezeichnet man in der Mathematik ein Modell eines Axiomensystems. Beispielsweise ist die Geometrie der euklidischen Ebene ein Modell des euklidischen Axiomensystems. Wenn man auf das Parallelenaxiom verzichtet, ist auch die Geometrie der hyperbolischen Ebene ein Modell des übrigbleibenden Axiomensystems. Die …

Scholze über mathematische Forschung

„I am just rephrasing what others have done in my own words, I‘m just repeating what they said. And sometimes you somehow combine it with something else you already learned and then you just say it in slightly different words, but suddenly it seems to have a different meaning somehow, but ... I don‘t know.“ so erklärt …