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

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

Als Mathe-Studentin an der TU Berlin habe ich den Eindruck, dass zwar der Anteil an Studienanfängerinnen sehr hoch ist, diese jedoch oft später den Studiengang wechseln, ein Lehramtsstudium anstreben oder einen sehr wirtschaftsorientierten Studienschwerpunkt wählen. In allen anderen Fachbereichen und später in...

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

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