Het platte vlak heeft minstens vijf kleuren nodig3 mei 2018Eindelijk stap vooruit in zeventig jaar oud wiskundeprobleemHoeveel kleuren zijn minimaal nodig om een plat vlak in te kleuren, onder voorwaarde dat geen twee punten op onderlinge afstand 1 dezelfde kleur hebben? Al bijna zeventig jaar is bekend, dat dit me...
'Superbewijs' te lang om te checken24 maart 2014Wiskundeprobleem alleen met computer te bewijzenEr is weer een oud wiskundeprobleem opgelost, maar er is één probleem: de redenering en het bewijs controleren kost zoveel rekenwerk dat de uitkomst nooit door mensen te checken is. Het bewijs is m...