De mythe van de vierkleurenstelling

De vierkleurenstelling is het bekendste voorbeeld van een stelling die met behulp van een computer is bewezen. In 1976 bewezen de wiskundigen Kenneth Appel en Wolfgang Haken met behulp van uitgebreide computerberekeningen de vierkleurenstelling: voor een willekeurige landkaart is het mogelijk om de landen met hoogstens vier kleuren zò in te kleuren dat geen twee [...]

¶ Posted Tuesday 30 January 2007 § Bewijzen, Computers, Geschiedenis, Grafentheorie, Mythes, Stellingen ‡ Comments (4)