<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Números Reales on kenji.blog</title><link>http://kenji.blog/es/tags/n%C3%BAmeros-reales/</link><description>Recent content in Números Reales on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>es</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 12:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/es/tags/n%C3%BAmeros-reales/index.xml" rel="self" type="application/rss+xml"/><item><title>Paradoja de Richard: La contradicción provocada por los decimales infinitos y el "argumento de la diagonal"</title><link>http://kenji.blog/es/p/richards-paradox/</link><pubDate>Thu, 10 Sep 2026 12:00:00 +0900</pubDate><guid>http://kenji.blog/es/p/richards-paradox/</guid><description>&lt;img src="http://kenji.blog/p/richards-paradox/img/richards_paradox.jpg" alt="Featured image of post Paradoja de Richard: La contradicción provocada por los decimales infinitos y el "argumento de la diagonal"" />&lt;h2 id="1-una-lista-de-números-definibles-con-palabras">1. Una lista de números definibles con palabras
&lt;/h2>&lt;p>La &amp;ldquo;Paradoja de Richard&amp;rdquo;, publicada por el matemático francés Jules Richard en 1905, es como un pariente de la &amp;ldquo;Paradoja de Berry&amp;rdquo; que presentamos antes. Sin embargo, esta es más matemática y contiene una profunda contradicción, como si asomara al infinito.&lt;/p>
&lt;p>Primero, imagina recopilar todos los &lt;strong>&amp;ldquo;números reales (decimales) entre 0 y 1 que puedan definirse completamente en español&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Por ejemplo, números como los siguientes:&lt;/p>
&lt;ul>
&lt;li>&amp;ldquo;Cero punto cinco&amp;rdquo; $\rightarrow$ $0.5$&lt;/li>
&lt;li>&amp;ldquo;Un tercio&amp;rdquo; $\rightarrow$ $0.333333...$&lt;/li>
&lt;li>&amp;ldquo;El número formado por los decimales de pi a partir del primer decimal&amp;rdquo; $\rightarrow$ $0.14159265...$&lt;/li>
&lt;/ul>
&lt;p>Las combinaciones de frases que se pueden expresar en español solo requieren reorganizar las letras que aparecen en el diccionario, por lo que se les puede asignar un &amp;ldquo;orden&amp;rdquo;.
(Por ejemplo, ordenándolos del menor número de letras al mayor, y si tienen el mismo número de letras, ordenarlos alfabéticamente).&lt;/p>
&lt;p>De esta manera, a &amp;ldquo;todos los números reales definibles en español&amp;rdquo; se les puede asignar un &lt;strong>número continuo infinito (una lista)&lt;/strong>: primero, segundo, tercero&amp;hellip;&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>En esta lista deberían estar cubiertos de manera absolutamente exhaustiva, sin faltar ni uno, &amp;ldquo;todos los números reales concebibles que puedan definirse en español&amp;rdquo;.&lt;/p>
&lt;hr>
&lt;h2 id="2-la-técnica-diabólica-el-argumento-de-la-diagonal">2. La técnica diabólica: el &amp;ldquo;argumento de la diagonal&amp;rdquo;
&lt;/h2>&lt;p>Aquí, Richard realiza una operación aterradora.
Crea artificialmente un &lt;strong>&amp;ldquo;número $X$ completamente nuevo&amp;rdquo;&lt;/strong> que evita todos los números de la lista.&lt;/p>
&lt;p>La forma de crearlo es sencilla.&lt;/p>
&lt;ul>
&lt;li>Mira el &lt;strong>primer&lt;/strong> decimal del &lt;strong>primer&lt;/strong> número de la lista (en el ejemplo anterior, el $3$). Suma $1$ a ese número para que sea el primer dígito de $X$ ($3+1=4$).&lt;/li>
&lt;li>Mira el &lt;strong>segundo&lt;/strong> decimal del &lt;strong>segundo&lt;/strong> número de la lista (en el ejemplo anterior, el $0$). Suma $1$ a ese número para que sea el segundo dígito de $X$ ($0+1=1$).&lt;/li>
&lt;li>Mira el &lt;strong>tercer&lt;/strong> decimal del &lt;strong>tercer&lt;/strong> número de la lista (en el ejemplo anterior, el $1$). Suma $1$ a ese número para que sea el tercer dígito de $X$ ($1+1=2$).&lt;/li>
&lt;/ul>
&lt;p>※ Si el número original fuera un $9$, se regresaría a $0$.&lt;/p>
&lt;div class="mermaid">graph TD
subgraph "Números reales en la lista"
R1["r1 = 0.[3]33..."]
R2["r2 = 0.5[0]0..."]
R3["r3 = 0.14[1]..."]
R4["r4 = 0.777[7]..."]
end
subgraph "El nuevo número creado X"
X["X = 0.4128..."]
end
R1 -->|+1 al 1er dígito| X
R2 -->|+1 al 2do dígito| X
R3 -->|+1 al 3er dígito| X
R4 -->|+1 al 4to dígito| X
style X fill:#aaffaa,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>El nuevo número $X$ creado con este método (en el ejemplo anterior, $X = 0.4128...$) &lt;strong>nunca coincidirá en absoluto con ningún número&lt;/strong> de la lista.
Esto se debe a que el número del &amp;ldquo;lugar decimal $n$&amp;rdquo; ha sido modificado intencionalmente para que sea distinto al del $n$-ésimo número.
(Esta técnica se llama &lt;strong>&amp;ldquo;argumento de la diagonal&amp;rdquo;&lt;/strong>, la cual fue ideada por el matemático genio Cantor para demostrar el tamaño infinito de los números reales).&lt;/p>
&lt;hr>
&lt;h2 id="3-la-completitud-de-la-paradoja-de-richard">3. La completitud de la Paradoja de Richard
&lt;/h2>&lt;p>Ahora bien, aquí comienza la paradoja.&lt;/p>
&lt;p>Acabamos de crear un nuevo número $X$.
Y la &amp;ldquo;regla&amp;rdquo; para crear este $X$ ha sido explicada (definida) perfectamente por &lt;strong>las frases en español que escribí arriba&lt;/strong>.&lt;/p>
&lt;p>Es decir, $X$ es &lt;strong>&amp;ldquo;un número real definible en español&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Sin embargo, recordemos la premisa inicial.
Se suponía que &amp;ldquo;los números reales definibles en español&amp;rdquo; estaban &lt;strong>todos exhaustivamente incluidos dentro de la lista inicial ($r_1, r_2, r_3...$)&lt;/strong>.
A pesar de esto, $X$ está hecho de manera que no coincida con ningún número de la lista.&lt;/p>
&lt;ol>
&lt;li>&lt;strong>$X$ debe existir dentro de la lista (porque se definió en español).&lt;/strong>&lt;/li>
&lt;li>&lt;strong>$X$ no debe existir dentro de la lista (porque se hizo diferente a todos los números de la lista mediante el argumento de la diagonal).&lt;/strong>&lt;/li>
&lt;/ol>
&lt;p>¡Una contradicción perfecta! Esta es la paradoja de Richard.&lt;/p>
&lt;hr>
&lt;h2 id="4-por-qué-se-derrumbó-la-lógica-la-trampa-del-metalenguaje">4. ¿Por qué se derrumbó la lógica? (La trampa del metalenguaje)
&lt;/h2>&lt;p>La causa de esta paradoja, al igual que la paradoja de Berry, radica en haber confundido la &amp;ldquo;jerarquía de los lenguajes&amp;rdquo;.&lt;/p>
&lt;p>Para hacer matemáticas rigurosamente, se debe separar claramente la &amp;ldquo;lista de números objetivo (lenguaje objeto)&amp;rdquo; y &amp;ldquo;las reglas que hablan desde el exterior sobre las propiedades de esa lista (metalenguaje)&amp;rdquo;.&lt;/p>
&lt;p>La lista de Richard es una colección de &amp;ldquo;definiciones de números calculables&amp;rdquo;.
Sin embargo, la regla para crear el nuevo número $X$, que consiste en &amp;ldquo;mirar el $n$-ésimo dígito del $n$-ésimo número de la lista&amp;rdquo;, es una &lt;strong>operación del &amp;ldquo;metalenguaje&amp;rdquo; que no puede ejecutarse sin tener una vista panorámica de la lista desde el exterior&lt;/strong>.&lt;/p>
&lt;p>La paradoja de Richard estalló creando una autocontradicción porque intentó infiltrar en secreto el &amp;ldquo;número $X$ metalingüístico, creado operando la lista desde afuera&amp;rdquo;, en el interior de la &amp;ldquo;lista interna&amp;rdquo;.&lt;/p>
&lt;hr>
&lt;h2 id="5-el-paso-del-testigo-a-gödel">5. El paso del testigo a Gödel
&lt;/h2>&lt;p>Esta paradoja de Richard causó un gran impacto en el mundo de las matemáticas de aquel entonces.
&amp;ldquo;Si no tenemos cuidado, las palabras humanas (y los sistemas lógicos) provocan autocontradicciones de inmediato. ¿Cómo podemos hacer que las matemáticas sean perfectas y libres de contradicciones?&amp;rdquo;&lt;/p>
&lt;p>En 1931, el matemático genio Kurt Gödel, de tan solo 25 años, dio una solución final a este problema.
Gödel logró traducir y reproducir perfectamente la estructura de esta paradoja —que Richard había provocado usando &amp;ldquo;la ambigüedad del español&amp;rdquo;— utilizando &lt;strong>&amp;ldquo;fórmulas matemáticas estrictas (Números de Gödel)&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>El resultado que derivó de esto es el famoso &lt;strong>&amp;ldquo;Teorema de Incompletitud de Gödel&amp;rdquo;&lt;/strong>.
Fue un gran descubrimiento que demostró los límites del conocimiento humano: &amp;ldquo;Sin importar cuán rigurosamente construyas las reglas matemáticas, dentro de esas reglas siempre surgirán &amp;lsquo;verdades que no se pueden probar ni refutar&amp;rsquo; (las matemáticas son incompletas)&amp;rdquo;.&lt;/p>
&lt;p>La paradoja de Richard comenzó como un simple juego de palabras contradictorio, y eventualmente evolucionó hasta convertirse en el arma más poderosa para destruir la &amp;ldquo;absolutidad&amp;rdquo; de las matemáticas como disciplina académica.&lt;/p></description></item></channel></rss>