Polêmica: matemáticos defendem que o infinito não existe e é uma ilusão 🔍🧵 Um grupo de ultrafinitistas, com nomes como Doron Zeilberger, propõe uma matemática que só trabalhe com o que é efetivamente calculável — e a ideia já provoca debates em matemática e física.

Imagem indisponível

O que é ultrafinitismo? É a tese de que grandezas 'praticamente infinitas' (tipo 10^100) não correspondem a nada observável e podem ser descartadas na prática científica. Para seus defensores, eliminar infinitos torna a matemática mais concreta e confiável.

Zeilberger afirma que o infinito é uma construção mental: útil como ferramenta, mas sem ancoragem física. A proposta de trabalhar só com o computável busca provas mais construtivas — resultados que qualquer pesquisador com recursos limitados possa verificar.

Imagem indisponível

A discussão saiu da matemática e chegou à física: Sean Carroll aponta que infinitos aparecem em cosmologia e em teorias quânticas (singularidades, renormalização). Repensar o infinito pode estimular modelos mais testáveis — e promover ciência mais acessível via ferramentas computacionais.

Há argumentos fortes contra abandonar o infinito: cálculo e análise real dependem dele e já geraram previsões testadas. Em vez de extremos, existem caminhos intermediários — matemática construtiva e análise computável — que tentam conciliar rigor formal e utilidade prática.

Imagem indisponível

Na prática, restringir a matemática ao calculável teria impactos no ensino, na pesquisa e em áreas tecnológicas (provas formais, assistants como Coq/Lean). Pode democratizar verificação científica — desde que haja investimento em infraestrutura, capacitação e acesso público às ferramentas.

Dado curioso e reflexão final: 10^100 (o 'googol') é muito maior que o número estimado de átomos no universo observável (~10^80). Precisamos do conceito abstrato de infinito para avançar, ou uma matemática centrada no calculável seria suficiente para a ciência do futuro?

Imagem indisponível