Voyages au pays des mathsLa conjecture de Kepler- Comment ranger ses boulets ?

Arte
|

Documentaires science

2022

10 min 7 s

Tous publics

Disponible jusqu'au 15/05/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.En savoir plus
Diffusé le 14/12/2024 à 00h00 - Disponible jusqu'au 15/05/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.
Maison de production :
LES FILMS D ICI
Réalisé par :
Denis van Waerebeke