| dbo:abstract
|
- A matematikában a négyszín-tétel azt állítja, hogy egy tetszőleges régiókra osztott síkot, akár egy politikai térképet egy ország megyéiről, ki lehet úgy színezni legfeljebb négy szín felhasználásával, hogy ne legyen két azonos színű szomszédos régió. Két régiót akkor nevezünk szomszédosnak, ha nem csak izolált pontokban, hanem egy görbe mentén érintkeznek. A régióknak kell lenniük: tehát nem állhatnak különálló részekből, mint nem kevés ország, például Angola, Azerbajdzsán vagy az Amerikai Egyesült Államok. Az egészen nyilvánvaló, hogy három szín kevésnek bizonyulhat. Ez már egy olyan térképnél is megmutatkozik, ahol egy régiót három másik régió vesz körül (ámbár ha páros számú régió veszi körül, három szín is elég). Nem túl nehéz megmutatni, hogy öt szín elégséges egy térkép kiszínezéséhez. A négyszín-sejtés volt az első nevezetes matematikai sejtés, amit számítógép használatával sikerült bebizonyítani. Ez sok vitát váltott ki, hiszen lehetséges, hogy a programban, a számítógép hardverében, a fordítóprogramban stb. szisztematikus hiba van, amiről nem tudunk. Az is igaz azonban, hogy egy matematikus bizonyításába is csúszhat hiba, főleg, ha ilyen sok esetet kell megvizsgálni, mint ami a sejtés esetén is szükséges. Egy másik tényező a matematikai elegancia hiánya volt. Ahogy akkoriban mondták: „egy jó matematikai bizonyítás olyan, mint egy költemény; ez inkább olyan, mint a telefonkönyv!” (hu)
- A matematikában a négyszín-tétel azt állítja, hogy egy tetszőleges régiókra osztott síkot, akár egy politikai térképet egy ország megyéiről, ki lehet úgy színezni legfeljebb négy szín felhasználásával, hogy ne legyen két azonos színű szomszédos régió. Két régiót akkor nevezünk szomszédosnak, ha nem csak izolált pontokban, hanem egy görbe mentén érintkeznek. A régióknak kell lenniük: tehát nem állhatnak különálló részekből, mint nem kevés ország, például Angola, Azerbajdzsán vagy az Amerikai Egyesült Államok. Az egészen nyilvánvaló, hogy három szín kevésnek bizonyulhat. Ez már egy olyan térképnél is megmutatkozik, ahol egy régiót három másik régió vesz körül (ámbár ha páros számú régió veszi körül, három szín is elég). Nem túl nehéz megmutatni, hogy öt szín elégséges egy térkép kiszínezéséhez. A négyszín-sejtés volt az első nevezetes matematikai sejtés, amit számítógép használatával sikerült bebizonyítani. Ez sok vitát váltott ki, hiszen lehetséges, hogy a programban, a számítógép hardverében, a fordítóprogramban stb. szisztematikus hiba van, amiről nem tudunk. Az is igaz azonban, hogy egy matematikus bizonyításába is csúszhat hiba, főleg, ha ilyen sok esetet kell megvizsgálni, mint ami a sejtés esetén is szükséges. Egy másik tényező a matematikai elegancia hiánya volt. Ahogy akkoriban mondták: „egy jó matematikai bizonyítás olyan, mint egy költemény; ez inkább olyan, mint a telefonkönyv!” (hu)
|
