Sequências matemáticas baseadas em operações simples, como adição e multiplicação, podem crescer além dos limites previstos pela aritmética tradicional. O fenômeno, descrito em análise publicada nesta terça-feira, 21, pela New Scientist, envolve processos que aumentam em ritmo mais rápido que o crescimento exponencial — aquele em que os valores dobram a cada etapa.

Na prática, isso significa que números considerados gigantes passam a ser pequenos em comparação. Um exemplo conhecido é o problema dos grãos de arroz no tabuleiro de xadrez, que chega a cerca de 18 quintilhões. As novas sequências ultrapassam esse valor rapidamente e atingem números que não podem ser escritos ou representados por notações comuns.

Esses resultados indicam que regras clássicas da matemática, como os axiomas de Giuseppe Peano, não conseguem explicar todos os comportamentos possíveis dos números. O tema também reforça a ideia de incompletude dos sistemas formais, demonstrada por Kurt Gödel em 1931.

Crescimento exponencial deixa de ser referência

O crescimento exponencial é frequentemente usado para ilustrar aumentos rápidos. Ele aparece em situações como juros compostos ou duplicação sucessiva de valores.

No entanto, as novas sequências matemáticas vão além desse padrão. Em vez de apenas dobrar ou triplicar, elas aceleram de forma progressiva, criando números que crescem em camadas sucessivas.

Esse tipo de crescimento indica que existem níveis diferentes de expansão numérica. Alguns desses níveis são tão altos que escapam das ferramentas matemáticas tradicionais.

Sequência de Goodstein e limite de Peano

Um dos exemplos mais estudados é a sequência de Goodstein, proposta na década de 1940. O processo começa com um número simples, que é reescrito em diferentes bases numéricas e ajustado a cada etapa.

Embora o início pareça simples, os valores crescem rapidamente. Em poucos passos, os números atingem escalas extremas, muito além de qualquer aplicação prática.

Mesmo com esse crescimento, a sequência sempre termina em zero. O ponto central é que essa propriedade não pode ser provada usando apenas os axiomas de Peano.

Em 1982, Jeff Paris e Laurie Kirby demonstraram essa limitação. O resultado confirmou, de forma concreta, a incompletude apontada por Gödel.

Teorema dos grafos amplia complexidade lógica

Outro avanço importante envolve o teorema dos menores em grafos, desenvolvido por Neil Robertson e Paul Seymour. Grafos são estruturas formadas por pontos (nós) e conexões (arestas). Eles são usados para representar redes, como sistemas de energia ou a internet.

O teorema mostra que, em qualquer sequência de grafos, sempre haverá um caso em que um está contido dentro de outro.

Estudos posteriores, com participação de Harvey Friedman, indicam que provar esse resultado exige regras matemáticas mais avançadas do que as usadas na aritmética comum.

Novos níveis de axiomas matemáticos

Pesquisas mostram que existem diferentes níveis de axiomas na matemática. Os axiomas de Peano ocupam um nível intermediário nesse sistema. Níveis mais altos incluem regras que lidam com conjuntos de números, inclusive conjuntos infinitos. Essas estruturas ampliam o alcance da matemática e permitem descrever processos mais complexos.

Esses novos sistemas são necessários para explicar sequências que crescem além do exponencial.

Sequências que desafiam a representação

Entre os exemplos mais extremos está a sequência de grafos subcúbicos. Ela analisa grafos com até três conexões por nó. No caso mais simples, o resultado máximo é seis, conhecido como SCG(0). Quando as condições mudam, os valores crescem rapidamente e atingem números extremamente grandes.

Estudos conduzidos por Michael Rathjen e Martin Krombholtz, em 2019, mostram que esses resultados exigem sistemas dois níveis acima dos axiomas de Peano. Em alguns casos, os números são tão grandes que não podem ser descritos por nenhuma forma prática de notação.

Diante disso, os resultados mostram que operações simples podem gerar estruturas altamente complexas. Eles também indicam que a aritmética possui limites formais bem definidos.

Ao mesmo tempo, revelam que essas limitações podem ser ultrapassados com sistemas lógicos mais avançados. Esse campo de estudo é central para áreas como lógica matemática e matemática reversa.