Depois de três décadas de tentativas, matemáticos conseguiram identificar o valor de um número complexo considerado até então impossível de calcular. Com supercomputadores, dois grupos de pesquisadores desvendaram o nono número de Dedekind ou D(9) – uma sequência de números inteiros nos moldes dos mais conhecidos números primos ou a sequência de Fibonacci.
Entre os muitos mistérios da matemática, os números Dedekind, descobertos no século 19 pelo matemático alemão Richard Dedekind, capturaram a imaginação e curiosidade de pesquisadores ao longo dos anos.
Até recentemente, eram conhecidos até apenas o oitavo número Dedekind, desvendado somente em 1991. Mas agora, em uma surpreendente reviravolta, dois grupos de pesquisa independentes da Universidade Católica de Leuven, na Bélgica, e da Universidade de Paderborn, na Alemanha, conseguiram o impensável e solucionaram o problema matemático.
Ambos os estudos foram submetidos ao servidor de pré-impressão arXiv: o primeiro em 5 de abril e o segundo em 6 de abril. Apesar de ainda não terem sido revisados por pares, os dois grupos de pesquisa chegaram à mesma conclusão – indicando que o nono número de Dedekind foi finalmente decifrado.
O valor para o nono número de Dedekind foi calculado em 286.386.577.668.298.411.128.469.151.667.598.498.812.366. O D(9) possui 42 dígitos em comparação com os 23 dígitos do D(8).
Cada número Dedekind representa o número de configurações possíveis de um certo tipo de operação lógica verdadeiro-falso em diferentes dimensões espaciais. O primeiro número na sequência, o D(0), representa a dimensão zero. Assim, o D(9), que representa nove dimensões, é o décimo número na sequência.
O conceito dos números de Dedekind é de difícil compreensão para quem não gosta de matemática. Seus cálculos são extremamente complexos, pois os números dessa sequência aumentam exponencialmente a cada nova dimensão. Isso significa que ficam cada vez mais difíceis de definir, além de ficarem sempre maiores – por isso, o valor de D(9) foi considerado por muito tempo impossível de se calcular.
