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

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

Listar todos os números reais que podem ser definidos por palavras e, a partir deles, criar um novo número real diferente. Explicamos de forma fácil o "Paradoxo de Richard", que abalou os fundamentos da matemática, e a inspiração de Gödel para superá-lo.

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 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 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 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$.

graph TD subgraph "Números reais listados" R1["r1 = 0.[3]33..."] R2["r2 = 0.5[0]0..."] R3["r3 = 0.14[1]..."] R4["r4 = 0.777[7]..."] end subgraph "Novo número criado X" X["X = 0.4128..."] end R1 -->|Soma +1 à 1ª casa| X R2 -->|Soma +1 à 2ª casa| X R3 -->|Soma +1 à 3ª casa| X R4 -->|Soma +1 à 4ª casa| X style X fill:#aaffaa,stroke:#333,stroke-width:2px

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.

  1. $X$ deve existir na lista (porque foi definido em palavras).
  2. $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.

comments powered by Disqus
Hugo で構築されています。
テーマ StackJimmy によって設計されています。