Ein britischer Hobby-Mathematiker hat eines der faszinierendsten visuellen Rätsel der Mathematik gelöst: Er fand eine einzelne so genannte Einstein-Form – also eine geometrische Figur, die in Kacheln angeordnet kein sich wiederholendes Muster b…
Die Programmiersprache Rust kann ihr Sicherheits-Versprechen tatsächlich einhalten. Dafür hat ein Informatiker einen formalen Beweis vorgelegt. Die Popularität Rusts dürfte dadurch in der kommenden Zeit noch einmal deutlich steigen. (Weiter l…
Selbst nach 2000 Jahren, in denen sich Matehematiker mit den Platonischen Körpern beschäftigen, sind noch immer nicht alle Fragen zu ihnen geklärt. Nun hat sich aber eine Überraschende Lösung für ein Wege-Problem ergeben. (Weiter lesen)