Journey into Maths Country

La conjecture de Kepler- Comment ranger ses boulets ? (2x7)

Yayınlanma tarihi: Eki 10, 2023

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.