Explicació: Què és la màquina Ramanujan i per què rep el nom del matemàtic indi? - Gener 2023

Al llarg de la seva vida, Ramanujan va inventar noves equacions i identitats, incloses equacions que condueixen al valor de pi, i normalment es deixava als matemàtics amb formació formal per demostrar-les.

Ramanujan Machine va explicar: per a què serveix, per què el seu nom?Al llarg de la seva vida, Ramanujan va inventar noves equacions i identitats, incloses equacions que condueixen al valor de pi, i normalment es deixava als matemàtics amb formació formal per demostrar-les.

Científics de Technion, l'Institut Tecnològic d'Israel, han desenvolupat un concepte que han anomenat la màquina Ramanujan, en honor al matemàtic indi. No és realment una màquina sinó un algorisme, i realitza una funció molt poc convencional.




deadmau5 patrimoni net 2017

Què fa

Amb la majoria de programes informàtics, els humans introdueixen un problema i esperen que l'algoritme trobi una solució. Amb la màquina Ramanujan, funciona al revés. Introduïu una constant, diguem el conegut pi, i l'algorisme sortirà amb una equació que inclogui una sèrie infinita el valor de la qual, proposarà, és exactament pi. Ara als humans: deixeu que algú demostri que aquesta equació proposada és correcta.



Per què Ramanujan

L'algoritme reflecteix la manera com va treballar Srinivasa Ramanujan durant la seva breu vida (1887-1920). Amb molt poca formació formal, es va relacionar amb els matemàtics més famosos de l'època, especialment durant la seva estada a Anglaterra (1914-19), on finalment es va convertir en membre de la Royal Society i va obtenir un títol de recerca a Cambridge.




patrimoni net de Eric Butterbean

Al llarg de la seva vida, Ramanujan va inventar noves equacions i identitats, incloses equacions que condueixen al valor de pi, i normalment es deixava als matemàtics amb formació formal per demostrar-les. El 1987, dos germans canadencs van demostrar les 17 sèries de Ramanujan per 1/pi; dos anys abans, un matemàtic i programador nord-americà havia utilitzat una d'aquestes fórmules per calcular pi fins a més de 17 milions de dígits, que era un rècord mundial en aquell moment (Deka Baruah, Berndt & Chan; American Mathematical Monthly, 2009).

rama principalLa casa de Ramanujan a Kumbakonam. (Font: Arun Janardhanan)

Quin és el punt?



Les conjectures són un pas important en el procés de fer nous descobriments en qualsevol branca de la ciència, especialment les matemàtiques. Les equacions que defineixen les constants matemàtiques fonamentals, inclosa pi, són invariablement elegants. Les noves conjectures en matemàtiques, però, han estat escasses i esporàdiques, assenyalen els investigadors al seu article, que actualment es troba en un servidor de preimpressió. La idea és potenciar i accelerar el procés de descoberta.

(Font: Wikimedia)Al Trinity College, Cambridge. (Font: Wikimedia)

Què tan bo és?




quant val Ivana Trump

El document ofereix exemples d'equacions desconegudes anteriorment produïdes per l'algorisme, inclosos els valors de les constants pi i e. La màquina Ramanujan va proposar aquestes fórmules de conjectures fent coincidir valors numèrics, sense aportar proves. Cal recordar, però, que aquestes són sèries infinites i un humà només pot introduir un nombre finit de termes per provar el valor de la sèrie. La qüestió és, per tant, si la sèrie fallarà després d'un punt. Els investigadors consideren que això és poc probable, perquè van provar centenars de dígits.

ramanujan, srinivasa ramanujan, dia nacional de les matemàtiques, simulacions de funcions theta, funcions theta, Gh resistentL'algoritme reflecteix la manera com va treballar Srinivasa Ramanujan durant la seva breu vida (1887-1920).

Fins que no es demostri, segueix sent una conjectura. De la mateixa manera, fins que no es demostri equivocada, una conjectura continua sent una. És molt possible que l'algoritme surti amb conjectures que poden trigar anys a demostrar-se: un exemple famós de conjectura humana és l'últim teorema de Fermat, proposat el 1637 i provat només el 1994.



On trobar-lo

Els investigadors han creat un lloc web, ramanujanmachine.com. Els usuaris poden suggerir proves per als algorismes o proposar algorismes nous, que rebran el nom d'ells.



Comparteix Amb Els Teus Amics: