Teoria Dos Conjuntos on kenji.blog

O Paradoxo de Richard: A Contradição Causada por Decimais Infinitos e o "Argumento da Diagonal"

Thu, 10 Sep 2026 12:00:00 +0900

1. Uma lista de números que podem ser definidos por palavras

O “Paradoxo de Richard”, publicado pelo matemático francês Jules Richard em 1905, é como um parente do “Paradoxo de Berry” apresentado anteriormente. No entanto, este é mais matemático e contém uma contradição profunda que parece espiar para o infinito.

Primeiro, imagine que você reúna todos os “números reais (decimais) entre 0 e 1 que podem ser perfeitamente definidos em palavras”.

Por exemplo, números como os seguintes:

“zero vírgula cinco” $\rightarrow$ $0.5$
“um terço” $\rightarrow$ $0.333333...$
“o número formado pela sequência de casas decimais de pi” $\rightarrow$ $0.14159265...$

Como as combinações de frases que podem ser expressas em um idioma são apenas rearranjos das letras e palavras encontradas em um dicionário, podemos atribuir-lhes uma “ordem”. (Por exemplo, ordenando-as pelo número de letras e, se tiverem o mesmo número de letras, em ordem alfabética.)

Desta forma, conseguimos criar uma lista numerada infinitamente (1º, 2º, 3º…) para “todos os números reais que podem ser definidos em palavras”.

$$ \begin{align*} r_1 &= 0.\mathbf{3}333... \\ r_2 &= 0.5\mathbf{0}00... \\ r_3 &= 0.14\mathbf{1}5... \\ r_4 &= 0.777\mathbf{7}... \\ &\vdots \end{align*} $$

Dentro desta lista, “absolutamente todos os números reais que podem ser definidos em palavras” devem estar perfeitamente incluídos, sem faltar nenhum.

2. A técnica diabólica: “Argumento da Diagonal”

Aqui, Richard realiza uma operação assustadora. Ele cria artificialmente um “número $X$ completamente novo” de forma a evitar todos os números presentes na lista.

A forma de criar é simples:

Olhe para a 1ª casa decimal do 1º número da lista (no exemplo acima, $3$). O número resultante de somar $1$ a ele será a 1ª casa de $X$ ($3+1=4$).
Olhe para a 2ª casa decimal do 2º número da lista (no exemplo acima, $0$). O número resultante de somar $1$ a ele será a 2ª casa de $X$ ($0+1=1$).
Olhe para a 3ª casa decimal do 3º número da lista (no exemplo acima, $1$). O número resultante de somar $1$ a ele será a 3ª casa de $X$ ($1+1=2$).

※ Se o número original for $9$, assumimos que ele retorna a $0$.

O novo número $X$ criado por este método (no exemplo acima, $X = 0.4128...$) absolutamente não coincidirá com nenhum dos números da lista. Isso ocorre porque o $n$-ésimo número tem a sua “$n$-ésima casa decimal” intencionalmente deslocada em relação à lista. (Esta técnica foi desenvolvida pelo genial matemático Cantor para provar a magnitude infinita dos números reais e é chamada de “Argumento da diagonal”.)

3. A conclusão do Paradoxo de Richard

Agora, aqui é que entra o paradoxo.

Nós acabamos de criar um novo número $X$. E a “regra” para criar este $X$ foi perfeitamente explicada (definida) pelas frases que acabei de escrever acima.

Ou seja, $X$ é “um número real que pode ser definido em palavras”.

No entanto, lembre-se da premissa inicial. Supunha-se que “os números reais que podem ser definidos em palavras” estavam todos incluídos na primeira lista ($r_1, r_2, r_3...$). Apesar disso, $X$ foi criado de forma a não coincidir com nenhum número dentro da lista.

$X$ deve existir na lista (porque foi definido em palavras).
$X$ não deve existir na lista (porque foi criado pelo argumento da diagonal para ser diferente de todos os números da lista).

Uma contradição perfeita! Este é o Paradoxo de Richard.

4. Por que a lógica colapsou? (A armadilha da metalinguagem)

A causa que gerou este paradoxo, assim como no Paradoxo de Berry, reside em confundir os “níveis de linguagem”.

Para fazer matemática rigorosamente, a “lista de números alvo (linguagem objeto)” e as “regras que falam de fora sobre as propriedades dessa lista (metalinguagem)” devem ser claramente separadas.

A lista de Richard é uma coleção de “definições de números computáveis”. No entanto, a regra “olhar para a $n$-ésima casa do $n$-ésimo número da lista” para criar o novo número $X$ é uma operação de “metalinguagem” que não pode ser executada sem observar a própria lista de fora.

O Paradoxo de Richard ocorreu porque ele tentou secretamente misturar um “número metalinguístico $X$ criado operando a lista de fora” dentro da “lista interna”, fazendo com que ela entrasse em autocontradição e explodisse.

5. Passando o bastão para Gödel

Este Paradoxo de Richard causou um grande choque na comunidade matemática da época. “Se não tivermos cuidado, a linguagem (e os sistemas lógicos) humana pode facilmente gerar autocontradições. O que devemos fazer para tornar a matemática perfeita e livre de contradições?”

Em 1931, quem colocou um fim definitivo a este problema foi o jovem gênio matemático Kurt Gödel, de apenas 25 anos. Gödel conseguiu traduzir e reproduzir perfeitamente a estrutura deste paradoxo que Richard causou usando a “ambiguidade da linguagem humana”, através de “fórmulas matemáticas rigorosas (Números de Gödel)”.

O resultado deduzido a partir disso é o famoso “Teorema da Incompletude de Gödel”. Foi uma grande descoberta que provou os limites do conhecimento humano: “Por mais rigorosas que sejam as regras matemáticas criadas, dentro dessas regras invariavelmente surgirão ‘verdades que não podem ser provadas nem refutadas’ (a matemática é incompleta)”.

O Paradoxo de Richard começou como um mero jogo de palavras contraditório, e com o tempo evoluiu para a arma mais poderosa para destruir a “absolutividade” da disciplina chamada matemática.

O Grande Hotel de Hilbert: Como hospedar infinitos hóspedes em um hotel lotado

Thu, 10 Sep 2026 06:00:00 +0900

1. Bem-vindo ao Hotel Definitivo

O grande matemático alemão David Hilbert concebeu o seguinte experimento mental interessante para explicar o quão distante o conceito de “infinito” está da intuição humana.

Imagine. Em algum lugar do universo existe um hotel chamado “O Grande Hotel de Hilbert”. Neste hotel, existem infinitos quartos numerados: quarto 1, quarto 2, quarto 3…

Certo dia, houve um grande evento no universo, e todos os quartos deste hotel infinito foram ocupados, ficando “lotado”. Foi então que um viajante exausto chegou e perguntou na recepção: “Vocês poderiam me arranjar um quarto?”

Em um hotel normal, a única resposta seria: “Desculpe, estamos lotados.” Porém, este é um hotel infinito. O gerente sorriu e disse: “Certamente. Vou preparar o seu quarto imediatamente.” Mesmo estando lotado, como ele hospedará um novo cliente?

2. Caso 1: Como hospedar um novo hóspede

O gerente fez um anúncio pelo sistema de som para todos os hóspedes já acomodados:

“Atenção senhores hóspedes. Por favor, mudem-se para o quarto com o número ‘mais um’ em relação ao seu quarto atual.”

Então, o que acontece?

O hóspede do quarto 1 muda-se para o quarto 2.
O hóspede do quarto 2 muda-se para o quarto 3.
O hóspede do quarto 3 muda-se para o quarto 4.
O hóspede do quarto $n$ muda-se para o quarto $n+1$.

