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...

Artikel vom 05.06.2014, Weiterlesen ...

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...

Artikel vom 01.06.2014, Weiterlesen ...

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...

Artikel vom 28.05.2014, Weiterlesen ...

Mathe-Apps X: Free Geo

Bei der ISEF (International Science and Engineering Fair), der weltgrößten Wissenschaftsmesse für Oberschüler (wohl sowas wie die globale Version von "Jugend forscht") ist Mitte Mai Free Geo, eine dynamische Geometrie-Software für Mobilgeräte, als bestes...

Artikel vom 25.05.2014, Weiterlesen ...

Google-Animation zum Zauberwürfel

Google begeht den 40. Geburtstag des Zauberwürfels heute mit einer Animation des Würfels, die man mit dem Mauszeiger "bearbeiten" kann. [youtube https://www.youtube.com/watch?v=llisetT44Wo&w=560&h=315] Aus Mathematiker-Sicht bilden die aus Hintereinanderausführungen von Drehungen...

Artikel vom 19.05.2014, Weiterlesen ...