Grafice și rețeleMaps

Teorema în patru culori este prima teoremă matematică bine cunoscută care a fost dovedită folosind un computer, ceva care a devenit mult mai comun și mai puțin controversat de atunci. Calculatoare mai rapide și un algoritm mai eficient înseamnă că astăzi poți dovedi teorema de patru culori pe un laptop în doar câteva ore.

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