graph LR subgraph "Antes da mudança (Lotado)" R1["Quarto 1
(Hóspede A)"] R2["Quarto 2
(Hóspede B)"] R3["Quarto 3
(Hóspede C)"] R4["..."] end subgraph "Depois da mudança" NewR1["Quarto 1
(Vazio!)"] NewR2["Quarto 2
(Hóspede A)"] NewR3["Quarto 3
(Hóspede B)"] NewR4["Quarto 4
(Hóspede C)"] end R1 -->|Mudar| NewR2 R2 -->|Mudar| NewR3 R3 -->|Mudar| NewR4 NewGuest["Novo Hóspede"] -->|Check-in| NewR1 style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px

Como há infinitos quartos, nunca ocorrerá de “o hóspede do último quarto ser expulso”. Todos conseguirão mudar-se em segurança para o quarto ao lado. E, maravilhosamente, o quarto 1 ficou vazio. O novo viajante pôde se hospedar no quarto 1 sem problemas.

No mundo do infinito, $\infty + 1 = \infty$ é válido. Mesmo tirando “um” do “todo (infinito)”, o tamanho do todo não muda.

3. Caso 2: Como hospedar infinitos novos hóspedes

Bem, no dia seguinte. O hotel voltou a ficar lotado. E então chegou um ônibus infinito transportando “infinitos passageiros”. Os passageiros desceram do ônibus e exigiram na recepção: “Queremos quartos para todos!”

Se ele pedir a mudança de “mais um” como no dia anterior, isso levaria uma eternidade. Mas o gerente não entra em pânico. Ele faz outro anúncio pelo sistema de som.

“Atenção senhores hóspedes. Por favor, mudem-se para o quarto cujo número é o ‘dobro’ do seu quarto atual.”

Então, o que acontece?

O hóspede do quarto 1 muda-se para o quarto 2.
O hóspede do quarto 2 muda-se para o quarto 4.
O hóspede do quarto 3 muda-se para o quarto 6.
O hóspede do quarto $n$ muda-se para o quarto $2n$.

Com essa mudança, os infinitos hóspedes que já estavam lá se acomodaram perfeitamente em “todos os quartos de número par”. E, milagrosamente, “todos os quartos de número ímpar (quarto 1, quarto 3, quarto 5…)” ficaram completamente vazios!

Como também há infinitos números ímpares, o gerente pode orientar os passageiros do ônibus infinito, um por um, para o quarto 1, quarto 3, quarto 5… e conseguir hospedar a todos.

No mundo do infinito, $\infty + \infty = \infty$ é válido. Mesmo somando infinito a infinito, o tamanho continua sendo o mesmo “infinito”.

4. Caso 3: E se chegarem infinitos ônibus infinitos?

Ainda no dia seguinte. O hotel estava lotado mais uma vez. E então, para surpresa, “infinitos ônibus infinitos, cada um com infinitos passageiros” chegaram em fila.

Infinitas pessoas no ônibus 1, infinitas pessoas no ônibus 2, infinitas pessoas no ônibus 3… e isso continuava em infinitos ônibus. Até o gerente quase entrou em pânico, mas ele era um gênio da matemática. Ele teve a ideia de usar “números primos”.

O gerente deu as seguintes instruções:

Mudança dos hóspedes que já estão no hotel Seja $n$ o número do quarto atual, ele pede para que se mudem para o “quarto $2^n$”. (Quarto 1 $\rightarrow$ quarto 2, quarto 2 $\rightarrow$ quarto 4, quarto 3 $\rightarrow$ quarto 8…) Com isso, todos os hóspedes atuais foram acomodados.
Orientação dos hóspedes do ônibus 1 (infinitas pessoas) Seja $n$ o número do assento do passageiro, eles são direcionados para o “quarto $3^n$”. (Quarto 3, quarto 9, quarto 27…)
Orientação dos hóspedes do ônibus 2 (infinitas pessoas) Usando o próximo número primo, o 5, eles são direcionados para o “quarto $5^n$”. (Quarto 5, quarto 25, quarto 125…)
Orientação dos hóspedes do ônibus $k$ (infinitas pessoas) Usando o $k+1$-ésimo número primo $P$, eles são direcionados para o “quarto $P^n$”.

Pelo poderoso teorema matemático da “unicidade da fatoração em primos (qualquer número tem apenas uma única combinação de multiplicação de números primos)”, é absolutamente impossível que os números dos quartos $2^n, 3^n, 5^n, 7^n \dots$ se sobreponham com os de qualquer outra pessoa.

Assim, o gerente conseguiu acomodar o número inimaginável de hóspedes “infinito $\times$ infinito” em um único hotel infinito!

5. Existem diferenças de “tamanho” no infinito (Teorema de Cantor)

O que o Grande Hotel de Hilbert nos ensina é o fato de que o “infinito enumerável (o infinito que pode ser contado com números 1, 2, 3…)”, não importa quanto você o some ou multiplique, sempre se encaixará no mesmo tamanho de “infinito enumerável”.

No entanto, o matemático Georg Cantor descobriu um fato ainda mais assustador. “Números naturais” e “frações” podem todos ser hospedados neste hotel infinito. Porém, se chegarem os “números reais (todos os decimais, incluindo números irracionais)”, será absolutamente impossível hospedar todos eles, mesmo usando este hotel infinito.

Foi provado que a quantidade de números reais é fundamentalmente um “infinito maior (de nível mais alto)” do que a quantidade de quartos do hotel infinito (infinito enumerável). Costumamos colocar tudo sob a palavra “infinito”, mas na verdade existe uma estrutura hierárquica (cardinalidade) dentro do infinito, desde “infinitos pequenos” até “infinitos tão grandes que são absolutamente inalcançáveis”.

6. Conclusão: O “infinito” que destrói a intuição humana

O Grande Hotel de Hilbert ilustra vividamente como o “senso comum do finito” cultivado em nossa vida diária não se aplica ao “mundo do infinito”.

“O todo é maior que a parte” “Ninguém pode entrar em um hotel lotado” “Se você somar infinito com infinito, fica maior”

Todas essas intuições óbvias são espetacularmente traídas. O mundo do infinito é um tesouro de paradoxos (verdades contrárias à intuição). Os matemáticos, em vez de temerem esses paradoxos, os dominaram pelo poder da lógica, classificaram-nos e criaram o belo sistema moderno da teoria dos conjuntos.

Da próxima vez que você ouvir “o hotel está lotado”, por favor, imagine: “E se este hotel fosse o Grande Hotel de Hilbert?”.

Paradoxo de Banach-Tarski: Se você cortar uma esfera, você terá duas esferas do mesmo tamanho?

Thu, 10 Sep 2026 02:00:00 +0900

1. Um teorema mágico: 1 = 1 + 1 ?

Suponha que você tenha uma esfera de ouro puro bem na sua frente. Você corta esta esfera em várias partes com uma faca. Então, você começa a juntar essas partes como um quebra-cabeça. Você não estica, dobra ou adiciona nenhum ouro novo às partes. Você apenas as move e as junta.

No entanto, quando você olha para o quebra-cabeça concluído, “duas esferas de ouro puro exatamente do mesmo tamanho da esfera original” foram criadas.

Você pode pensar, “Isso é absurdo! Vai contra a lei da conservação da massa, e é a ilusão de um alquimista!”. É absolutamente impossível no mundo físico real. No entanto, no mundo da matemática pura (geometria e teoria dos conjuntos), isso foi comprovado como um teorema que é logicamente 100% correto.

Este é o “Paradoxo de Banach-Tarski”, comprovado em 1924 por dois matemáticos, Stefan Banach e Alfred Tarski.

2. Entendendo com precisão a afirmação do paradoxo

O teorema provado por Banach e Tarski pode ser expresso em termos matematicamente precisos da seguinte forma:

Teorema de Banach-Tarski Dada qualquer esfera $S$ no espaço tridimensional, ela pode ser dividida em um número finito de pedaços. Então, ao reagrupar esses pedaços (usando apenas rotações e translações), é possível criar duas esferas com exatamente o mesmo raio da esfera original $S$.

Ainda mais surpreendente, se você aplicar este teorema, você pode dizer algo assim:

Ao dividir uma única ervilha em um número finito de partes e remontá-la, você pode criar uma esfera exatamente do mesmo tamanho que o Sol. (Também conhecido como: O Paradoxo da Ervilha e do Sol)

Por que uma coisa tão mágica é matematicamente permitida? O segredo está escondido em duas palavras-chave: “Infinito” e o “Axioma da Escolha”.

3. As propriedades estranhas do “Infinito”

O primeiro passo para entender esse paradoxo é conhecer as propriedades estranhas dos “conjuntos infinitos”.

No mundo “finito” com o qual lidamos normalmente, o todo é sempre maior que a parte. Por exemplo, se você pegar os números pares (5 deles) dos números de 1 a 10 (10 deles), o número é reduzido pela metade.

No entanto, esse senso comum não se aplica no mundo do “infinito”. Qual é maior, todos os “números naturais” (1, 2, 3, 4, …) ou todos os “números pares” (2, 4, 6, 8, …)? Intuitivamente, parece haver mais números naturais, pois os números pares são apenas a metade dos números naturais. No entanto, tente criar pares da seguinte forma:

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

Dessa forma, para cada número natural, você sempre pode pareá-lo com exatamente um número par que seja o dobro dele (correspondência um-para-um). Não sobram números. Ou seja, matematicamente, “a quantidade de números naturais (infinito)” e “a quantidade de números pares (infinito)” têm exatamente o mesmo tamanho!

Embora metade (números pares) devesse ter sido retirada do todo (números naturais), o tamanho permaneceu o mesmo do original. Em conjuntos infinitos, é possível que “uma parte seja igual ao todo”. O Teorema de Banach-Tarski pode ser dito como a forma definitiva de aplicar essa “mágica do infinito” a um conjunto de “pontos” no espaço tridimensional.

4. Pontos no espaço são cortados “imensuravelmente”

Quando um objeto real (ouro ou maçã) é cortado com uma faca de cozinha, as partes sempre têm um “volume”. No entanto, uma esfera na matemática é um “conjunto de um número infinito de pontos” que não tem volume.

Banach e Tarski dividiram esse número infinito de pontos em grupos de uma forma muito especial e complexa. O método de divisão é tão complexo e disperso que acaba num estado onde “o volume não pode mais ser medido (conjunto não mensurável)”.

graph TD S["Esfera original S (Volume V)"] -->|Divisão especial| P1["Pedaço 1 (Volume imensurável)"] S --> P2["Pedaço 2 (Volume imensurável)"] S --> P3["Pedaço 3 (Volume imensurável)"] S --> P4["Pedaço 4 (Volume imensurável)"] S --> P5["Pedaço 5 (Volume imensurável)"] P1 -->|Rotação e Translação| S1["Nova esfera 1 (Volume V)"] P2 -->|Rotação e Translação| S1 P3 -->|Rotação e Translação| S1 P4 -->|Rotação e Translação| S2["Nova esfera 2 (Volume V)"] P5 -->|Rotação e Translação| S2 style S fill:#ffddaa,stroke:#333,stroke-width:2px style S1 fill:#aaddff,stroke:#333,stroke-width:2px style S2 fill:#aaddff,stroke:#333,stroke-width:2px

Uma vez que cada parte se torna uma coleção nebulosa de pontos que “não tem volume (não pode ser medida)”, você pode escapar da restrição da regra da física (aditividade da medida) de que “a soma das partes deve ser igual ao volume original”.

E quando você gira e combina as partes desses pontos nebulosos habilmente, através da “mágica do infinito”, duas esferas cheias com exatamente os mesmos pontos que a esfera original são completadas. De fato, foi provado que esta operação de “fazer duas esferas de uma” é possível dividindo a esfera original em apenas 5 pedaços.

5. A causa de tudo: O que é o “Axioma da Escolha”?

Então, por que é matematicamente possível ter uma “divisão tão complexa que seu volume não pode ser medido”? É porque aceitamos a regra chamada “Axioma da Escolha (Axiom of Choice)”, que é o alicerce da matemática moderna.

Falando de forma simples, o Axioma da Escolha é a seguinte regra:

Imagem do Axioma da Escolha Quando há coisas dentro de muitas caixas, a regra é que “você pode escolher uma coisa de cada caixa e criar um novo conjunto”.

Se o número de caixas for finito, qualquer um pode fazer isso normalmente. No entanto, se o número de caixas for “infinito”, um ser humano não pode terminar a operação de “escolher uma de cada vez” um número infinito de vezes. Mesmo assim, o Axioma da Escolha permite reconhecer que “um conjunto criado através da escolha pode ser considerado como existente”.

Esse axioma tem sido muito conveniente e essencial na construção da matemática moderna. A maioria dos matemáticos aceitou essa regra, dizendo: “Bem, é óbvio”.

No entanto, se você aceitar esse axioma da escolha, você terá que aceitar a existência do mencionado “conjunto de pontos nebulosos tão dispersos que seu volume não pode ser medido (conjunto não mensurável)”. E como resultado disso, o Teorema de Banach-Tarski, de que “uma esfera se torna duas”, é deduzido como uma necessidade lógica.

6. Conclusão: “O mundo além da intuição” desenhado pela matemática

O Paradoxo de Banach-Tarski não é um paradoxo no sentido de “há uma contradição na lógica”. É um paradoxo no sentido de que embora a lógica seja 100% correta, a conclusão tirada contradiz fortemente a intuição humana e as leis da física.

Quando esse teorema foi anunciado, alguns matemáticos argumentaram que “se uma conclusão tão absurda pode ser alcançada, o Axioma da Escolha deve estar errado!”. No entanto, hoje, muitos matemáticos aceitam o Axioma da Escolha, e o Teorema de Banach-Tarski também é aceito como uma “propriedade estranha, mas bela, que o espaço tridimensional e os conjuntos infinitos possuem”.

O mundo físico em que vivemos é feito de “partículas com tamanho (finito)”, chamadas átomos, então não podemos transformar uma ervilha no tamanho do sol. No entanto, na tela da “matemática” criada pelo cérebro humano, o tamanho de um ponto é zero, e operações infinitas são permitidas.

O Paradoxo de Banach-Tarski nos ensina o quão facilmente o conceito do “infinito” salta sobre a intuição humana simples, e pode ser considerado uma das obras-primas supremas da matemática moderna.