Un team di ricercatori dell'Israel Institute of Technology ha costruito quella che descrivono come una macchina Ramanujan, un dispositivo che genera automaticamente congetture (asserzioni matematiche proposte come affermazioni vere) per costanti fondamentali. Hanno scritto un documento che descrive il loro dispositivo e lo hanno caricato su arXiv server di prestampa. Hanno anche creato una pagina web per le persone che desiderano consentire alla rete di utilizzare i cicli di processo del proprio computer, suggerire una dimostrazione o sviluppare codice verso nuove strutture matematiche.

La macchina Ramanujan prende il nome dal famoso matematico indiano Srinivasa Ramanujan, un matematico autodidatta cresciuto in India e "scoperto" dal collega matematico G.H. Hardy. Dopo essersi trasferito in Inghilterra, è diventato un appuntamento fisso a Cambridge, dove ha scosso il mondo della matematica con la sua matematica non ortodossa, invece di martellare le dimostrazioni matematiche, ha ottenuto risultati a problemi famosi attraverso l'intuizione e poi ha lasciato che altri trovassero le prove per loro. A causa di ciò, a volte veniva descritto come una macchina per congetture, tirando fuori dal nulla formule come se le ricevessero da un essere superiore, a volte nei sogni. In questo nuovo sforzo, i ricercatori in Israele hanno cercato di replicare questo approccio utilizzando la potenza di calcolo.

La macchina Ramanujan è più un concetto che una macchina reale—esiste come una rete di computer che eseguono algoritmi dedicati a trovare congetture su costanti fondamentali sotto forma di frazioni continue—queste sono definite come frazioni di lunghezza infinita dove il denominatore è un certo quantità più una frazione, dove un'ultima frazione ha un denominatore simile, ecc.) Lo scopo della macchina è elaborare congetture (sotto forma di formule matematiche) che gli esseri umani possano analizzare, e si spera che si dimostri vero matematicamente. Il team che ha creato la macchina spera che la loro idea possa ispirare le future generazioni di matematici, a tal fine, notano che ogni nuovo algoritmo, prove o congetture sviluppate da un partecipante prenderanno il nome da loro. I ricercatori fanno notare che la loro macchina ha già scoperto dozzine di nuove congetture.

© 2019 Science X Network