Deși inteligența artificială a progresat enorm în ultimii ani, din moment ce calculatorul poate bate un om la șah și totuși nu văd preocupări pentru formalizarea Fizicii, o formalizare care să permită oamenilor de Știință să introducă în calculator niște axiome unanim acceptate și apoi să poată infera din acestea toate celelalte teoreme necesare pentru explicarea lumii.
Dacă ar exista un asemenea sistem formalizat, atunci n-ar mai exista mistere privind materia întunecată sau privind teoria câmpului unificat, căci toate problemele fundamentale ale Fizicii ar fi rezolvate într-un timp determinat. Restul ar fi „detalii”, cum ar zice Einstein.
Așadar, ce ne împiedică să creăm un sistem formalizat al Fizicii? Eu cred că încă nu s-au găsit axiomele acesteia, adică nu s-au găsit acele propoziții de început pe care să ne putem baza cu toții și din care să extragem apoi cu ajutorul calculatorului toate concluziile necesare.
Pe mine mă tentează să folosesc puternicul sistem de calcul numit Maxima. De asemenea, mă tentează să pornesc de la o axiomă destul de interesantă:
-lumea nu este altceva decât o succesiune de 0 și 1.
Pornind de la o asemenea axiomă, cum i-aș putea spune lui Maxima ce este un electron sau ce este lumina sau ce este o stea, o planetă, o galaxie? Cum i-aș putea spune ce este câmpul gravitațional sau cel electromagnetic?
Ar apărea întrebări de genul:
-este lumea o mulțime finită de 0 și 1, o mulțime infinită numărabilă sau nenumărabilă?
-am putea asocia fiecărui punct din spațiu câte un 0 sau un 1? Sau ar trebui să-i asociem fiecărui punct din spațiu un șir finit sau infinit bine stabilit de 0 și 1?
-cât de repede s-ar schimba acest bit de informație? Ce implicație ar avea trecerea timpului asupra unei asemenea concepții?
-ar fi suficientă o singură mașină Turing pentru a descrie întreaga complexitate a lumii?
Urmează să mă gândesc la asemenea lucruri...
Niciun comentariu:
Trimiteți un comentariu
Comentariile vor fi moderate în măsura timpului meu disponibil, după care vor apărea pe blog. Voi încerca să public doar comentariile consistente sau interesante sau adevărate sau corecte sau la obiect. Voi căuta să le elimin pe cele din care nu avem nimic de învățat sau pe cele care afectează negativ mintea cititorului sau reclamele fără legătură cu blogul. De asemenea, voi face tot posibilul să răspund la comentariile care cer un răspuns. Vă mulţumesc pentru efortul vostru de a scrie în lumina acestor consideraţii!