Logiker: „Eine Katze hat vier Pfoten. Isidor und Fritz haben jeder vier Pfoten. Also sind Isidor und Fritz Katzen.“ Alter Herr: „Mein Hund hat auch Pfoten.“ Logiker: „Dann ist er eine Katze.“ Alter Herr: „Dann wäre also logischerweise mein Hund eine Katze.“ Logiker: „Logischerweise ja. Aber das Gegenteil ist auch wahr.“ Alter Herr: „Das ist…

Das Produkt zweier Summen von zwei Quadraten ist wieder eine Summe von zwei Quadraten: . Das kann man natürlich durch direktes Ausrechnen überprüfen, es folgt aber auch aus der Produktformel für Beträge komplexer Zahlen, wenn man z=a+bi, w=c+di setzt und dann den Betrag von zw=(ac-bd)+(ad+bc)i in die Produktformel einsetzt. Von Bedeutung in der Zahlentheorie war…

Das von Carl Friedrich Gauß in seinem Jugendwerk Disquisitiones Arithmeticae bewiesene quadratische Reziprozitätsgesetz gilt heute als der Übergang von der elementaren zur algebraischen Zahlentheorie: es handelt sich um ein elementares Problem, das von Gauß mit elementaren Mitteln bewiesen wurde, jedoch machte die Suche nach Verallgemeinerungen des Reziprozitätsgesetzes große Teile der dann entstehenden algebraischen Zahlentheorie aus.…

Wie groß ist die Wahrscheinlichkeit, dass eine geschlossene Kurve auf einer Brezelfläche die Fläche in zwei getrennte Komponenten zerlegt? (So wie im Bild oben die mittlere Kurve, während die anderen beiden Kurven die Fläche nicht zerlegen.) Maryam Mirzakhani, Fields-Medaillistin 2014, hatte diese Wahrscheinlichkeit seinerzeit als Nebenprodukt ihrer Berechnung des Volumens des Modulraums hyperbolischer Metriken mit…

Carl Friedrich Gauß wird nachgesagt, er hätte in freien Momenten gerne mal Primzahlen gezählt und wäre so schon als 15-jähriger auf die Vermutung gekommen, die Anzahl der Primzahlen kleiner N sei asymptotisch gleich N/ln(N), oder (mit einer viel besseren Näherung) asymptotisch gleich Li(N), dem (uneigentlichen) Integral von 1/ln(x) über das Intervall von 0 bis N.…

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

Auf YouTube gibt es ein neues Video (eines allerdings schon vor einem halben Jahr gehaltenen Vortrags) über ein neues mathematisches Forschungsgebiet, die „condensed mathematics“: Es geht um das Problem, dass mit einer Topologie versehene algebraische Strukturen keine abelsche Kategorie bilden, man also keine sinnvolle Definition von Kern und Kokern hat. Was zum Beispiel sollte der…

Eine Methode, die uns die qualitativen Beziehungen in einem Raum zu erkennen erlaubt, könnte auf gewissen Weise Dienste leisten, die jenen der Zahlen analog wären. Bei dieser Methode kann es sich nur um die Topologie von mehr als drei Dimensionen handeln. Nichtsdestoweniger ist bis zur Gegenwart dieser Zweig der Wissenschaft kaum kultiviert. Was mich betrifft,…

In Émile Borels 1894 eingereichter Dissertation „Sur quelques points de la théorie des fonctions“ ging es eigentlich um eine Verallgemeinerung der Methode der analytischen Fortsetzung. Als Hilfsmittel bewies er dabei aber auch einen Satz, von dem er meinte, dass er „von unabhängigem Interesse“ sein dürfte: wenn man das abgeschlossene Intervall [a,b] durch (unendlich viele) offene…

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.