Mathlog

Apollonische Kreise und Zahlentheorie

Nach Apollonios von Perge benannt ist das apollonische Problem: zu drei sich tangential berührenden Kreisen einen Kreis zu finden, der die drei anderen berührt. Beispiel: zu den oben mit 2,3,6 markierten Kreisen hat man den mit 23 markierten Kreis, der alle drei berührt, oder natürlich auch den alle…

Gab's Fermats Randnotiz wirklich?

Noch ein Nachtrag zum Artikel von gestern: ob Fermat seine berühmte Randnotiz wirklich so geschrieben hat wie wir sie kennen, das ist durchaus nicht erwiesen - die einzige Quelle hierfür ist bekanntlich sein Sohn, der den Nachlass herausgab mit den Randnotizen in Diophants Arithmetica. Noch viel unklarer ist,…

Kein Respekt vor Fermat

Der xkcd von gestern: mit dem Hintergrundtext

PROTIP: You can get around the Shannon-Hartley limit by setting your font size to 0. Fermat was ahead of his time in mathematical imagination. And internet trolling.

zeigt wenig Respekt vor den alten Meistern ... (Im xkcd-Forum wird übrigens debattiert, ob…

Jeder kann programmieren

Morgen startet die Initiative "Jeder kann programmieren", angeregt von Ranga Yogeshwar und Thomas Bendig: [youtube https://www.youtube.com/watch?v=kHGAnK-vn_g&w=560&h=315] Eine ähnliche Initiative in den USA gibt es schon seit einem Jahr unter dem Namen "The Hour of Code": [youtube …

Computer-Beweise und univalente Grundlagen

Vor einigen Jahren hatten wir hier mal zu den neuen Möglichkeiten der Computer-Verifikation mathematischer Beweise geschrieben (Was ist ein Beweis?). Das Thema hat sich inzwischen weiterentwickelt, u.a. gab es am IAS in Princeton ein thematisches Jahr 2012/13 über die "univalenten Grundlagen der Mathematik",…