<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Argumento Da Diagonal on kenji.blog</title><link>http://kenji.blog/pt/tags/argumento-da-diagonal/</link><description>Recent content in Argumento Da Diagonal on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>pt</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 12:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/pt/tags/argumento-da-diagonal/index.xml" rel="self" type="application/rss+xml"/><item><title>O Paradoxo de Richard: A Contradição Causada por Decimais Infinitos e o "Argumento da Diagonal"</title><link>http://kenji.blog/pt/p/richards-paradox/</link><pubDate>Thu, 10 Sep 2026 12:00:00 +0900</pubDate><guid>http://kenji.blog/pt/p/richards-paradox/</guid><description>&lt;img src="http://kenji.blog/p/richards-paradox/img/richards_paradox.jpg" alt="Featured image of post O Paradoxo de Richard: A Contradição Causada por Decimais Infinitos e o "Argumento da Diagonal"" />&lt;h2 id="1-uma-lista-de-números-que-podem-ser-definidos-por-palavras">1. Uma lista de números que podem ser definidos por palavras
&lt;/h2>&lt;p>O &amp;ldquo;Paradoxo de Richard&amp;rdquo;, publicado pelo matemático francês Jules Richard em 1905, é como um parente do &amp;ldquo;Paradoxo de Berry&amp;rdquo; apresentado anteriormente. No entanto, este é mais matemático e contém uma contradição profunda que parece espiar para o infinito.&lt;/p>
&lt;p>Primeiro, imagine que você reúna todos os &lt;strong>&amp;ldquo;números reais (decimais) entre 0 e 1 que podem ser perfeitamente definidos em palavras&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Por exemplo, números como os seguintes:&lt;/p>
&lt;ul>
&lt;li>&amp;ldquo;zero vírgula cinco&amp;rdquo; $\rightarrow$ $0.5$&lt;/li>
&lt;li>&amp;ldquo;um terço&amp;rdquo; $\rightarrow$ $0.333333...$&lt;/li>
&lt;li>&amp;ldquo;o número formado pela sequência de casas decimais de pi&amp;rdquo; $\rightarrow$ $0.14159265...$&lt;/li>
&lt;/ul>
&lt;p>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 &amp;ldquo;ordem&amp;rdquo;.
(Por exemplo, ordenando-as pelo número de letras e, se tiverem o mesmo número de letras, em ordem alfabética.)&lt;/p>
&lt;p>Desta forma, conseguimos criar uma &lt;strong>lista numerada infinitamente&lt;/strong> (1º, 2º, 3º&amp;hellip;) para &amp;ldquo;todos os números reais que podem ser definidos em palavras&amp;rdquo;.&lt;/p>
$$
\begin{align*}
r_1 &amp;= 0.\mathbf{3}333... \\
r_2 &amp;= 0.5\mathbf{0}00... \\
r_3 &amp;= 0.14\mathbf{1}5... \\
r_4 &amp;= 0.777\mathbf{7}... \\
&amp;\vdots
\end{align*}
$$
&lt;p>Dentro desta lista, &amp;ldquo;absolutamente todos os números reais que podem ser definidos em palavras&amp;rdquo; devem estar perfeitamente incluídos, sem faltar nenhum.&lt;/p>
&lt;hr>
&lt;h2 id="2-a-técnica-diabólica-argumento-da-diagonal">2. A técnica diabólica: &amp;ldquo;Argumento da Diagonal&amp;rdquo;
&lt;/h2>&lt;p>Aqui, Richard realiza uma operação assustadora.
Ele cria artificialmente um &lt;strong>&amp;ldquo;número $X$ completamente novo&amp;rdquo;&lt;/strong> de forma a evitar todos os números presentes na lista.&lt;/p>
&lt;p>A forma de criar é simples:&lt;/p>
&lt;ul>
&lt;li>Olhe para a &lt;strong>1ª casa&lt;/strong> decimal do &lt;strong>1º&lt;/strong> 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$).&lt;/li>
&lt;li>Olhe para a &lt;strong>2ª casa&lt;/strong> decimal do &lt;strong>2º&lt;/strong> 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$).&lt;/li>
&lt;li>Olhe para a &lt;strong>3ª casa&lt;/strong> decimal do &lt;strong>3º&lt;/strong> 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$).&lt;/li>
&lt;/ul>
&lt;p>※ Se o número original for $9$, assumimos que ele retorna a $0$.&lt;/p>
&lt;div class="mermaid">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&lt;/div>
&lt;p>O novo número $X$ criado por este método (no exemplo acima, $X = 0.4128...$) &lt;strong>absolutamente não coincidirá&lt;/strong> com nenhum dos números da lista.
Isso ocorre porque o $n$-ésimo número tem a sua &amp;ldquo;$n$-ésima casa decimal&amp;rdquo; 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 &lt;strong>&amp;ldquo;Argumento da diagonal&amp;rdquo;&lt;/strong>.)&lt;/p>
&lt;hr>
&lt;h2 id="3-a-conclusão-do-paradoxo-de-richard">3. A conclusão do Paradoxo de Richard
&lt;/h2>&lt;p>Agora, aqui é que entra o paradoxo.&lt;/p>
&lt;p>Nós acabamos de criar um novo número $X$.
E a &amp;ldquo;regra&amp;rdquo; para criar este $X$ foi perfeitamente explicada (definida) pelas &lt;strong>frases que acabei de escrever acima&lt;/strong>.&lt;/p>
&lt;p>Ou seja, $X$ é &lt;strong>&amp;ldquo;um número real que pode ser definido em palavras&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>No entanto, lembre-se da premissa inicial.
Supunha-se que &amp;ldquo;os números reais que podem ser definidos em palavras&amp;rdquo; &lt;strong>estavam todos incluídos na primeira lista ($r_1, r_2, r_3...$)&lt;/strong>.
Apesar disso, $X$ foi criado de forma a não coincidir com nenhum número dentro da lista.&lt;/p>
&lt;ol>
&lt;li>&lt;strong>$X$ deve existir na lista (porque foi definido em palavras).&lt;/strong>&lt;/li>
&lt;li>&lt;strong>$X$ não deve existir na lista (porque foi criado pelo argumento da diagonal para ser diferente de todos os números da lista).&lt;/strong>&lt;/li>
&lt;/ol>
&lt;p>Uma contradição perfeita! Este é o Paradoxo de Richard.&lt;/p>
&lt;hr>
&lt;h2 id="4-por-que-a-lógica-colapsou-a-armadilha-da-metalinguagem">4. Por que a lógica colapsou? (A armadilha da metalinguagem)
&lt;/h2>&lt;p>A causa que gerou este paradoxo, assim como no Paradoxo de Berry, reside em confundir os &amp;ldquo;níveis de linguagem&amp;rdquo;.&lt;/p>
&lt;p>Para fazer matemática rigorosamente, a &amp;ldquo;lista de números alvo (linguagem objeto)&amp;rdquo; e as &amp;ldquo;regras que falam de fora sobre as propriedades dessa lista (metalinguagem)&amp;rdquo; devem ser claramente separadas.&lt;/p>
&lt;p>A lista de Richard é uma coleção de &amp;ldquo;definições de números computáveis&amp;rdquo;.
No entanto, a regra &amp;ldquo;olhar para a $n$-ésima casa do $n$-ésimo número da lista&amp;rdquo; para criar o novo número $X$ é uma &lt;strong>operação de &amp;ldquo;metalinguagem&amp;rdquo; que não pode ser executada sem observar a própria lista de fora&lt;/strong>.&lt;/p>
&lt;p>O Paradoxo de Richard ocorreu porque ele tentou secretamente misturar um &amp;ldquo;número metalinguístico $X$ criado operando a lista de fora&amp;rdquo; dentro da &amp;ldquo;lista interna&amp;rdquo;, fazendo com que ela entrasse em autocontradição e explodisse.&lt;/p>
&lt;hr>
&lt;h2 id="5-passando-o-bastão-para-gödel">5. Passando o bastão para Gödel
&lt;/h2>&lt;p>Este Paradoxo de Richard causou um grande choque na comunidade matemática da época.
&amp;ldquo;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?&amp;rdquo;&lt;/p>
&lt;p>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 &amp;ldquo;ambiguidade da linguagem humana&amp;rdquo;, através de &lt;strong>&amp;ldquo;fórmulas matemáticas rigorosas (Números de Gödel)&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>O resultado deduzido a partir disso é o famoso &lt;strong>&amp;ldquo;Teorema da Incompletude de Gödel&amp;rdquo;&lt;/strong>.
Foi uma grande descoberta que provou os limites do conhecimento humano: &amp;ldquo;Por mais rigorosas que sejam as regras matemáticas criadas, dentro dessas regras invariavelmente surgirão &amp;lsquo;verdades que não podem ser provadas nem refutadas&amp;rsquo; (a matemática é incompleta)&amp;rdquo;.&lt;/p>
&lt;p>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 &amp;ldquo;absolutividade&amp;rdquo; da disciplina chamada matemática.&lt;/p></description></item></channel></rss>