\require{AMSmath}

Het vierkleurenprobleem

Beste mensen van Wisfaq.

Ik weet het, dit is niet de eerste keer dat er een vraag gesteld wordt over het vierkleurenprobleem, maar ik kom er echt niet uit.
Waarschijnlijk denken jullie nu: er zijn genoeg links bij eerder gestelde vragen waar het duidelijk staat uitgelegd. Kijk daar maar!

Helaas, ik ben bij alle links geweest, ook de Engelse. Daar zit 't probleem 'm nu juist. De uitleg van het probleem in de Nederlandse Caleidoscoop... bevat andere informatie dan de Engelse. Ik kan het niet echt op elkaar afstemmen. Kunnen jullie het kort en bondig in het Nederlands uitleggen? Ik weet wel wat reducibele configuraties zijn enzo, maar het bewijs voor de stelling krijg ik gewoon echt niet rond...
Willen jullie me alsjeblieft helpen?

Alvast enorm bedankt!
Groetjes

Boudew
Leerling bovenbouw havo-vwo - vrijdag 27 augustus 2004

Antwoord

Beste Boudewijn,
Je bent kennelijk op zoek naar 'het bewijs' voor het vierkleurenprobleem. Dit bewijs is echter het eerste computerbewijs in de wiskunde. Het is dusdanig groot van omslag dat nog niemand naar mijn weten dit heeft gecontroleerd en als ik me niet vergis kan dit ook niet.

Wat er gebeurd is, is dat men een computer alle mogelijke varianten heeft gecontroleerd en dat deze allemaal inderdaad lukte.

Het was dus dan ook voor het eerst dat het bewijs zelf niet is gecontroleerd door een groep wiskundigen (zoals gebruikelijk), maar de programmeercode van het programma is gecontroleerd.

Een geschreven bewijs is er dus niet naar mijn weten.

M.v.g.
Peter Stikker

PHS
zaterdag 28 augustus 2004

©2001-2024 WisFaq