kennislink.nl maakt nieuwsgierig

Kernwoord bolstapeling

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. Record tetraëders pakken

   zondag, 13 december 2009 · Nieuws

   Een team van wiskundigen heeft een verrassend compacte stapeling van tetraëders – regelmatige viervlakken – gevonden. De vullingsgraad is 85,03%; dat wil zeggen dat 85,03% van een grote doos gevuld kan worden met deze objecten door ze efficiënt te stapelen. Nooit eerder heeft iemand méér piramides in een doos gekregen. Een bijkomstig resultaat is dat de stapeling de structuur van een quasikristal vertoont; dit tot ieders grote verrassing.

   Auteur: Alex van den Brandhof

3. 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

4. Kanonskogels stapelen

   dinsdag, 1 december 1998 · Achtergrond

   Op 9 augustus 1998 kondigde de Amerikaanse wiskundige Tom Hales van de Universiteit van Michigan per e-mail aan dat het hem gelukt was om een bewijs te geven voor het vermoeden van Kepler. Als dit bewijs correct is heeft hij de dichtst mogelijke bolstapeling in de ruimte bepaald en daarmee een van de oudste problemen uit de wiskunde opgelost.

   Auteur: Hans Melissen