Een team van onderzoekers van het Israel Institute of Technology heeft gebouwd wat zij omschrijven als een Ramanujan-machine - een apparaat dat automatisch vermoedens genereert (wiskundige uitspraken die worden voorgesteld als ware uitspraken) voor fundamentele constanten. Ze hebben een paper geschreven waarin ze hun apparaat beschrijven en hebben het geüpload naar de arXiv preprint-server. Ze hebben ook een webpagina gemaakt voor mensen die het netwerk de procescycli van hun computer willen laten gebruiken, een bewijs suggereren of code ontwikkelen voor nieuwe wiskundige structuren.

De Ramanujan-machine is genoemd naar de beroemde Indiase wiskundige Srinivasa Ramanujan, een autodidactische wiskundige die opgroeide in India en werd "ontdekt" door collega-wiskundige G.H. Winterhard. Nadat hij naar Engeland was verhuisd, hij werd een vaste waarde in Cambridge, waar hij de wiskundewereld opschudde met zijn onorthodoxe wiskunde - in plaats van weg te stampen op wiskundige bewijzen, hij verkreeg resultaten voor beroemde problemen door intuïtie en liet anderen vervolgens de bewijzen voor hen vinden. Daarom, hij werd soms beschreven als een giswerkmachine, formules uit de lucht halen alsof ze van een hoger wezen zijn ontvangen - soms in dromen. In deze nieuwe poging de onderzoekers in Israël hebben geprobeerd deze benadering te repliceren met behulp van rekenkracht.

De Ramanujan-machine is meer een concept dan een echte machine - het bestaat als een netwerk van computers met algoritmen die zijn bedoeld om vermoedens te vinden over fundamentele constanten in de vorm van kettingbreuken - deze worden gedefinieerd als breuken van oneindige lengte waarbij de noemer een bepaalde hoeveelheid plus een breuk, waarbij een laatste breuk een vergelijkbare noemer heeft, enz.) Het doel van de machine is om vermoedens te bedenken (in de vorm van wiskundige formules) die mensen kunnen analyseren, en hopelijk wiskundig waar blijken te zijn. Het team dat de machine heeft gemaakt, hoopt dat hun idee toekomstige generaties wiskundigen zal inspireren. ze merken op dat nieuwe algoritmen, bewijzen of vermoedens ontwikkeld door een deelnemer zullen naar hen worden genoemd. De onderzoekers merken op dat hun machine al tientallen nieuwe vermoedens heeft ontdekt.

© 2019 Wetenschap X Netwerk