kennislink.nl maakt nieuwsgierig

Kernwoord vierkleurenprobleem

1. Streven computers straks zelfs wiskundigen voorbij?

   vrijdag, 23 september 2011 · Achtergrond

   Het bedenken van een nieuw wiskundig bewijs is nog voorbehouden aan een creatief brein. Maar controleren of een wiskundig bewijs klopt, daarvoor zijn al computerprogramma’s ontworpen. Inmiddels worden bewijzen echter zó ingewikkeld dat ze door mensen niet meer te toetsen zijn; slagen computers straks daar waar wiskundigen nu zelf nog falen?

2. Formele bewijzen: het DNA van de wiskunde

   vrijdag, 14 november 2008 · Nieuws

   Het decembernummer van de Notices of the American Mathematical Society heeft als thema ‘formal proof’, met artikelen over de recentste ontwikkelingen van door computers gegenereerde en door computers geverifieerde bewijzen.

   Auteurs: Alex van den Brandhof en Koen Vervloesem

3. Laatste twijfels vierkleurenprobleem weggewerkt

   dinsdag, 25 januari 2005 · Nieuws

   Volgens computers heb je maximaal vier kleuren nodig om een landkaart zó te kleuren dat buurlanden nooit dezelfde kleur hebben. Aan de juistheid van computerbewijzen werd vaak getwijfeld. Tot nu… hopelijk.

   Auteur: Alex van den Brandhof