<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Mathematical Logic on kenji.blog</title><link>http://kenji.blog/en/tags/mathematical-logic/</link><description>Recent content in Mathematical Logic on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>en</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 11:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/en/tags/mathematical-logic/index.xml" rel="self" type="application/rss+xml"/><item><title>Berry Paradox: The Contradiction That Occurs When Trying to Define a "Number" Using "Words"</title><link>http://kenji.blog/en/p/berry-paradox/</link><pubDate>Thu, 10 Sep 2026 11:00:00 +0900</pubDate><guid>http://kenji.blog/en/p/berry-paradox/</guid><description>&lt;img src="http://kenji.blog/p/berry-paradox/img/berry_paradox.jpg" alt="Featured image of post Berry Paradox: The Contradiction That Occurs When Trying to Define a "Number" Using "Words"" />&lt;h2 id="1-expressing-numbers-with-words">1. Expressing Numbers with Words
&lt;/h2>&lt;p>We routinely express numbers not only using &amp;ldquo;Arabic numerals (1, 2, 3&amp;hellip;)&amp;rdquo; but also using &amp;ldquo;words (Japanese, English, etc.)&amp;rdquo;.&lt;/p>
&lt;p>For example, the number &amp;ldquo;$10$&amp;rdquo; can be expressed in various words as follows:&lt;/p>
&lt;ul>
&lt;li>&amp;ldquo;じゅう&amp;rdquo; (jū: 3 characters)&lt;/li>
&lt;li>&amp;ldquo;ごの2ばい&amp;rdquo; (twice five: 5 characters)&lt;/li>
&lt;li>&amp;ldquo;ひゃくの10ぶんの1&amp;rdquo; (one tenth of a hundred: 9 characters)&lt;/li>
&lt;/ul>
&lt;p>In this way, let&amp;rsquo;s consider explaining a certain number using &amp;ldquo;Japanese characters&amp;rdquo;.
We will set a limit on the number of characters we can use. Here, let&amp;rsquo;s consider numbers that can be expressed in Japanese using &lt;strong>&amp;ldquo;19 characters or less&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Naturally, there is a &lt;strong>limit&lt;/strong> to the numbers that can be expressed in 19 characters or less.
The number of Japanese character types (hiragana, katakana, kanji, etc.) is finite, and the number of combinations arranging them in 19 characters or less is also finite (it will be an astronomical number, but it is not infinite).&lt;/p>
&lt;p>In other words, there absolutely must exist &lt;strong>&amp;ldquo;huge integers that simply cannot be fully expressed in Japanese using 19 characters or less&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;hr>
&lt;h2 id="2-birth-of-the-paradox">2. Birth of the Paradox
&lt;/h2>&lt;p>Now, here is the main point.
There are countless &amp;ldquo;integers that cannot be expressed in Japanese using 19 characters or less&amp;rdquo;.
Suppose we find the &lt;strong>&amp;ldquo;smallest one (the least integer)&amp;rdquo;&lt;/strong> among those countless unexpressible numbers.&lt;/p>
&lt;p>Let&amp;rsquo;s call that number $X$.
Since $X$ is by definition the smallest among the &amp;ldquo;numbers that cannot be expressed in Japanese using 19 characters or less&amp;rdquo;, we can refer to it as follows:&lt;/p>
&lt;p>&lt;strong>&amp;ldquo;じゅうきゅうもじいないであらわせないさいしょうのせいすう&amp;rdquo;&lt;/strong> (the smallest integer not expressible in nineteen characters or less)&lt;/p>
&lt;p>Let&amp;rsquo;s count the number of characters.
&amp;ldquo;じゅ・う・きゅ・う・も・じ・い・な・い・で・あ・ら・わ・せ・な・い・さ・い・しょ・う・の・せ・い・す・う&amp;rdquo;
&amp;hellip;Wait? Even without the punctuation, there are 25 characters.
This exceeds &amp;ldquo;19 characters&amp;rdquo;.&lt;/p>
&lt;p>So, let&amp;rsquo;s tweak the expression a bit and use kanji to make it shorter.&lt;/p>
&lt;p>&lt;strong>「十九文字以内で表せない最小の整数」&lt;/strong>&lt;/p>
&lt;p>Now, please count the number of characters in this Japanese phrase.&lt;/p>
&lt;ol>
&lt;li>十&lt;/li>
&lt;li>九&lt;/li>
&lt;li>文&lt;/li>
&lt;li>字&lt;/li>
&lt;li>以&lt;/li>
&lt;li>内&lt;/li>
&lt;li>で&lt;/li>
&lt;li>表&lt;/li>
&lt;li>せ&lt;/li>
&lt;li>な&lt;/li>
&lt;li>い&lt;/li>
&lt;li>最&lt;/li>
&lt;li>小&lt;/li>
&lt;li>の&lt;/li>
&lt;li>整&lt;/li>
&lt;li>数&lt;/li>
&lt;/ol>
&lt;p>Surprisingly, it is &lt;strong>only &amp;ldquo;16 characters&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Something strange has happened.
We have just expressed the number $X$ using the &lt;strong>&amp;ldquo;16 Japanese characters&amp;rdquo;&lt;/strong> in the phrase &lt;strong>&amp;ldquo;十九文字以内で表せない最小の整数&amp;rdquo;&lt;/strong>!&lt;/p>
&lt;div class="mermaid">graph TD
Define["Definition:&lt;br>X = The smallest integer not expressible in 19 characters or less"] --> CheckLength{"What is the character count of&lt;br>『十九文字以内で表せない最小の整数』?"}
CheckLength -->|It is 16 characters| Contradiction["Contradiction!&lt;br>X was expressed in 『16 characters』!"]
Contradiction --> Paradox["X is supposed to be 『not expressible in 19 characters or less』&lt;br>but it is 『expressible in 19 characters or less (16 characters)』"]
style Contradiction fill:#ff9999,stroke:#333
style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>Even though $X$ is supposed to be a number that &amp;ldquo;cannot be expressed in 19 characters or less&amp;rdquo;, the very words defining it perfectly express $X$ in &amp;ldquo;16 characters (which is 19 characters or less)&amp;rdquo;.
This is the &lt;strong>&amp;ldquo;Berry Paradox&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;hr>
&lt;h2 id="3-who-created-this-paradox">3. Who Created This Paradox?
&lt;/h2>&lt;p>This paradox was devised in 1904 by a person named &lt;strong>G. G. Berry&lt;/strong>, a librarian at Oxford University.
It spread worldwide after the genius mathematician and philosopher representing the 20th century, &lt;strong>Bertrand Russell&lt;/strong>, introduced it in his own paper.&lt;/p>
&lt;p>(*In the original English paper, the expression &amp;ldquo;The least integer not nameable in fewer than nineteen syllables&amp;rdquo; was used, and the paradox was constructed to work with the number of syllables in English.)&lt;/p>
&lt;hr>
&lt;h2 id="4-why-did-the-contradiction-occur">4. Why Did the Contradiction Occur?
&lt;/h2>&lt;p>The fundamental cause of this paradox lies in the &lt;strong>ambiguity&lt;/strong> and &lt;strong>self-reference&lt;/strong> of the &amp;ldquo;natural languages (such as Japanese or English)&amp;rdquo; that we usually use.&lt;/p>
&lt;h3 id="natural-language-cannot-withstand-the-rigor-of-mathematics">Natural Language Cannot Withstand the Rigor of Mathematics
&lt;/h3>&lt;p>In the world of mathematics, &amp;ldquo;defining a number&amp;rdquo; is a highly rigorous process (using equations and symbols).
However, in the Berry Paradox, an attempt was made to define a mathematical object (an integer) using the &lt;strong>everyday language&lt;/strong> of humans, such as &amp;ldquo;expressible&amp;rdquo; or &amp;ldquo;not expressible&amp;rdquo;.&lt;/p>
&lt;p>Everyday language is incredibly powerful and flexible, but due to that flexibility, it allows for acrobatic feats like &amp;ldquo;referring to its own character count&amp;rdquo;.
As a result, it caused a self-contradiction (a paradox of self-reference) where &amp;ldquo;the definition itself breaks the rules of the definition.&amp;rdquo;&lt;/p>
&lt;h3 id="what-does-it-mean-to-be-nameable">What Does It Mean to Be &amp;ldquo;Nameable&amp;rdquo;?
&lt;/h3>&lt;p>Furthermore, the definition of the phrase &amp;ldquo;expressible in 16 characters&amp;rdquo; is also ambiguous.
The phrase &amp;ldquo;the smallest integer not expressible in 19 characters or less&amp;rdquo; &lt;strong>does not directly point&lt;/strong> to a specific, concrete number (like $987654321...$, for example).
It &lt;strong>merely describes indirectly&lt;/strong> that &amp;ldquo;there must be a number satisfying the condition.&amp;rdquo;&lt;/p>
&lt;p>Mathematically, a clear distinction must be made between &amp;ldquo;expressing in a directly calculable form&amp;rdquo; and &amp;ldquo;stating indirect conditions in words.&amp;rdquo; The logical trick is hidden in the fact that these two are conflated to claim, &amp;ldquo;It could be expressed in 16 characters!&amp;rdquo;&lt;/p>
&lt;hr>
&lt;h2 id="5-summary-and-impact-on-the-modern-era">5. Summary and Impact on the Modern Era
&lt;/h2>&lt;p>At first glance, the Berry Paradox seems like a mere &amp;ldquo;wordplay&amp;rdquo; or &amp;ldquo;riddle&amp;rdquo;.
However, this problem served as a catalyst that made 20th-century mathematicians deeply recognize the &lt;strong>&amp;ldquo;danger of building the foundations of mathematics using everyday language&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>&amp;ldquo;We must not define numbers with words. Mathematics must be constructed entirely and exclusively with independent, rigorous symbols.&amp;rdquo;&lt;/p>
&lt;p>This paradox became an important milestone leading to cutting-edge studies that changed the history of mathematics, such as &amp;ldquo;Gödel&amp;rsquo;s incompleteness theorems&amp;rdquo; (there are truths in mathematics that can never be proven) and &amp;ldquo;Kolmogorov complexity&amp;rdquo; (the theory of how short information can be compressed) in computer science.&lt;/p>
&lt;p>Just 16 characters of Japanese exposed the limits of mathematics. That is the beauty of the Berry Paradox.&lt;/p></description></item></channel></rss>