Objašnjeno: Što je Ramanujan stroj i zašto je dobio ime po indijskom matematičaru?
Tijekom svog života, Ramanujan je dolazio do novih jednadžbi i identiteta — uključujući jednadžbe koje su dovele do vrijednosti pi — i obično je bilo prepušteno formalno obučenim matematičarima da to dokažu.

Znanstvenici iz Techniona — Izraelskog tehnološkog instituta razvili su koncept koji su nazvali Ramanujan Machine, po indijskom matematičaru. To zapravo nije stroj već algoritam i obavlja vrlo nekonvencionalnu funkciju.
Što to radi
Uz većinu računalnih programa, ljudi unose problem i očekuju da će algoritam izraditi rješenje. S Ramanujan Machineom radi obrnuto. Uključite konstantu, recimo dobro poznati pi, i algoritam će doći do jednadžbe koja uključuje beskonačan niz čija je vrijednost, kako će predložiti, točno pi. Prijeđimo sada na ljude: neka netko dokaže da je ova predložena jednadžba točna.
Zašto Ramanujan
Algoritam odražava način na koji je Srinivasa Ramanujan radio tijekom svog kratkog života (1887.-1920.). Uz vrlo malo formalne obuke, surađivao je s najslavnijim matematičarima tog vremena, osobito tijekom svog boravka u Engleskoj (1914-19), gdje je na kraju postao član Kraljevskog društva i stekao znanstveni stupanj na Cambridgeu.
Tijekom svog života, Ramanujan je dolazio do novih jednadžbi i identiteta — uključujući jednadžbe koje su dovele do vrijednosti pi — i obično je bilo prepušteno formalno obučenim matematičarima da to dokažu. 1987. dva brata Kanađana dokazala su svih 17 Ramanujanovih serija za 1/pi; dvije godine ranije, američki matematičar i programer koristio je jednu od ovih formula za izračunavanje pi do preko 17 milijuna znamenki, što je u to vrijeme bio svjetski rekord (Deka Baruah, Berndt & Chan; American Mathematical Monthly, 2009.).

Koja je poanta?
Nagađanja su važan korak u procesu donošenja novih otkrića u bilo kojoj grani znanosti, posebno u matematici. Jednadžbe koje definiraju temeljne matematičke konstante, uključujući pi, uvijek su elegantne. Nove pretpostavke u matematici, međutim, bile su rijetke i sporadične, primjećuju istraživači u svom radu, koji je trenutno na poslužitelju za predispis. Ideja je poboljšati i ubrzati proces otkrivanja.

koliko je dobro?
U radu su dati primjeri za dosad nepoznate jednadžbe proizvedene algoritmom, uključujući i vrijednosti konstanti pi i e. Ramanujan Machine je predložio ove formule nagađanja uparujući numeričke vrijednosti, bez pružanja dokaza. Međutim, treba imati na umu da su to beskonačni nizovi i da čovjek može unijeti samo konačan broj pojmova kako bi testirao vrijednost niza. Pitanje je, dakle, hoće li serija propasti nakon poena. Istraživači smatraju da je to malo vjerojatno, jer su testirali stotine znamenki.

Dok se ne dokaže, ostaje nagađanje. Isto tako, dok se ne dokaže pogrešna, pretpostavka ostaje. Sasvim je moguće da će algoritam doći do pretpostavki za koje će trebati godine da se dokažu - poznati primjer ljudske pretpostavke je Fermatov zadnji teorem, predložen 1637., a dokazan tek 1994. godine.
Gdje ga pronaći
Istraživači su postavili web stranicu ramanujanmachine.com. Korisnici mogu predložiti dokaze za algoritme ili predložiti nove algoritme koji će biti nazvani po njima.
Podijelite Sa Svojim Prijateljima: