Há uma ideia desconfortável escondida dentro da reta real: a maioria absoluta dos números que “existem” na matemática jamais poderá ser calculada por qualquer algoritmo. Não é falta de computadores melhores. É um limite estrutural.
Quando pensamos em números, quase sempre pensamos nos que conseguimos nomear. Zero, um, π, √2, e, uma fração qualquer, talvez alguma constante exótica. Mesmo quando um número tem infinitas casas decimais, como π, existe um procedimento capaz de produzir quantas casas quisermos. Dê tempo e memória suficientes ao computador e ele continua.
Isso cria uma ilusão poderosa: a de que todo número real deveria, pelo menos em princípio, poder ser alcançado por algum cálculo. A matemática mostra justamente o contrário.
O que significa “calcular um número”?
Em 1936, Alan Turing formalizou uma ideia que hoje parece quase natural: um número é computável quando existe um procedimento finito, preciso, que permita obter sua expansão com a precisão desejada. Em termos modernos, podemos pensar em um algoritmo que, dado um número de casas decimais, produza essas casas — ou que gere aproximações racionais arbitrariamente precisas.
O próprio artigo clássico de Turing, “On Computable Numbers”, começa justamente pela noção de números cujas expressões decimais podem ser determinadas por meios finitos. A discussão desembocaria no que hoje chamamos de teoria da computabilidade e se conecta à tese de Church–Turing: diferentes formalizações razoáveis de algoritmo acabam descrevendo a mesma classe essencial de procedimentos computáveis.
π é computável. √2 é computável. e é computável. Não precisamos escrever todas as casas — isso seria impossível porque elas são infinitas. O que importa é existir uma regra finita que nos permita continuar o cálculo indefinidamente.
O detalhe que muda tudo: programas podem ser contados
Agora vem o argumento decisivo.
Todo algoritmo pode ser descrito por uma sequência finita de símbolos. Pode ser um programa em Python, uma máquina de Turing, um conjunto de instruções ou qualquer linguagem formal adequada. Como essas descrições são finitas, podemos organizá-las em uma lista: primeiro os programas de um símbolo, depois os de dois símbolos, depois os de três, e assim por diante.
Em outras palavras: há infinitos programas possíveis, mas esse infinito é contável. E se cada programa consegue calcular no máximo um número real específico, então o conjunto dos números computáveis também é contável.
Essa ideia lembra a discussão que fiz em “Um único número pode conter uma biblioteca infinita?”. Lá, o infinito aparece dentro da expansão de um número; aqui, a pergunta é mais radical: quantos desses infinitos podem ser realmente gerados por uma regra?
Mas os números reais não cabem em uma lista
Desde Cantor sabemos que o conjunto dos números reais é incontável. Mesmo restringindo nossa atenção ao intervalo entre 0 e 1, não existe uma lista que contenha todos eles. A diagonal de Cantor permite construir, a partir de qualquer lista proposta, um novo número que necessariamente ficou de fora.
Agora coloque as duas afirmações lado a lado. Os algoritmos são contáveis. Os números reais são incontáveis. Portanto, simplesmente não existem algoritmos suficientes para calcular todos os números reais.
E isso não significa apenas que “existem alguns números difíceis”. Significa algo muito mais forte: quase todos os números reais são incomputáveis.
A expressão “quase todos” aqui pode ser entendida em sentido matemático rigoroso. Um conjunto contável de pontos na reta tem medida zero. Como os números computáveis formam um conjunto contável, eles ocupam medida zero dentro dos reais. Se pensarmos no intervalo [0,1] sob a medida usual, escolher exatamente um número computável tem probabilidade zero.
É uma inversão curiosa. Todos os números que usamos, estudamos e batizamos pertencem a uma exceção minúscula.
Existir não é o mesmo que poder ser encontrado
Essa conclusão provoca uma pergunta filosófica inevitável: em que sentido podemos dizer que um número existe se não conseguimos calculá-lo?
Na matemática clássica, a existência não depende de possuirmos um algoritmo que produza o objeto. Podemos demonstrar que certos conjuntos têm determinadas propriedades e concluir que há elementos ali, mesmo quando não conseguimos individualizá-los operacionalmente.
É parecido, em espírito, com o problema de perceber dimensões que discutimos em “Você enxergaria uma quarta dimensão se ela estivesse diante de você?”. A dificuldade de representar ou acessar algo não equivale à inexistência desse algo. Nossos instrumentos cognitivos são parte da história, mas não necessariamente o limite da estrutura matemática estudada.
Um número pode ser definido e ainda assim não ser computável
Talvez pareça que “incomputável” significa apenas “um número tão aleatório que ninguém consegue descrevê-lo”. Há, porém, exemplos matemáticos que tornam o assunto ainda mais interessante. Certos números podem ser definidos com poucas palavras e, mesmo assim, não admitem um algoritmo que calcule seus dígitos em geral.
O exemplo clássico vem da conexão com o problema da parada: podemos construir números cuja informação codifica quais programas terminam e quais continuam executando para sempre. Se pudéssemos calcular completamente esse número, resolveríamos de forma geral um problema que Turing mostrou ser indecidível.
Isso separa três ideias que no cotidiano parecem quase sinônimas: existir, poder ser descrito e poder ser calculado. Na matemática, elas não coincidem.
Essa separação também conversa com a lógica. Em “Uma frase pode ser verdadeira sem dizer nada sobre o mundo?”, explorei como nossa intuição sobre verdade pode falhar diante da estrutura formal. Com números incomputáveis acontece algo semelhante: nossa intuição, moldada pelos números familiares, sugere que conhecer é calcular. A teoria mostra que o universo matemático é maior que nossos procedimentos.
Uma sugestão de leitura: quando os números deixaram de ser apenas contagem
Para quem quiser ampliar essa discussão, uma leitura que se conecta muito bem ao tema é Números: A Linguagem da Ciência, de Tobias Dantzig, em edição em português traduzida por mim. O livro acompanha a expansão histórica do conceito de número: da contagem elementar às abstrações que obrigaram a matemática a aceitar objetos cada vez menos intuitivos. A edição impressa está disponível para compra direta no Clube de Autores.
Essa história ajuda a perceber que “número” nunca foi um conceito imóvel. Cada ampliação — negativos, irracionais, complexos, infinitos — obrigou a humanidade a rever o que considerava legítimo. Os números incomputáveis levam essa tensão a um ponto quase desconfortável: aceitamos matematicamente uma vastidão de objetos que nenhum procedimento efetivo conseguirá revelar dígito por dígito.
Talvez conheçamos apenas as ilhas
Há algo profundamente humano nisso. Construímos computadores capazes de realizar trilhões de operações, inventamos linguagens, algoritmos e sistemas formais extraordinariamente sofisticados. Ainda assim, quando comparamos tudo o que pode ser calculado com o conjunto dos números reais, nosso universo computável parece uma coleção de ilhas em um oceano incomparavelmente maior.
Não é uma derrota da matemática. É justamente uma de suas maiores forças: ela consegue demonstrar a existência de limites que nenhum aumento de velocidade computacional consegue superar.
E talvez a pergunta mais interessante não seja “qual é o próximo número que conseguiremos calcular?”, mas outra: quanto do universo matemático estamos confundindo com aquilo que nossas ferramentas conseguem alcançar?
Deixe um comentário