Ciência e Tecnologia – O Último Teorema de Fermat será provado na segunda rodada: o que há de errado com a primeira prova

Os pesquisadores querem verificar novamente a prova do famoso teorema usando ferramentas computacionais modernas.

O Último Teorema de Fermat atormentou os matemáticos durante séculos até ser finalmente provado em 1993. Agora os cientistas querem obter uma versão da prova que possa ser verificada formalmente usando um computador em busca de quaisquer erros lógicos, escreve. Novo Cientista.

Os pesquisadores planejam desenvolver uma prova computadorizada do Último Teorema de Fermat. De acordo com o teorema de Pierre de Fermat, que ele derivou pela primeira vez por volta de 1640, ele afirma que para valores de n > 2, equações da forma xn + yn = zn não têm soluções diferentes de zero em números naturais.

Foco.A tecnologia tem seu próprio Canal de telegrama. Inscreva-se para não perder as últimas e emocionantes notícias do mundo da ciência!

Somente em 1993 é que Andrew Wiles, que trabalhava na Universidade de Princeton, afirmou ter deduzido a prova. Tinha mais de 100 páginas e incluía matemática tão complexa que os colegas de Wiles levaram mais de 2 anos para verificar se a prova estava correta.

No mundo moderno, os matemáticos acreditam que o trabalho de verificação, e talvez até de derivação, de provas pode ser acelerado traduzindo o teorema para linguagem de computador. Este processo de formalização permitirá que os computadores encontrem erros lógicos instantaneamente, bem como usem os blocos de construção de um teorema para provar outros.

Kevin Buzzard, do Imperial College London, e seus colegas anunciaram planos para tentar formalizar o Último Teorema de Fermat em uma linguagem de programação chamada Lean.

“O Último Teorema de Fermat não faz sentido, é completamente inútil. Não tem aplicação – nem teórica nem prática – aqui no mundo real. Mas é importante porque ao longo dos séculos as pessoas geraram muitas ideias novas e brilhantes tentando provar o teorema ” diz Urubu.

“Este projeto pode ter benefícios e consequências inesperados e de longo alcance”, disse Chris Williams, da Universidade de Nottingham.

Segundo os pesquisadores, a prova do teorema em linguagem de programação seguirá o método de Wiles, mas com pequenas modificações. O projeto estará disponível publicamente on-line assim que entrar em operação, em abril, para que qualquer pessoa da comunidade Lean em rápido crescimento possa contribuir para a formalização das seções de prova.

Lembre-se de que os cientistas usaram um teorema de 350 anos para descobrir novas propriedades da luz. Um novo estudo revelou conexões até então desconhecidas entre algumas das propriedades mais misteriosas da luz.

Patrocinado por Google

Deixe uma resposta

Área Militar
Área Militarhttp://areamilitarof.com
Análises, documentários e geopolíticas destinados à educação e proliferação de informações de alta qualidade.
ARTIGOS RELACIONADOS

Descubra mais sobre Área Militar

Assine agora mesmo para continuar lendo e ter acesso ao arquivo completo.

Continue reading