Kernwoord hales
-
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
-
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:
1 nieuwsbericht
1 achtergrondartikel
2 totaal aantal publicaties