VierfarbensatzHeute las ich in “Mathematische Expeditionen” von Ivars Peterson, das Vierfarbenproblem sei 1971 von Kenneth Appel und Wolfgang Haken gelöst bzw. bewiesen worden. Ein kleiner Exkurs brachte mich auf folgende Wikipediaseite. Ich dachte diese Sache wäre von George Spencer Brown mit den Laws of Form gelöst? Zumindest ist in dem Wikipedia-Beitrag ein Hinweis auf die Laws. Die erste Ausgabe der Laws erschien 1969. Keine Ahnung, ob Spencers Beweis bzgl. des Vierfarbenproblems dort schon enthalten war. Tja, so ist sie die Wissenschaft ….