16
online
8 451 509
firm
671 225
produktów
7 820 255
numerów
7
opinii i ocen
Twierdzenie o czterech barwach
W 1976 roku Kenneth Appel i Wolfgang Haken udowodnili: każdą mapę można pokolorować 4 kolorami tak, żeby żadne dwa sąsiednie kraje nie miały tego samego koloru. Pierwszy ważny dowód z użyciem komputera.
- Problem postawiony w 1852 — nierozwiązany przez 124 lata
- Komputer sprawdził 1936 konfiguracji — kontrowersje: „czy to prawdziwy dowód?"
- Otworzył debatę o roli komputerów w matematyce
Dodaj swoją opinię
Historia życia na Ziemi
★ Ta strona (1976)
Twierdzenie o czterech barwach
Dziś
Współczesność
Moja oś czasu
Zaloguj się, aby tworzyć swoją oś czasu
Zaloguj się🔗 Powiązane
👍 Oceń ten wpis
Czy ten wpis był interesujący?
Ostatnie głosy
Ładowanie...