| slovo | definícia |
four colour map theorem
(foldoc) | four colour map theorem
four colour theorem
(Or "four colour theorem") The
theorem stating that if the plane is divided into connected
regions which are to be coloured so that no two adjacent
regions have the same colour (as when colouring countries on a
map of the world), it is never necessary to use more than four
colours.
The proof, due to Appel and Haken, attained notoriety by using
a computer to check tens of thousands of cases and is thus not
humanly checkable, even in principle. Some thought that this
brought the philosophical status of the proof into doubt.
There are now rumours of a simpler proof, not requiring the
use of a computer.
See also chromatic number
(1995-03-25)
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4