Kernwoord computerbewijs
-
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?
-
Blokken stapelen is geen kinderspel
dinsdag, 1 februari 2011 · Nieuws
In 1985 werd door twee wiskundigen een vermoeden geformuleerd over het symmetrisch stapelen van blokken. Een kwart eeuw later is er een bewijs. Computerrekenwerk was hierbij onmisbaar: uitgeschreven zouden alle berekeningen meer dan een miljoen volgedrukte A4-tjes in beslag nemen.
Auteur:
-
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: en
-
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:
-
Computer stapelt sinaasappels
dinsdag, 22 juli 2003 · Achtergrond
In 1998 heeft de wiskundige Thomas Hales met de hulp van computers het vermoeden van Kepler bewezen. Het vermoeden van Kepler is makkelijk uit te leggen – maar razend moeilijk om op te lossen! Kepler zei in 1611, dat de compactste manier om bollen van dezelfde grootte te stapelen, een piramide is. Hij gaf daar echter geen bewijs voor en dus was het aan volgende generaties van wiskundigen om dat te leveren.
Auteur:
3 nieuwsberichten
2 achtergrondartikelen
5 totaal aantal publicaties