Explicado: O que é a Máquina Ramanujan e por que ela recebeu o nome do matemático indiano?
Ao longo de sua vida, Ramanujan criou novas equações e identidades - incluindo equações que levam ao valor de pi - e geralmente cabia a matemáticos formalmente treinados prová-las.
Ao longo de sua vida, Ramanujan criou novas equações e identidades - incluindo equações que levam ao valor de pi - e geralmente cabia a matemáticos formalmente treinados prová-las. Cientistas do Technion - Instituto de Tecnologia de Israel desenvolveram um conceito que chamaram de Máquina Ramanujan, em homenagem ao matemático indiano. Não é realmente uma máquina, mas um algoritmo e executa uma função muito pouco convencional.
O que faz
Com a maioria dos programas de computador, os humanos inserem um problema e esperam que o algoritmo encontre uma solução. Com a Máquina Ramanujan, funciona ao contrário. Insira uma constante, digamos o conhecido pi, e o algoritmo apresentará uma equação envolvendo uma série infinita cujo valor, ele proporá, é exatamente pi. Agora vamos para os humanos: deixe alguém provar que a equação proposta está correta.
Por que Ramanujan
O algoritmo reflete a maneira como Srinivasa Ramanujan trabalhou durante sua breve vida (1887-1920). Com muito pouco treinamento formal, ele se envolveu com os mais célebres matemáticos da época, principalmente durante sua estada na Inglaterra (1914-19), onde se tornou Fellow da Royal Society e se formou em pesquisa em Cambridge.
Ao longo de sua vida, Ramanujan criou novas equações e identidades - incluindo equações que levam ao valor de pi - e geralmente cabia a matemáticos formalmente treinados prová-las. Em 1987, dois irmãos canadenses provaram todas as 17 séries de Ramanujan por 1 / pi; dois anos antes, um matemático e programador americano havia usado uma dessas fórmulas para calcular pi até mais de 17 milhões de dígitos, o que era um recorde mundial na época (Deka Baruah, Berndt & Chan; American Mathematical Monthly, 2009).
Casa de Ramanujan em Kumbakonam. (Fonte: Arun Janardhanan) Qual é o ponto?
As conjecturas são um passo importante no processo de fazer novas descobertas em qualquer ramo da ciência, especialmente a matemática. As equações que definem as constantes matemáticas fundamentais, incluindo pi, são invariavelmente elegantes. Novas conjecturas em matemática, no entanto, têm sido escassas e esporádicas, observam os pesquisadores em seu artigo, que está atualmente em um servidor de pré-impressão. A ideia é potencializar e acelerar o processo de descoberta.
No Trinity College, Cambridge. (Fonte: Wikimedia) Isso é bom?
O artigo fornece exemplos para equações anteriormente desconhecidas produzidas pelo algoritmo, incluindo os valores das constantes pi e e. A Máquina Ramanujan propôs essas fórmulas de conjecturas combinando valores numéricos, sem fornecer provas. Deve-se lembrar, entretanto, que essas são séries infinitas e um ser humano só pode inserir um número finito de termos para testar o valor da série. A questão é, portanto, se a série irá falhar depois de um ponto. Os pesquisadores acham que isso é improvável, porque eles testaram centenas de dígitos.
O algoritmo reflete a maneira como Srinivasa Ramanujan trabalhou durante sua breve vida (1887-1920). Até que seja provado, permanece uma conjectura. Da mesma forma, até que seja provado que está errado, uma conjectura permanece uma. É bem possível que o algoritmo apareça com conjecturas que podem levar anos para serem provadas - um exemplo famoso de conjectura humana é o Último Teorema de Fermat, proposto em 1637 e provado apenas em 1994.
Onde encontrar
Os pesquisadores criaram um site, ramanujanmachine.com. Os usuários podem sugerir provas para algoritmos ou propor novos algoritmos, que serão nomeados em sua homenagem.
Compartilhe Com Os Seus Amigos:
