Mathlog
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 HintergrundtextPROTIP: 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 unendliche...
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"...KIAS-Wandkalender Juni 2014
Wie versprochen zum Monatsanfang wieder der Wandkalender, wieder in 2 Hälften:Vieles ist sicher selbsterklärend. Die 2 spielt auf die Frage nach der Existenz unendlich vieler Primzahlzwillinge an, da gab es letztes Jahr ja einige Fortschritte. Die 3 zeigt das Morley-Dreieck: die Innenwinkel eines Dreiecks werden...


