Grafer och nätverkMaps

Det fyra färgsteoremet är det första välkända matematiska teoremet som bevisats med hjälp av en dator, något som har blivit mycket vanligare och mindre kontroversiellt sedan dess. Snabbare datorer och en effektivare algoritm innebär att du idag kan bevisa fyra färdsatser på en bärbar dator på bara några timmar.

Postmark for the Department of Mathematics at the University of
Illinois Urbana-Champaign, where Haken and Appel worked.