Meide die Ecken: Mathematiker lösen 2000 Jahre altes Problem
#Forschung #Wissenschaft #Problem #Mathematik #Lösung #Würfel #Ecken #Beweis #PlatonischeKörper #ForschungundWissenschaft #Allgemein

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․

Formal bewiesen: Rust kann seine Sicherheits-Versprechen halten
#Sicherheit #Forschung #Security #Wissenschaft #Informatik #Programmierung #Programmiersprache #Rust #Beweis #Dissertation #Entwicklung #Software

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․

Einstein-Form: Hobby-Forscher löst ein großes Rätsel der Mathematik
#Mathematik #Tests #Kopien #Kacheln #Rätsel #Muster #Figur #Pappe #Experimente #Glück #Beweis #Visuell #Hut #Analysen #Faszination #Vorhersehbar #Regelmäßig #Aperiodisch #Verlegen #Nobelpreisträger #Geometrie #ForschungundWissenschaft #Allgemein

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 bildet․