Explication : Qu'est-ce que la machine Ramanujan et pourquoi tire-t-elle son nom du mathématicien indien ?
Tout au long de sa vie, Ramanujan a proposé de nouvelles équations et identités - y compris des équations menant à la valeur de pi - et il était généralement laissé aux mathématiciens formellement formés de les prouver.
Tout au long de sa vie, Ramanujan a proposé de nouvelles équations et identités - y compris des équations menant à la valeur de pi - et il était généralement laissé aux mathématiciens formellement formés de les prouver. Des scientifiques du Technion - Israel Institute of Technology ont développé un concept qu'ils ont nommé la Machine Ramanujan, du nom du mathématicien indien. Ce n'est pas vraiment une machine mais un algorithme, et remplit une fonction très peu conventionnelle.
Ce qu'il fait
Avec la plupart des programmes informatiques, les humains saisissent un problème et s'attendent à ce que l'algorithme trouve une solution. Avec la Machine Ramanujan, cela fonctionne dans l'autre sens. Introduisez une constante, disons le pi bien connu, et l'algorithme proposera une équation impliquant une série infinie dont la valeur, proposera-t-il, est exactement pi. Passons aux humains maintenant : que quelqu'un prouve que cette équation proposée est correcte.
Pourquoi Ramanujan
L'algorithme reflète la façon dont Srinivasa Ramanujan a travaillé au cours de sa brève vie (1887-1920). Avec très peu de formation formelle, il s'est engagé avec les mathématiciens les plus célèbres de l'époque, en particulier lors de son séjour en Angleterre (1914-19), où il est finalement devenu membre de la Royal Society et a obtenu un diplôme de recherche de Cambridge.
valeur nette dc young fly 2016
Tout au long de sa vie, Ramanujan a proposé de nouvelles équations et identités - y compris des équations menant à la valeur de pi - et il était généralement laissé aux mathématiciens formellement formés de les prouver. En 1987, deux frères canadiens ont prouvé les 17 de la série de Ramanujan pour 1/pi; deux ans plus tôt, un mathématicien et programmeur américain avait utilisé l'une de ces formules pour calculer pi jusqu'à plus de 17 millions de chiffres, ce qui était un record mondial à l'époque (Deka Baruah, Berndt & Chan ; American Mathematical Monthly, 2009).
La maison de Ramanujan à Kumbakonam. (Source : Arun Janardhanan) À quoi ça sert?
Les conjectures sont une étape majeure dans le processus de faire de nouvelles découvertes dans n'importe quelle branche de la science, en particulier les mathématiques. Les équations définissant les constantes mathématiques fondamentales, y compris pi, sont invariablement élégantes. Cependant, les nouvelles conjectures en mathématiques sont rares et sporadiques, notent les chercheurs dans leur article, qui est actuellement sur un serveur de pré-impression. L'idée est d'améliorer et d'accélérer le processus de découverte.
Au Trinity College de Cambridge. (Source : Wikimédia) C'est bon ?
L'article donne des exemples d'équations précédemment inconnues produites par l'algorithme, y compris pour les valeurs des constantes pi et e. La Machine de Ramanujan a proposé ces formules de conjectures en faisant correspondre des valeurs numériques, sans fournir de preuves. Il faut cependant se rappeler qu'il s'agit de séries infinies et qu'un humain ne peut entrer qu'un nombre fini de termes pour tester la valeur de la série. La question est donc de savoir si la série échouera après un certain point. Les chercheurs pensent que cela est peu probable, car ils ont testé des centaines de chiffres.
L'algorithme reflète la façon dont Srinivasa Ramanujan a travaillé au cours de sa brève vie (1887-1920). Jusqu'à preuve du contraire, cela reste une conjecture. De même, jusqu'à preuve du contraire, une conjecture en reste une. Il est tout à fait possible que l'algorithme propose des conjectures qui peuvent prendre des années à prouver - un exemple célèbre d'une conjecture humaine est le dernier théorème de Fermat, proposé en 1637 et prouvé seulement en 1994.
Où le trouver
Salaire Eric Braeden
Les chercheurs ont créé un site Web, ramanujanmachine.com. Les utilisateurs peuvent suggérer des preuves d'algorithmes ou proposer de nouveaux algorithmes, qui porteront leur nom.
Partage Avec Tes Amis:
