September 2021

Vier-Farben-Satz

Für das Einfärben einer beliebigen Landkarte benötigt man maximal 4 Farben. Bewiesen durch den ersten computerunterstützten Beweis in der Geschichte der Mathematik.
Das Skriptum beinhaltet die Thematik und den formalen Beweis für 5 Farben.