Unter diesem Motto (einem Zitat Carl Friedrich von Weizsäckers) steht die Schnuppervorlesung der Universität Halle, in der Nils Waterstraat über die Mathematik des Unendlichen berichtet:

Fermats Vermutung sagte bekanntlich, dass xn+yn=zn für n≥3 keine nichttrivialen ganzzahligen Lösungen hat. Äquivalent soll xn+yn=1 keine rationalen Lösungen außer (0,1) und (1,0) sowie (wenn n gerade ist) (0,-1) und (-1,0) haben. Man weiß schon seit dem Altertum, dass es unendlich viele pythagoreischer Zahlentripel gibt, also ganzzahlige Lösungen von x2+y2=z2. Während die Unlösbarkeit der Fermat-Gleichung…

Morgen, am 16. Juni ist der Azat-Miftakhov-Tag. Azat Miftakhov ist ein bekannter junger Mathematiker und linker Aktivist, der von einem Moskauer Gericht wegen konstruierter Vorwürfe zu sechs Jahren Strafarbeit verurteilt worden ist. Als Zeichen der Solidarität organisiert ein Unterstützerkomitee eine online ausgetragene Veranstaltung, für die man nun tatsächlich die aktuell wichtigsten osteuropäischen jungen Mathematiker gewinnen…

Seit Weierstraß weiß man, dass sich jede stetige Abbildung durch Polynome und damit durch differenzierbare Abbildungen beliebig gut annähern läßt. Das überträgt sich auch auf Mannigfaltigkeiten, wo man stetige Abbildungen mittels beliebig kleiner Homotopien in differenzierbare deformieren kann. Das legt eigentlich nahe, dass Topologie von Mannigfaltigkeiten in der differenzierbaren Kategorie nicht anders sein sollte als…

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, dass Schicksal der Quietscheentchen im Meer vorherzusagen“, sie bezieht…

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 Kohomologiegruppen geeigneter Linienbündel über der Fahnenmannigfaltigkeit G/B beschreibt. Für eine algebraische Gruppe G hat man ein „Gebäude“ (einen…

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 die Wahrscheinlichkeit, dass ich mich bei Ihrer Diagnose geirrt habe, eher schwach.“…

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 Existenz eines Modells beweist die Widerspruchsfreiheit eines Axiomensystems. In der Modelltheorie als Teilgebiet…

„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.“…

Bekanntlich divergiert die harmonische Reihe , während man leicht zeigen kann, dass kleiner als 2 bleibt und deshalb konvergieren muß. Die Suche nach dem genauen Wert dieser Reihe wurde im 17. Jahrhundert als “Basler Problem” bekannt, gelöst wurde die Frage 1735 von Euler: . Heute gibt es hierfür einen einfachen Beweis, der die Fourier-Entwicklung der…