Mathlog

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…

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…

Wer kennt Daum and Kakao?

Ich hatte das erst als Rätselfrage stellen wollen, aber die Suchmaschinen ... Also: wir schreim das Jah 2014. Ganz Internet is inne Hant vonnie Google und Facebook... Ganz Internet? Nee! Da giepas ein Dorf mit steifnackige Feffersäcke, die ümmer noch Sperenzien machn un sich vonne Quiddjes nich unnerkriegn lassn. …