<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Gödel's Incompleteness Theorems on kenji.blog</title><link>http://kenji.blog/en/tags/g%C3%B6dels-incompleteness-theorems/</link><description>Recent content in Gödel's Incompleteness Theorems on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>en</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 12:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/en/tags/g%C3%B6dels-incompleteness-theorems/index.xml" rel="self" type="application/rss+xml"/><item><title>Richard's Paradox: The Contradiction Caused by Infinite Decimals and the "Diagonal Argument"</title><link>http://kenji.blog/en/p/richards-paradox/</link><pubDate>Thu, 10 Sep 2026 12:00:00 +0900</pubDate><guid>http://kenji.blog/en/p/richards-paradox/</guid><description>&lt;img src="http://kenji.blog/p/richards-paradox/img/richards_paradox.jpg" alt="Featured image of post Richard's Paradox: The Contradiction Caused by Infinite Decimals and the "Diagonal Argument"" />&lt;h2 id="1-a-list-of-numbers-definable-in-words">1. A List of Numbers Definable in Words
&lt;/h2>&lt;p>&amp;ldquo;Richard&amp;rsquo;s Paradox&amp;rdquo;, published by the French mathematician Jules Richard in 1905, is akin to a relative of the &amp;ldquo;Berry Paradox&amp;rdquo; introduced earlier. However, this one is more mathematical and contains a deep contradiction that feels like peering into the abyss of infinity.&lt;/p>
&lt;p>First, imagine collecting all the &lt;strong>&amp;ldquo;real numbers between 0 and 1 (decimals) that can be completely defined by English sentences&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>For example, numbers like these:&lt;/p>
&lt;ul>
&lt;li>&amp;ldquo;Zero point five&amp;rdquo; $\rightarrow$ $0.5$&lt;/li>
&lt;li>&amp;ldquo;One third&amp;rdquo; $\rightarrow$ $0.333333...$&lt;/li>
&lt;li>&amp;ldquo;The number formed by the decimal digits of pi&amp;rdquo; $\rightarrow$ $0.14159265...$&lt;/li>
&lt;/ul>
&lt;p>The combinations of sentences that can be expressed in English are simply rearrangements of characters found in a dictionary, so we can assign an &amp;ldquo;order&amp;rdquo; to them.
(For example, arranging them in order of length, and if they have the same length, arranging them in alphabetical order.)&lt;/p>
&lt;p>In this way, we have created an &lt;strong>infinitely continuing numbered list&lt;/strong> (1st, 2nd, 3rd&amp;hellip;) of &amp;ldquo;all real numbers definable in English&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>Within this list, &amp;ldquo;every possible real number definable in English&amp;rdquo; should be perfectly included without a single exception.&lt;/p>
&lt;hr>
&lt;h2 id="2-the-demonic-technique-diagonal-argument">2. The Demonic Technique: &amp;ldquo;Diagonal Argument&amp;rdquo;
&lt;/h2>&lt;p>Here, Richard performs a terrifying operation.
He artificially creates a &lt;strong>&amp;ldquo;completely new number $X$&amp;rdquo;&lt;/strong> that avoids all the numbers currently in the list.&lt;/p>
&lt;p>The method is simple:&lt;/p>
&lt;ul>
&lt;li>Look at the &lt;strong>1st decimal digit&lt;/strong> of the &lt;strong>1st&lt;/strong> number in the list (in the above example, $3$). Add $1$ to it, and make that the 1st digit of $X$ ($3+1=4$).&lt;/li>
&lt;li>Look at the &lt;strong>2nd decimal digit&lt;/strong> of the &lt;strong>2nd&lt;/strong> number in the list (in the above example, $0$). Add $1$ to it, and make that the 2nd digit of $X$ ($0+1=1$).&lt;/li>
&lt;li>Look at the &lt;strong>3rd decimal digit&lt;/strong> of the &lt;strong>3rd&lt;/strong> number in the list (in the above example, $1$). Add $1$ to it, and make that the 3rd digit of $X$ ($1+1=2$).&lt;/li>
&lt;/ul>
&lt;p>*If the original digit is $9$, let&amp;rsquo;s assume it loops back to $0$.&lt;/p>
&lt;div class="mermaid">graph TD
subgraph "Listed Real Numbers"
R1["r1 = 0.[3]33..."]
R2["r2 = 0.5[0]0..."]
R3["r3 = 0.14[1]..."]
R4["r4 = 0.777[7]..."]
end
subgraph "Newly Created Number X"
X["X = 0.4128..."]
end
R1 -->|Add 1 to the 1st digit| X
R2 -->|Add 1 to the 2nd digit| X
R3 -->|Add 1 to the 3rd digit| X
R4 -->|Add 1 to the 4th digit| X
style X fill:#aaffaa,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>The new number $X$ created by this method (in the example above, $X = 0.4128...$) will &lt;strong>absolutely never match any number&lt;/strong> in the list.
This is because the $n$-th decimal digit of $X$ is intentionally shifted from the $n$-th decimal digit of the $n$-th number.
(This technique is called the &lt;strong>&amp;ldquo;Diagonal Argument&amp;rdquo;&lt;/strong>, devised by the genius mathematician Cantor to prove the infinite size of real numbers.)&lt;/p>
&lt;hr>
&lt;h2 id="3-the-completion-of-richards-paradox">3. The Completion of Richard&amp;rsquo;s Paradox
&lt;/h2>&lt;p>Now, here comes the paradox.&lt;/p>
&lt;p>We have just created a new number $X$.
And the &amp;ldquo;rule&amp;rdquo; for creating this $X$ is perfectly explained (defined) by &lt;strong>the English sentences I just wrote above&lt;/strong>.&lt;/p>
&lt;p>In other words, $X$ is a &lt;strong>&amp;ldquo;real number definable in English&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>However, remember the initial premise.
&amp;ldquo;Real numbers definable in English&amp;rdquo; were supposed to be &lt;strong>all comprehensively included in the initial list ($r_1, r_2, r_3...$)&lt;/strong>.
Yet, $X$ was constructed so that it does not match any number in the list.&lt;/p>
&lt;ol>
&lt;li>&lt;strong>$X$ must exist within the list (because it was defined in English).&lt;/strong>&lt;/li>
&lt;li>&lt;strong>$X$ must not exist within the list (because it was constructed using the diagonal argument to differ from all numbers in the list).&lt;/strong>&lt;/li>
&lt;/ol>
&lt;p>A perfect contradiction! This is Richard&amp;rsquo;s Paradox.&lt;/p>
&lt;hr>
&lt;h2 id="4-why-did-the-logic-collapse-the-trap-of-meta-language">4. Why Did the Logic Collapse? (The Trap of Meta-language)
&lt;/h2>&lt;p>The reason this paradox arose, similarly to the Berry Paradox, lies in the confusion of &amp;ldquo;levels of language.&amp;rdquo;&lt;/p>
&lt;p>To perform mathematics rigorously, one must clearly separate the &amp;ldquo;list of numbers in question (object language)&amp;rdquo; from the &amp;ldquo;rules that talk about the properties of that list from the outside (meta-language)&amp;rdquo;.&lt;/p>
&lt;p>Richard&amp;rsquo;s list is a collection of &amp;ldquo;definitions of computable numbers&amp;rdquo;.
However, the rule to create the new number $X$, &amp;ldquo;look at the $n$-th digit of the $n$-th number in the list&amp;rdquo;, is a &lt;strong>&amp;ldquo;meta-language&amp;rdquo; operation that cannot be executed without looking down at the list itself from the outside&lt;/strong>.&lt;/p>
&lt;p>Richard&amp;rsquo;s Paradox exploded into self-contradiction because it secretly tried to slip the &amp;ldquo;meta-linguistic number $X$ created by manipulating the list from the outside&amp;rdquo; into the &amp;ldquo;inside list&amp;rdquo;.&lt;/p>
&lt;hr>
&lt;h2 id="5-passing-the-baton-to-gödel">5. Passing the Baton to Gödel
&lt;/h2>&lt;p>This Richard&amp;rsquo;s Paradox sent a massive shockwave through the mathematical community of the time.
&amp;ldquo;Human language (and logical systems) can easily cause self-contradiction if we are not careful. How can we make mathematics perfect and free of contradiction?&amp;rdquo;&lt;/p>
&lt;p>In 1931, it was the 25-year-old genius mathematician Kurt Gödel who brought a final resolution to this problem.
Gödel perfectly translated and reproduced the structure of this paradox, which Richard caused using the &amp;ldquo;ambiguity of language,&amp;rdquo; by using &lt;strong>&amp;ldquo;rigorous mathematical formulas (Gödel numbering)&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>The result derived from this was the famous &lt;strong>&amp;ldquo;Gödel&amp;rsquo;s Incompleteness Theorems&amp;rdquo;&lt;/strong>.
It was a monumental discovery proving the limits of human knowledge: &amp;ldquo;No matter how rigorously mathematical rules are established, &amp;rsquo;truths that can neither be proved nor disproved&amp;rsquo; will inevitably arise within those rules (mathematics is incomplete).&amp;rdquo;&lt;/p>
&lt;p>Richard&amp;rsquo;s Paradox began as a mere contradictory play on words, and eventually evolved into the ultimate weapon to shatter the &amp;ldquo;absoluteness&amp;rdquo; of mathematics itself.&lt;/p></description></item></channel></rss>