La conjecture de Kepler
Quand les mathématiques nous renseignent sur la meilleure façon d'empiler ses oranges... Formulée en 1611, la conjecture de Kepler finira par être prouvée par Thomas Hales... en 1998 ! Grâce à des méthodes informatiques peu orthodoxes pour ses collègues. La certification des démonstrations mathématiques est un chemin ardu et fastidieux.
Tags : Astronomie Philosophie Science et techno
Ajouter une réaction
Pour réagir, identifiez-vous avec votre login / mot de passe, en haut à droite de cette page
Si vous n'avez pas de login / mot de passe, vous devez vous inscrire ici.
FAIRE UN DON
