Pour des raisons de droits, ce programme n’est pas disponible dans le pays dans lequel vous vous trouvez.
Voyages au pays des mathsLa conjecture de Kepler- Comment ranger ses boulets ?
11 min
Disponible jusqu'au 09/10/2028
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.
La certification des démonstrations mathématiques est un chemin ardu et fastidieux.
Réalisation
Denis van Waerebeke
Pays
France
Année
2022
