Cea mai lunga demonstratie matematica realizata vreodata: Un om ar avea nevoie de 10 miliarde de ani pentru a o citi

de R.M.     HotNews.ro
Vineri, 8 iulie 2016, 14:09 Science - Stiinte fundamentale

Ar fi nevoie de 10 miliarde de ani pentru ca o fiinta umana sa o poata citi: cea mai lunga demonstratie matematica realizata vreodata pentru a rezolva o problema a fost prezentata vineri in Franta, anunta Centrul National de Cercetari Stiintifice (CNRS), citat de AFP.

"Bicoloratura tripletelor pitagoreice" este o problema care chinuie cercetatorii in matematica de 35 de ani. Vineri dimineata, la conferinta internationala "SAT 2016" organizata la Bordeaux, trei programatori americano-britanici au reusit in sfarsit sa ofere un raspuns, gratie unui algoritm de conceptie franceza si a unui supercalculator american.

Rezultatul? O demonstratie care are un volum echivalent cu "toate textele digitizate detinute de biblioteca americana a congresului", 200 de teraocteti, respectiv 200.000 de miliarde de octeti, precizeaza CNRS. Precedentul record, datand din 2014, era de 13 miliarde de octeti.

Enuntul pare simplu: "Este posibil sa colorezi fiecare intreg pozitiv (1, 2, 3, 4, 5...) in rosu si albastru astfel incat in nicio tripleta de intregi a, b si c care satisface teorema lui Pitagora a2+b2=c2 sa fie toate numerele de aceeasi culoare?". Altfel spus, pentru tripleta 3, 4 si 5, daca 3 si 5 sunt albastre, atunci 4 trebuie sa fie rosu, etc.

"La aceasta enigma", raspunsul este nu, este posibil sa colorezi intregii doar pana la 7.824, dar nu si dincolo de acest numar, a explicat Laurent Simon, de la Laboratorul de cercetari in informatica din Bordeaux (Labri, Universite de Bordeaux/CNRS). Un raspuns dincolo de capacitatile umane, deoarece exista "10 la puterea 2.300 de modalitati de a colora aceste numere pana la 7.825!", precizeaza cercetatorul, care s-a aflat la originea algoritmului care a permis acest nou record.

Pentru a ajunge la acest rezultat, Marijn Heule (Universitatea din Texas, Austin), Oliver Kullmann (Universitatea din Swansea) si Victor Marek (Universitatea Kentucky, Lexington), au folosit diverse tehnici pentru a reduce posibilitatile la 1.000 de miliarde, tratandu-le ulterior pe "pachete".

A fost nevoie ulterior de doua zile de lucru pe supercalculatorul Stampede al Universitatii din Texas pentru a le trece in revista si a oferi aceasta demonstratie care lipsea de 35 de ani.





















8314 vizualizari

  • +23 (27 voturi)    
    Ei nu zau (Vineri, 8 iulie 2016, 14:20)

    Ord [utilizator]

    stiu cativa care din puscarie ar putea scrie asta in cateva saptamani.
    • +10 (12 voturi)    
      mda (Vineri, 8 iulie 2016, 15:22)

      adrian_rolland [utilizator] i-a raspuns lui Ord

      Si un fost prim ministru care ar jura pe biblie ca el a gasit rezolvarea acum vreo 6 ani...
  • +3 (9 voturi)    
    Dar asta nu inseamna ... (Vineri, 8 iulie 2016, 16:14)

    Sappu Koivu [anonim]

    ... ca avem de-a face cu o demonstratie in sensul clasic al cuvintului, adica pe baza axiomelor si teoremelor cvunoscute, luind in seama ipotezele problemei si folosind logica, sa se fi obtinut concluzia expusa in aceasta "enigma".

    Pur si simplu calculatorul a luat la rind toate cazurile posibile, si a aratat ca pina la 7.824 teorema se verifica, iar pentru 7.825 ea nu se mai verifica.

    Ma rog, este si asta o forma de a decide daca o teorema e valida sau nu, dar cu greu poate fi numita demonstratie.
    • -5 (7 voturi)    
      Ei, acum depinde de ce anume intelegem (Vineri, 8 iulie 2016, 16:33)

      Cuca [utilizator] i-a raspuns lui Sappu Koivu

      prin "demonstratie". Daca intelegem "dovada", atunci e okay. Daca e "algoritm logic", atunci aceasta nu este demonstratie, asa e.

      Inclin totusi spre termenul "dovada".

      Oricum, trebuie sa ma intreb - la ce bun ? Cui foloseste acest exercitiu mintal ? Si acest fapt - ca stim ca nu putem colora etc etc. ? E frumos, ca sport al mintii, este placut ca exercitiu (de programare), dar..... e steril.
      • +6 (8 voturi)    
        nu e chiar asa (Vineri, 8 iulie 2016, 17:17)

        Europiu [utilizator] i-a raspuns lui Cuca

        Inlocuieste 'albastru' si 'rosu' cu '1' si '0', adica 'information bits'. S-ar putea sa fie nevoie sa stii cat de fina iti poate fi rezolutia in conceperea dispozitivelor de stocare a informatiei, cu alte cuvinte sa gasesti limita miniaturizarii, de exemplu.

        Exista nenumarate exemple de descoperiri in istoria matematicii, a stiintei in general, care la vremea lor, pareau simple jocuri ale mintii dar care au condus la dezvoltarea de noi directii, neimaginate pana atunci.
      • +10 (10 voturi)    
        Cui crezi că i-a folosit Algebra Booleană? (Vineri, 8 iulie 2016, 17:42)

        grigoreagape [utilizator] i-a raspuns lui Cuca

        A fost dezvoltată în secolul 19, iar teoria a fost pusă în practică în secolul 20 (cu sârg după inventarea tranzistorului, 1947).

        Tu îți permiți să faci un comentariu de la un calculator construit cu o tehnologie a cărei fundații matematice a fost pusă cu 100 de ani înainte.


Abonare la comentarii cu RSS
Vremea la


/
Maine:
|

ESRI

Top 5 articole cele mai ...



Hotnews
Agenţii de ştiri

Siteul Hotnews.ro foloseste cookie-uri. Cookie-urile ne ajută să imbunatatim serviciile noastre. Mai multe detalii, aici.
hosted by
powered by
developed by
mobile version
Vineri