Conjectura lui Kepler: problema a fost rezolvată în cele din urmă după 400 de ani

În 1611, fizicianul, matematicianul și astronomul german Johannes Kepler a propus că cea mai bună modalitate de a stiva obiecte sferice - cum ar fi fructele, de exemplu - ar fi să le aranjeze sub formă de piramidă. Cu toate acestea, nu a putut dovedi că avea dreptate, iar această problemă enigmatică a devenit în cele din urmă cunoscută sub numele de "Conjectura Kepler".

Căci, în conformitate cu New Scientist, în 1998, matematicianul american Thomas Hales a anunțat că a reușit să demonstreze că propunerea lui Kepler era corectă. La vremea respectivă, Hales s-a bazat pe o metodă matematică de calcul al tuturor posibilităților posibile ale unei teoreme pentru a ajunge la soluție.

Conturi și mai multe conturi

Pe baza acestei metode, Hales a considerat că, deși există modalități infinite de a stoca obiecte sferice la infinit, majoritatea sunt de fapt doar variații de câteva mii de posibilități. Astfel, matematicianul a împărțit problema în mii de moduri de organizare a obiectelor sferice care reprezentau matematic posibilitățile infinite ale aranjamentelor și au aruncat toate aceste informații în software pentru a face calculele.

Rezultatul a fost o mică stivă de 300 de pagini care a avut nevoie de patru ani pentru a verifica complet de către 12 recenzori! Și chiar și după atâta muncă, matematicienii nu erau deloc siguri că calculele erau corecte, susținând că nu erau decât 99 la sută siguri că soluția lui Hales a sprijinit cu adevărat propunerea lui Kepler.

În cele din urmă, 100% sigur

Ei bine, știi că „99% sigur” nu este suficient pentru matematică, nu? Pentru 2003, Hales a început un proiect care să-și demonstreze calculele, folosind două programe de verificare formale - numite Isabelle și HOL Light - pentru a-și examina activitatea.

Și nu este faptul că în cele din urmă au ajuns la o concluzie! Duminica trecută, 10 august, echipa lui Hales a anunțat că, după traducerea matematicii dense prezente în cele 300 de pagini din calculele din 1998, în limbaj computerizat, au reușit să stabilească că calculele au fost corecte. Cu alte cuvinte, după atâtea secole - și ani de eforturi depuse de Hales și echipa sa - propunerea lui Kepler a fost dovedită.

Iar faptul că spiritul lui Kepler se poate odihni în sfârșit în pace - și Hales își poate îndrepta atenția către o altă problemă complicată - nu este singura veste bună din toată povestea. Această tehnologie poate fi folosită pentru a verifica cantitatea mare de muncă care apare în fiecare an, eliberând matematicienii de la această sarcină nefericită și permițându-le să folosească acest timp pentru a se concentra pe alte probleme și pentru a-și dezlănțui creativitatea pentru a explora universul numerelor.