Math Paradoxes on kenji.blog

Are Emeralds Green or 'Grue'?: Goodman's New Riddle of Induction

Thu, 10 Sep 2026 21:00:00 +0900

We predict the “future” from “past experiences”. “The sun rose from the east yesterday, so it will rise from the east tomorrow as well.” “All emeralds we have seen so far were green, so the next emerald unearthed will also be green.”

Such reasoning is called “induction”, and it is the foundation of all science. However, in 1955, philosopher Nelson Goodman devised a bizarre concept of color to show that this induction has a fundamental flaw. That is the “Grue” paradox.

Definition of the New Color “Grue”

Goodman defined a new property (color) called “Grue”, which is a synthesis of “Green” and “Blue”, as follows.

Definition of Grue: An object is “grue” if it is observed before a specific time $t$ (e.g., January 1, 2030) and is “green”, and if it is observed at or after time $t$ and is “blue”.

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{Time} < t) \\ \text{Blue} & (\text{Time} \ge t) \end{cases} $$

According to this definition, the green emerald you hold in your hand right now (before time $t$) is simultaneously “green” and “grue”.

Why is it a Paradox?

The paradox occurs when we try to predict the future. All emeralds humanity has observed so far have been “green”. Therefore, using induction, we predict the following:

Hypothesis A: “All emeralds are ‘green’”

But wait a minute. Since all emeralds observed so far were from before time $t$, they must have also all been “grue”. Therefore, from exactly the same observational data, the following prediction also holds true.

Hypothesis B: “All emeralds are ‘grue’”

If we follow the rules of induction, past observations support Hypothesis B with “exactly the same strength” as they support Hypothesis A.

graph TD A["Past observation: All emeralds were green"] -->|Simultaneously| B["Past observation: All emeralds were 'grue'"] A --> C["Inductive prediction A: Future emeralds will also be 'green'"] B --> D["Inductive prediction B: Future emeralds will also be 'grue'"] C --> E["Remain green even after time t"] D --> F["Turn 'blue' after time t!"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

Will Emeralds Turn Blue?

If Hypothesis B is correct, the moment time $t$ arrives, all emeralds in the world must simultaneously turn “blue” (from the definition of grue).

Intuitively, we think, “That’s absurd. Hypothesis B is unnatural wordplay, and Hypothesis A (green) must be the correct one.”

However, Goodman’s question lies much deeper. Even though both “green” and “grue” hypotheses perfectly match past data, why do we consider only the “green” prediction as valid and eliminate the “grue” prediction? What is the “logical basis” for that?

Challenge to the “Uniformity of Nature”

To avoid this problem, an objection comes to mind: “We should use simple concepts like ‘green’ and not complex, time-dependent concepts like ‘grue’.”

However, Goodman showed the opposite: if we define a color “Bleen” (blue until time $t$, green thereafter), the very concept of “green” becomes a complex, time-dependent concept (“grue” until time $t$, “bleen” thereafter). In other words, which words we take as “fundamental” is merely a habit of our language.

Goodman’s “Grue” paradox (the new riddle of induction) proved that scientific theories are not determined merely by objective data alone, but depend heavily on “what conceptual framework (language) we use to carve up the world”.

Even in the context of AI and machine learning, this paradox continues to hold significant meaning today as the problem of “overfitting” and “bias”, where even with the same training data, predictions for the future can completely change depending on the “structure of the model (which features it focuses on)”.

How Long Is the Coast of Britain?: The Coastline Paradox

Thu, 10 Sep 2026 21:00:00 +0900

How many kilometers long is the coastline of Britain? You might think the answer can be found in an encyclopedia or a geography textbook. However, in reality, there exists a strange fact: “the answer changes depending on how you measure it, and theoretically becomes infinite.”

This is the Coastline Paradox. This discovery later sparked the creation of an entirely new field of mathematics called “fractal geometry.”

The Shorter the Ruler, the Longer the Distance

A coastline is not a straight line, but is composed of countless inlets, capes, and irregularities in the rocky surface.

Suppose you measured the coastline of Britain with a giant 100 km ruler (a straight line). With this ruler, the jagged edges of small inlets and peninsulas under 100 km are ignored and shortcut.

Next, let’s measure it again with a 1 km ruler. Since you are now measuring along the contours of the small bays and capes that were ignored earlier, the total length will inevitably be longer.

Furthermore, what would happen if you measured the unevenness of every single rock with a 1 m ruler, the surface of pebbles with a 1 cm ruler, and the contours of grains of sand with a 1 mm ruler?

graph TD A["Measurement of Coastline"] --> B["100 km Ruler"] A --> C["1 km Ruler"] A --> D["1 m Ruler"] B --> B1["Ignores small inlets"] B1 --> B2["Measurement result: Approx. 2,800 km"] C --> C1["Follows the shape of inlets"] C1 --> C2["Measurement result: Approx. 3,400 km"] D --> D1["Measures down to the unevenness of rocks"] D1 --> D2["Measurement result: Increases further (theoretically infinite)"] style B2 fill:#FFCDD2,stroke:#333 style C2 fill:#E57373,stroke:#333 style D2 fill:#F44336,stroke:#333,color:#fff

Lewis Fry Richardson discovered this phenomenon empirically in 1951. As the unit of measurement (the length of the ruler) gets smaller, the measured length of the coastline increases endlessly.

Fractal Dimension: Between 1D and 2D

The mathematician Benoit Mandelbrot provided a mathematical explanation for this paradox. In 1967, he published a famous paper in the journal Science titled “How Long Is the Coast of Britain? Statistical Self-Similarity and Fractional Dimension”.

Mandelbrot pointed out that natural shapes like coastlines possess self-similarity (fractals), meaning that “no matter how much you zoom in, the same kind of complex structure appears.”

If it were a pure mathematical straight line (1 dimension), the length would not change even if you halved the ruler. However, a coastline is so jagged that it is more complex than a 1D line, yet it is not a 2D surface with area either.

Mandelbrot introduced the concept of “fractal dimension (Hausdorff dimension)” to represent the complexity of such figures. The fractal dimension of the coastline of Britain is estimated to be $D \approx 1.25$. In other words, the coastline of Britain is a mysterious entity with a “dimension higher than a 1D line, but lower than a 2D surface.”

If the length of the ruler is $s$ and the measured length of the coastline is $L(s)$, the following relationship exists with the fractal dimension $D$:

$$ L(s) \propto s^{1-D} $$

In the case of Britain’s coastline, $D = 1.25$, so $1 - D = -0.25$.

$$ L(s) \propto s^{-0.25} $$

This shows mathematically that as the ruler length $s$ approaches 0, the measurement result $L(s)$ diverges to infinity $\infty$.

Ultimate Conclusion: Length Cannot Be Defined

The concept of “length” that we use in everyday life works only for smooth straight lines and curves. Asking for the “absolute length” of a fractal figure existing in nature (coastlines, clouds, mountain ranges, branching of blood vessels, etc.) actually makes no mathematical sense.

“How long is the coast of Britain?” The correct answer is, “It depends on the length of the ruler used to measure it,” and theoretically, it is “infinite.” The fact that infinite length is folded into a limited small space can be said to be a beautiful paradox regarding our spatial perception.

Returning from Space Younger than Your Brother? The Twin Paradox

Thu, 10 Sep 2026 21:00:00 +0900

If you were to travel in a spaceship flying at a speed close to the speed of light, your clock would run “slower” than the clocks of the people on Earth. This is not a sci-fi movie setting, but a fact of physics proven by Einstein’s “Special Theory of Relativity”.

The most dramatic expression of this concept of “time dilation” is the famous thought experiment known as the “Twin Paradox”.

The Brother Who Goes to Space, and the Brother Who Stays on Earth

There are twin brothers born on the same day. On their 20th birthday, the older brother boards an ultra-high-speed rocket flying at 80% the speed of light ($0.8c$) and departs for a distant star. The younger brother stays on Earth and waits for his brother’s return.

Years later, the older brother returns to Earth. When the rocket doors open and the two reunite, something astonishing has happened.

The younger brother who waited on Earth has become a full-grown middle-aged man at 50 years old (30 years passed), whereas the older brother who traveled through space is still youthful at 38 years old (18 years passed).

“Even though they are twins, an age difference of 12 years has been created.” This is the first shock brought about by the theory of relativity.

graph TD A["Twin brothers (20 years old)"] --> B["Younger brother remaining on Earth"] A --> C["Older brother traveling space at 80% light speed"] B -->|30 Earth years pass| D["Younger brother at reunion: 50 years old"] C -->|Time dilates due to relativity, only 18 years pass| E["Older brother at reunion: 38 years old"] D --> F{"Age difference: 12 years!"} E --> F style A fill:#ECEFF1,stroke:#333 style B fill:#C8E6C9,stroke:#333 style C fill:#BBDEFB,stroke:#333 style D fill:#81C784,stroke:#333,color:#fff style E fill:#64B5F6,stroke:#333,color:#fff style F fill:#FF9800,stroke:#333,color:#fff,stroke-width:2px

The Core of the Paradox: Does It Change Depending on Who Is Looking?

The fact that “the older brother becomes younger” itself is a fact that can be derived by applying numbers to the equations of the theory of relativity (Lorentz factor), and is a physical phenomenon that is actually taken into account in modern GPS satellites (sometimes referred to as the Urashima effect).

However, the true “paradox” begins here. One of the most important rules of the theory of relativity is that “the laws of physics are exactly the same for every observer moving at a constant speed (absolute rest does not exist)”.

Applying this to our case creates a bizarre contradiction.

From the perspective of the younger brother on Earth: “The rocket carrying my older brother zoomed away at breakneck speed and then came back. Since my brother was the one moving, his time should slow down, and he should be younger.”
From the perspective of the older brother in the rocket: “I am stationary inside the rocket. Looking out the window, Earth zoomed away at breakneck speed and then came back. Since the younger brother on Earth was the one moving, his time should slow down, and he should be younger.”

Both claims are faithful to the relativity principle that “if the other person appears to be moving, their time slows down.” However, when the two reunite and stand side by side, a state where “both are younger than the other” is impossible. One must definitely be older and the other younger.

Does this mean Einstein’s theory is wrong?

Resolution: The Breakdown of “Symmetry”

The key to solving this paradox lies in the fact that “the positions of the two are not completely equal (symmetric)”.

The younger brother remained on Earth (an inertial frame: a state of moving at a constant speed or being at rest) the whole time. However, the older brother’s journey involves “acceleration” and “deceleration”.

The older brother’s spaceship cannot return to Earth without taking the following steps:

Depart Earth and accelerate.
Hit the brakes at the destination star (decelerate), change direction towards Earth, and accelerate again (make a U-turn).
Arrive at Earth and hit the brakes (decelerate).

In the theory of relativity, an observer who experiences acceleration (feels G-force) is treated differently (in the realm of General Relativity) than an observer moving at a constant speed.

In particular, the moment the older brother makes a “U-turn (a change of direction through intense acceleration)” at the destination star, the symmetry between the brothers’ positions completely breaks down. At the moment the older brother makes a U-turn and re-accelerates toward Earth, the “Earth’s clock (the younger brother’s age)” as seen by the older brother is observed to rapidly leap forward by decades all at once.

As a result, when they reunite, exactly as calculated, only the reality remains that “the older brother is 38 and the younger brother is 50,” cleanly resolving the contradiction.

The Twin Paradox is one of the most beautiful thought experiments in the history of physics, teaching us that our commonsense perception that “time flows equally for everyone” is completely inapplicable in the face of the vast universe and the speed of light.

The Master and the Student, A Contradictory Trial No Matter Who Wins: Paradox of the Court

Thu, 10 Sep 2026 21:00:00 +0900

In ancient Greece, a young man named Euathlus became a student of Protagoras, the greatest of the Sophists (teachers of rhetoric). The two entered into the following contract regarding the payment of tuition fees.

Contract Terms: After completing the entire course in rhetoric, Euathlus will pay the remaining balance of the tuition to Protagoras at the moment he wins his first court case.

Euathlus was an excellent student and successfully completed the entire rhetoric course. However, after completing it, he refused to take on any court cases for some reason. If he never went to court, the condition of “winning his first court case” would never be met, meaning he would not have to pay the tuition.

Exasperated, Protagoras sued Euathlus in court. “Pay the tuition,” he demanded.

And from here, a labyrinth of logic begins.

The Logic of the Master, Protagoras

Protagoras argued in court as follows:

“Oh judge, no matter what happens, I win.

If I win this case, by the court’s verdict, Euathlus must pay me the tuition.
If I lose this case, it means Euathlus has ‘won his first court case.’ In other words, the terms of the contract have been fulfilled, and he must pay the tuition according to the contract.

In either case, he has an obligation to pay the tuition.”

The Logic of the Student, Euathlus

In response, Euathlus also held his ground:

“Oh judge, no matter what happens, I win.

If I win this case, by the court’s verdict, I do not have to pay the tuition.
If I lose this case, I still have not ‘won my first court case.’ In other words, because the terms of the contract have not been fulfilled, contractually, I have no obligation to pay the tuition.

In either case, I do not need to pay the tuition.”

graph TD A["Result of the trial"] --> B["Protagoras wins"] A --> C["Euathlus wins"] B --> B1["Verdict: Euathlus must pay"] B --> B2["Contract: Euathlus has not won -> Does not have to pay"] C --> C1["Verdict: Euathlus does not have to pay"] C --> C2["Contract: Euathlus's first win -> Must pay"] B1 --> D{"Contradiction! Verdict vs Contract"} B2 --> D C1 --> E{"Contradiction! Verdict vs Contract"} C2 --> E style A fill:#ECEFF1,stroke:#333,stroke-width:2px style B fill:#4CAF50,color:#fff style C fill:#2196F3,color:#fff style D fill:#F44336,color:#fff,stroke-width:3px style E fill:#F44336,color:#fff,stroke-width:3px

Why Does It Contradict?

The root cause of this paradox is that two different rule systems (law and contract) make contradictory judgments against each other.

Rule of Law: Obey the court’s verdict.
Rule of Contract: Obey the condition of “pay if you win your first court case.”

Normally, law and contract function as independent domains, but because Protagoras made the “payment of tuition” the issue of the trial, the result of this trial itself affected the condition of the contract, causing the two systems to fall into a self-referential loop.

Answers From Legal Scholars

The ancient Roman jurist Aulus Gellius proposed the following solution to this problem:

“The court should rule in favor of Euathlus (no payment required) because it is a fact that the condition of the contract has not yet been met. However, after this verdict, Protagoras can sue Euathlus again. Because Euathlus won the first trial, the condition of the contract has been fulfilled. In the second trial, Protagoras will win.”

In other words, attempting to “solve the paradox simultaneously in a single trial” creates a contradiction, but handling it “in two stages” resolves it.

Connection to Self-Referential Paradoxes

The Paradox of the Court has the same self-referential structure as the “Liar Paradox (‘This sentence is false’)” and “Russell’s Paradox.” A proposition (the conclusion of the trial) affects the condition (the fulfillment of the contract) that determines its own truth or falsity.

This kind of paradox is deeply related to problems that demonstrate the fundamental limits of logic and computation, such as the “Halting Problem (it is impossible to create a program that determines whether a given program will halt or not)” in modern computer science, and Gödel’s Incompleteness Theorems.

The Paradox of the Court is a 2,400-year-old warning teaching us that systems of human-made rules (laws and contracts) can internally collapse through clever self-reference.

When Words Describe Themselves: The Grelling-Nelson Paradox

Thu, 10 Sep 2026 21:00:00 +0900

Words are tools for describing the world, but when we try to describe the words themselves, logic can fall into unexpected pitfalls.

Devised in 1908 by Kurt Grelling and Leonard Nelson, the “Grelling-Nelson Paradox” is a famous semantic paradox that confronts the limits of “words defining words.”

Classifying Words into Two Categories

Grelling and Nelson considered that all adjectives (words) could be classified into the following two groups:

Autological: A word that possesses the property it expresses.
Heterological: A word that does not possess the property it expresses.

Let’s Look at Some Examples

Examples of Autological Words:

“short”: The word itself is short.
“English”: The word itself is English.
“noun”: The word is a noun.
“pentasyllabic”: The word “pen-ta-syl-lab-ic” in English has five syllables.

Examples of Heterological Words:

“long”: The word itself is short, not long.
“German”: This word is English, not German.
“invisible”: This word is currently clearly visible on your screen or paper.

Up to this point, it looks like mere wordplay. Every word should theoretically fall into one of the two categories: either it embodies its meaning or it doesn’t.

The Fatal Question: The Emergence of the Paradox

Now, here begins the paradox. Consider the following single word:

Is the word “heterological” itself autological or heterological?

Whatever answer we choose for this question, we face a contradiction.

Case 1: Assume “heterological” is “autological”

If the word “heterological” is “autological,” by definition, it “possesses the property it expresses.” However, the meaning of this word is “heterological.” In other words, having the property of being “heterological” means that it is “heterological.” We assumed it was autological, but the result turned out to be heterological. (Contradiction)

Case 2: Assume “heterological” is “heterological”

If the word “heterological” is “heterological,” by definition, it “does not possess the property it expresses.” Since the meaning of this word is “heterological,” not having that property means that it is “autological.” We assumed it was heterological, but the result turned out to be autological. (Contradiction)

Whichever way it goes, logic collapses.

graph TD A["The word 'heterological'"] --> B{"How is it classified?"} B -->|Autological| C["Definition: Possesses the property it expresses"] C --> D["Its meaning is 'heterological'"] D --> E["Result: It is heterological!"] E -->|Contradiction| B B -->|Heterological| F["Definition: Does not possess the property it expresses"] F --> G["Its meaning is 'heterological'"] G --> H["Result: It is autological!"] H -->|Contradiction| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

Connection to Math and Logic: A Relative of Russell’s Paradox

This paradox is not a simple miscalculation or illusion like the “Missing Dollar Riddle.” It shares essentially the same structure as Russell’s Paradox (“Does the set of all sets that do not contain themselves contain itself?”), which shook the foundations of mathematics.

The Grelling-Nelson Paradox can be considered the semantic (word meaning) version of Russell’s Paradox.

Russell’s Paradox in set theory: When defining a set

$$ R = \\{ x \mid x \notin x \\} $$

asking whether $R \in R$ or $R \notin R$ leads to a contradiction.

The Grelling-Nelson Paradox in semantics: When defining $Het(x)$ as “the word $x$ does not possess the property $x$ (is heterological)”,

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

leads to a logical contradiction.

Why is This Paradox Important?

When words refer to themselves (self-reference), there is always a latent danger of infinite loop-like errors occurring.

This is not just a problem in philosophy or linguistics. In the fields of computer science and artificial intelligence, similar logical walls are encountered when programs attempt to evaluate or modify their own code, or when natural language processing models interpret semantic contradictions.

The Grelling-Nelson Paradox is a thought experiment that beautifully visualizes the bugs (limitations) inherently contained within the system of “language.”

Your Friends Have More Friends Than You Do: The Friendship Paradox

Thu, 10 Sep 2026 21:00:00 +0900

“People around me seem to have more friends and have more fun than I do…” Have you ever felt this way while scrolling through social media?

Actually, you feeling this way is not because of your personality or lack of popularity. It is a mathematical fact proven by network theory and statistics, known as the “Friendship Paradox”.

Discovered in 1991 by sociologist Scott Feld, this paradox explains the counterintuitive phenomenon that “most people have fewer friends than their friends do.”

Why do “Friends Have More Friends”?

To put it simply, this is due to a simple sampling bias: “People with many friends (popular people) appear on many people’s friend lists.”

Let’s consider a simple network (graph).

graph TD A["Alice (1 friend)"] --- C["Charlie (3 friends)"] B["Bob (1 friend)"] --- C C --- D["David (1 friend)"] style A fill:#4FC3F7,stroke:#333,stroke-width:2px style B fill:#4FC3F7,stroke:#333,stroke-width:2px style C fill:#FF9800,stroke:#333,stroke-width:4px style D fill:#4FC3F7,stroke:#333,stroke-width:2px

In this small world, there are four people: Alice, Bob, Charlie, and David. Charlie is the “popular one” and is friends with all three of the others. The other three are only friends with Charlie.

Let’s look at the number of friends each person has.

Alice’s number of friends: 1
Bob’s number of friends: 1
David’s number of friends: 1
Charlie’s number of friends: 3 The average number of friends for everyone is $(1 + 1 + 1 + 3) / 4 = 1.5$ friends.

Next, let’s calculate the average of the “number of friends their friends have” for each person.

Number of friends of Alice’s friend (Charlie): 3
Number of friends of Bob’s friend (Charlie): 3
Number of friends of David’s friend (Charlie): 3
Average number of friends of Charlie’s friends (Alice, Bob, David): $(1 + 1 + 1) / 3 = 1$

Now, let’s compare each “person” with the “average of their friends”.

Alice: Herself (1) < Friends’ average (3)
Bob: Himself (1) < Friends’ average (3)
David: Himself (1) < Friends’ average (3)
Charlie: Himself (3) > Friends’ average (1)

3 out of 4 people (75% of the people) are in a situation where “their friends have more friends than they do.” The presence of the popular Charlie strongly pulls up the “friends’ average” for everyone around him.

Mathematical Proof: Variance is Key

Let’s express this with a mathematical formula. In network theory, let the number of friends (degree) of a person $v$ be $k(v)$. Let the overall average number of friends in the network be $\mu$, and the variance of the number of friends be $\sigma^2$.

According to Feld’s proof, the expected value of the “number of friends of a randomly chosen friend” is as follows:

$$ \text{Average number of friends of friends} = \mu + \frac{\sigma^2}{\mu} $$

The variance $\sigma^2$ is always a value of 0 or greater. In other words, except for the impossible situation where everyone has exactly the same number of friends ($\sigma^2 = 0$), the following inequality always holds.

$$ \mu + \frac{\sigma^2}{\mu} > \mu $$

The “average number of friends of friends” will always be greater than the “overall average number of friends.”

In the real world and on social media (like X or Instagram), a tiny fraction of people have millions of followers (friends), while the vast majority only have dozens to hundreds. Because the variance $\sigma^2$ is extremely large, the effect of this paradox becomes even more intense.

Application: Pandemics and Vaccination

The Friendship Paradox goes beyond the psychology of social media. It has a highly effective application in real-world social issues, particularly infectious disease control.

Suppose we have a limited number of vaccines and are unsure who to vaccinate. There is a more effective method than random vaccination.

Choose people at random.
Vaccinate not the person themselves, but the person they named as a “friend”.

Why is that? Because of the Friendship Paradox, the “friends” of randomly chosen people have a higher probability of having more connections (being a hub) on average. By prioritizing vaccines for people with many connections, we can dramatically slow the spread of infection throughout the entire network.

Conclusion

When you look at social media and feel “everyone has more friends and a better social life than me,” it is not your illusion, but a mathematical inevitability created by the structure of networks.

Because popular people show up in many people’s networks, we are inevitably forced to observe a sample consisting mostly of “above-average popular people.” The next time you are about to feel down on social media, please remember this formula.

$$ \mu + \frac{\sigma^2}{\mu} > \mu $$

The Unexpected Hanging Paradox: The Day a Logically "Absolutely Impossible" Test Takes Place

Thu, 10 Sep 2026 10:00:00 +0900

1. The Teacher’s “Absolute Declaration”

On the way home one Friday, a math teacher made a terrifying announcement to his students.

“Next week, on some day from Monday to Friday, I will give a ‘surprise test’ exactly once. However, if you can definitely predict ’the test is today’ on the morning of that day, it won’t be a surprise, so the test will not be given on that day.”

Hearing this declaration, the students trembled. It meant they had to spend every day in fear, wondering when the test would be held. However, Student A, the brightest in the class, suddenly smiled and stood up.

“Everyone, you can rest easy. It is absolutely impossible for a surprise test to be held next week. It’s logically impossible!”

With full confidence, Student A began to write the following “perfect logic” on the blackboard.

2. Student A’s Proof by “Perfect Logic”

Student A’s proof uses a mathematical technique of thinking backwards from “Friday” (backward reasoning).

Step 1: Eliminate the Possibility of Friday

Suppose the test was not given for the four days of Monday, Tuesday, Wednesday, and Thursday. Then, the only day left is “Friday.” On the morning of Friday, the students would be able to definitely predict, “Today is the only day left, so the test is definitely today!” According to the teacher’s declaration, “It will not be given on a day it can be predicted,” so it is logically impossible to give a surprise test on Friday. Therefore, there will absolutely be no test on Friday.

Step 2: Eliminate the Possibility of Thursday

It is confirmed that there is no test on Friday. This means that the last possible day the test can be given is “Thursday.” Suppose the test was not given for the three days of Monday, Tuesday, and Wednesday. Then, the only remaining possibility is Thursday (Friday has already been eliminated). On the morning of Thursday, the students would be able to definitely predict, “The test is today!” Therefore, there will absolutely be no test on Thursday either.

Step 3: All Days of the Week Disappear

We just need to repeat the same logic. If there’s no Thursday, the last day becomes Wednesday. Thus, if there is no test until Tuesday, it could be predicted on Wednesday morning, so Wednesday also disappears. If Wednesday disappears, Tuesday disappears, and Monday disappears too. Conclusion: As long as the teacher’s rules are followed, it is absolutely impossible to give a surprise test on any day from Monday to Friday!

graph TD Fri["Friday morning
(No test Mon-Thu)"] -->|"Predictable as 'Only Friday left'"| NoFri["Test impossible on Friday"] Thu["Thursday morning
(No test Mon-Wed)"] -->|"Predictable as 'Not Friday so it must be today'"| NoThu["Test impossible on Thursday"] Wed["Wednesday morning"] -->|"Predictable as 'Not Thu/Fri so it must be today'"| NoWed["Test impossible on Wednesday"] Tue["Tuesday morning"] -->|"Predictable similarly"| NoTue["Test impossible on Tuesday"] Mon["Monday morning"] -->|"Predictable similarly"| NoMon["Test impossible on Monday"] NoFri -.-> Thu NoThu -.-> Wed NoWed -.-> Tue NoTue -.-> Mon style NoFri fill:#ff9999,stroke:#333 style NoThu fill:#ff9999,stroke:#333 style NoWed fill:#ff9999,stroke:#333 style NoTue fill:#ff9999,stroke:#333 style NoMon fill:#ff9999,stroke:#333

The students in the class rejoiced. Student A’s logic seemed perfect, with no loopholes anywhere. They spent the weekend playing around and having fun, and welcomed Monday without studying for the test at all.

Monday… There was no test. “See!” Tuesday… There was no test. “Just like Student A said!”

And then, on Wednesday morning. Clatter! The classroom door opened, the teacher came in, and said:

“Alright, clear your desks. We’re going to start the surprise test now!”

The students fell into a panic. “W-Why!? We completely didn’t predict that there would be a test on Wednesday!”

The teacher smiled smugly. “See, you couldn’t predict it, could you? My ‘declaration’ was completely correct, and the surprise test was established according to the rules.”

3. Where Did the Logic Go Wrong?

Even though Student A’s proof looked perfect, why did a “perfect surprise test” actually take place in reality? This problem is originally called the “Unexpected Hanging Paradox,” and ever since it was devised by the Swedish mathematician Lennart Ekbom in the 1940s, it has continued to trouble philosophers and logicians.

Actually, there is still no unified view that “this is the one absolute correct answer” to this paradox. However, there are some leading approaches to resolving it.

Approach 1: “Paradox of Knowledge (Epistemology)”

The biggest pitfall in Student A’s reasoning was that he incorporated the premise that “the teacher’s declaration is 100% true” into his own prediction.

The teacher’s declaration consists of two conditions: “Give a test next week (P)” and “Do not give it on a day it can be predicted (Q).” If there has been no test up to Friday, the student thinks, “If the declaration is correct, it must be today,” but at the same time, room for doubt is born: “If I can predict it’s today, it violates Q of the declaration. In that case, wasn’t the declaration P (give a test) itself a lie in the first place?”

As a result of the collision between the belief that “the teacher’s words are absolutely correct” and “logical reasoning,” the students held the false conclusion (belief) that “the teacher will not give the test,” and as a result, no matter when the test was given, they ended up in an “unexpected (surprise)” state.

Approach 2: “Paradox of Self-Reference”

Let’s convert the teacher’s words into a logical formula. Let the teacher’s claim be $S$. $S =$ “I will give a test on a certain day $T$. And, you will not be able to predict that day $T$.”

This claim has a “self-referential structure” where its truth or falsehood changes depending on how the students receive it itself (the declaration). Just like the “Liar Paradox (‘This sentence is a lie’)”, it has the property of causing logical reasoning to loop infinitely.

4. “Surprise Tests” Lurking in Daily Life

This paradox is applied not only to mathematics but also to our everyday lives.

[The Dilemma of the Surprise Party]

Suppose a friend declares, “I’m going to throw a surprise party for your birthday this month!” Hearing this, you guess every day, “Is it today? Is it tomorrow?” If there is no party even by the last day of the month, you end up reasoning that in order to satisfy the condition of a “surprise (unpredictable)”, it absolutely cannot be done on the last day… However, in reality, if a cake suddenly appears around the middle of the month, you receive a perfect surprise, thinking, “I was really surprised!”

5. Conclusion

“The Unexpected Hanging Paradox” brilliantly expresses the difficulty of including the human state of ‘knowing (predicting)’ itself into logical calculations.

What we think of as “perfect reasoning” might actually be nothing more than a castle built on sand, resting on the baseless belief that “the other party will absolutely follow the rules.” Next time a teacher says, “I’m giving a surprise test,” it seems the most rational thing to do is to stop twisting logic and just quietly study every day.

Hilbert's Grand Hotel: How to Accommodate Infinite New Guests in a Fully Booked Hotel

Thu, 10 Sep 2026 06:00:00 +0900

1. Welcome to the Ultimate Hotel

The great German mathematician David Hilbert devised an interesting thought experiment to illustrate how far the concept of “infinity” is from human intuition.

Imagine that somewhere in the universe, there is a hotel called “Hilbert’s Grand Hotel.” This hotel has an infinite number of rooms, numbered 1, 2, 3, and so on.

One day, there was a massive event in the universe, and every single room in this infinite hotel was occupied, making it “fully booked.” Then, an exhausted traveler arrived and asked the front desk, “Could you please find me a room?”

A normal hotel would have no choice but to refuse, saying, “We are sorry, but we are fully booked.” However, this is the Grand Hotel. The manager smiled and said, “Certainly. We will have a room ready for you right away.” How can they accommodate a new guest when the hotel is already full?

2. Case 1: How to Accommodate One New Guest

The manager made an announcement over the intercom to all the guests currently staying at the hotel:

“Attention all guests. Please move to the room whose number is ‘plus 1’ of your current room number.”

What happens then?

The guest in room 1 moves to room 2.
The guest in room 2 moves to room 3.
The guest in room 3 moves to room 4.
The guest in room $n$ moves to room $n+1$.

graph LR subgraph "Before Moving (Fully Booked)" R1["Room 1
(Guest A)"] R2["Room 2
(Guest B)"] R3["Room 3
(Guest C)"] R4["..."] end subgraph "After Moving" NewR1["Room 1
(Empty!)"] NewR2["Room 2
(Guest A)"] NewR3["Room 3
(Guest B)"] NewR4["Room 4
(Guest C)"] end R1 -->|Move| NewR2 R2 -->|Move| NewR3 R3 -->|Move| NewR4 NewGuest["New Guest"] -->|Check-in| NewR1 style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px

Since there are an infinite number of rooms, the scenario where “the guest in the last room is kicked out” never occurs. Everyone successfully moves to the next room. And brilliantly, Room 1 becomes vacant. The new traveler was able to stay in Room 1 safely.

In the world of infinity, $\infty + 1 = \infty$ holds true. Even if you take out “one” from the “whole (infinity),” the size of the whole does not change.

3. Case 2: How to Accommodate an Infinite Number of New Guests

Well, the next day, the hotel was fully booked once again. Then, incredibly, an infinite bus carrying an “infinite number of passengers” arrived. The passengers who got off the bus pressed the front desk, saying, “We need rooms for everyone!”

If they asked for the “plus 1” move like yesterday, it would take forever. However, the manager didn’t panic. He made another intercom announcement.

“Attention all guests. Please move to the room whose number is ‘multiplied by 2’ of your current room number.”

What happens then?

The guest in room 1 moves to room 2.
The guest in room 2 moves to room 4.
The guest in room 3 moves to room 6.
The guest in room $n$ moves to room $2n$.

Through this move, the infinite number of guests who were already staying fit perfectly into “all the even-numbered rooms.” And miraculously, “all the odd-numbered rooms (Room 1, 3, 5…)” became completely vacant!

Since there are an infinite number of odd numbers as well, the manager can accommodate everyone by guiding the passengers of the infinite bus sequentially from the front to Room 1, Room 3, Room 5, and so on.

In the world of infinity, $\infty + \infty = \infty$ holds true. Even if you add infinity to infinity, the size remains the same “infinity.”

4. Case 3: What if an Infinite Number of Infinite Buses Arrive?

Furthermore, the next day. Once again, the hotel is fully booked. And then, astonishingly, “an infinite number of infinite buses, each carrying an infinite number of passengers,” arrived in a continuous line.

Bus 1 has an infinite number of people, Bus 2 has an infinite number of people, Bus 3 has an infinite number of people… this goes on for an infinite number of buses. Even the manager seems like he might panic, but he was a mathematical genius. He came up with the idea of using “prime numbers.”

The manager gave the following instructions:

Movement of guests already staying in the hotel Let the current room number be $n$. Have them move to room “$2^n$”. (Room 1 $\rightarrow$ Room 2, Room 2 $\rightarrow$ Room 4, Room 3 $\rightarrow$ Room 8…) This accommodates all the current guests.
Guiding guests from Bus 1 (Infinite people) Let the guest’s seat number be $n$. Guide them to room “$3^n$”. (Room 3, Room 9, Room 27…)
Guiding guests from Bus 2 (Infinite people) Use the next prime number, 5, and guide them to room “$5^n$”. (Room 5, Room 25, Room 125…)
Guiding guests from Bus $k$ (Infinite people) Use the $(k+1)$-th prime number, $P$, and guide them to room “$P^n$”.

Thanks to a powerful mathematical theorem known as “the uniqueness of prime factorization (any number can be expressed as a combination of prime factor multiplications in only one way),” the room numbers $2^n, 3^n, 5^n, 7^n \dots$ will absolutely never overlap with anyone else.

In this way, the manager brilliantly managed to accommodate a staggering number of guests—“Infinity $\times$ Infinity”—into a single infinite hotel!

5. Infinite Sets Have Different “Sizes” (Cantor’s Theorem)

What Hilbert’s Grand Hotel teaches us is the fact that “countably infinite (infinity that can be counted by assigning numbers like 1, 2, 3…)”, no matter how many times it is added together or multiplied, will ultimately fit within the same size of “countably infinite” framework.

However, the mathematician Georg Cantor discovered an even more terrifying truth. “Natural numbers” and “fractions” can all be accommodated in this infinite hotel. But if guests of “real numbers (all decimals, including irrational numbers)” arrive, even this infinite hotel will absolutely not be able to accommodate all of them.

It has been proven that the number of real numbers is fundamentally a “larger (higher-level) infinity” than the number of rooms in the infinite hotel (countably infinite). Although often lumped together under the word “infinity,” there actually exists a hierarchical structure (cardinality) within infinity, ranging from a “small infinity” to an “infinity so large it is absolutely unreachable.”

6. Conclusion: The “Infinity” That Destroys Human Intuition

Hilbert’s Grand Hotel vividly illustrates how the “common sense of the finite” cultivated in our daily lives simply does not apply in the “world of infinity.”

“The whole is greater than the part” “No one can enter a fully booked hotel” “If you add infinity to infinity, it gets bigger”

All these obvious intuitions are brilliantly betrayed. The world of infinity is a treasure trove of paradoxes (truths that contradict intuition). Mathematicians did not fear these paradoxes; instead, they subdued them with the power of logic, classified them, and built the beautiful system of modern set theory.

The next time you are turned away because “the hotel is fully booked,” try to imagine, “What if this hotel were Hilbert’s Grand Hotel?”

The Missing Dollar Riddle: Learning Logical Thinking and Accounting Basics from an Intuition-Deceiving Math Paradox

Thu, 10 Sep 2026 00:00:00 +0900

1. Introduction: Why Are We Deceived by Simple Addition?

In the world, there exist strange problems that can completely bug out the human brain using only lower elementary school level “addition” and “subtraction”, without relying on advanced calculus or complex topology. Among these, the most famous worldwide and the one that has troubled many people is “The Missing Dollar Riddle”.

At first glance, it seems like an ordinary everyday scene, a story about a bill issue at a restaurant (or hotel). However, just by following the calculations a little, “$1” suddenly vanishes from the world.

In this article, we will take up this famous math paradox (more accurately, a paradox-style trick question) and thoroughly dissect why our intuition is deceived and where the logical pitfalls lie, from three perspectives: mathematics, cognitive psychology, and double-entry bookkeeping (accounting).

2. Posing the Problem: The Missing Dollar Riddle

First, please read the following story. And if you have a pen and paper at hand, please try following the calculations together.

[!QUESTION] The Missing Dollar Riddle (Story) One day, three travelers came to a small hotel. The front desk clerk at the reception said, “A room for three is $30 total for one night." > The three travelers each took out $10 from their wallets, paid a total of $30 to the clerk, and headed to their room.

After a while, the hotel manager came by and told the clerk: “Today is a campaign day, so that room is only $25. Go return $5 immediately.”

The clerk headed to the guest room holding $5 in bills. However, he thought to himself on the way: > "It's hard to split $5 equally among 3 people. If I secretly take $2 and return the remaining $3, it fits perfectly at $1 per person.”

So, the clerk hid $2 in his pocket, lied to the travelers saying "You get a $3 refund from the campaign," and returned $1 to each person.

Now, here is the problem.

The travelers initially paid $10 each and later got back $1 each, so the amount they actually paid is $10 - $1 = $9.

The total amount paid by the 3 travelers is $9 × 3 people = $27.

Meanwhile, the clerk has the secretly pocketed $2 in his pocket.

If you add the $27** paid by the travelers and the **$2 held by the clerk, it becomes 27 + 2 = $29.

Initially, the travelers definitely paid “$30". > However, according to the current calculation, there is only "$29”.

Where in the world did the remaining $1 disappear to?

How about it? The more you read, the more your brain might get confused thinking, “There is definitely $1 missing!". The calculation formulas themselves are as simple as `9 × 3 = 27` and `27 + 2 = 29`, which even elementary schoolers can understand. And yet, for some reason, it doesn't add up to the initial $30.

From the next chapter onward, let’s unravel the trick behind this strange phenomenon.

3. The Gap Between Intuition and the Right Answer: Why Does the Brain Bug Out?

The thought process that many people fall into when hearing this problem is as follows:

graph TD A["Initial State: Guests pay $30"] --> B["Refund Process: Manager returns $5"] B --> C["Fraud: Clerk steals $2"] C --> D["Guests' Final Cost: $9 × 3 people = $27"] D --> E["Mysterious Calculation: Guests' cost $27 + Clerk's $2 = $29"] E --> F["Question: Doesn't match initial $30! $1 vanished!"] style E fill:#ff9999,stroke:#333,stroke-width:2px style F fill:#ff4444,color:#fff,stroke:#333,stroke-width:4px

The true identity of this paradox lies in a clever word trick (Framing Effect) of “adding things that shouldn’t be added”.

The Core of the Fallacy: The Meaningless Calculation of “27 + 2”

Look closely again at the following part at the end of the problem text:

If you add the $27** paid by the travelers and the **$2 held by the clerk, it becomes 27 + 2 = $29.

Actually, this calculation of “27 + 2” itself is a logically completely meaningless calculation. This is because the “final amount paid by the travelers ($27)" already includes the "amount secretly pocketed by the clerk ($2)”.

The breakdown of the $27 paid by the travelers is as follows:

Amount in the hotel cash register: $25
Amount pocketed by the clerk: $2
Total: $27

In other words, adding the clerk’s $2 on top of the $27 means you are “Double Counting” the clerk’s $2.

If you want to correctly match it up with the initial “$30”, you need to add together the “amount paid by the guests” and the “amount returned to the guests”.

Final amount paid by the guests: $27 (Register $25 + Clerk $2)
Amount returned to the guests: $3
Total: 27 + 3 = $30

Calculated this way, it becomes obvious that not a single dollar has disappeared.

4. Mathematical Clarification: Strict Proof by Equations

For those who are not satisfied with just a verbal explanation, let’s prove the cash flow using strict mathematical formulas.

Let’s define the overall movement of money with variables.

$ P_{initial} $ : Total amount initially paid by guests (30)
$ C_{hotel} $ : Final amount received by the hotel (manager) (25)
$ R_{total} $ : Refund amount handed to the clerk by the manager (5)
$ R_{guest} $ : Final refund amount received by the guests (3)
$ S_{waiter} $ : Amount pocketed by the clerk (waiter) (2)

From the initial cash flow, the following equation holds:

$$ P_{initial} = C_{hotel} + R_{total} \quad \cdots (1) $$

($30 = $25 + $5)

The $5 returned by the manager is divided between the guests and the clerk's pocket. $$ R_{total} = R_{guest} + S_{waiter} \quad \cdots (2) $$ ($5 = $3 + $2)

Substitute equation (2) into equation (1).

$$ P_{initial} = C_{hotel} + (R_{guest} + S_{waiter}) \quad \cdots (3) $$

($30 = $25 + $3 + $2)

Here, we define the “final amount paid by the guests” mentioned in the problem as $ P_{final} $. This is the initial amount paid minus the amount returned to the guests.

$$ P_{final} = P_{initial} - R_{guest} \quad \cdots (4) $$

($27 = $30 - $3)

Let’s transpose $ R_{guest} $ to the left side from equation (3).

$$ P_{initial} - R_{guest} = C_{hotel} + S_{waiter} \quad \cdots (5) $$

From equation (4) and equation (5), the following truth is derived:

$$ P_{final} = C_{hotel} + S_{waiter} \quad \cdots (6) $$

(Guests’ final payment $27 = Hotel sales $25 + Clerk’s theft $2)

The trick of the problem lies in the fact that it tries to add $ S_{waiter} $ ($2), which is supposed to be included in the right side, once again to $ P_{final} $ ($27) on the left side. In other words, the calculation formula induced by the problem text is as follows:

$$ P_{final} + S_{waiter} = (C_{hotel} + S_{waiter}) + S_{waiter} $$ $$ 27 + 2 = (25 + 2) + 2 = 29 $$

This number “29” is a fictional value with absolutely no physical or economic meaning, simply being “hotel sales + clerk’s theft × 2”. This is the mathematical true identity of the illusion that makes it seem like “$1 disappeared”.

5. The Accounting Perspective: Shattering the Paradox with Double-Entry Bookkeeping

For those who are still not convinced (or feel intuitively foggy) even with mathematical equations, you can perfectly visualize this mystery using the concept of “Double-Entry Bookkeeping”, which has been used in the business world for over 500 years.

The basic principle of double-entry bookkeeping is that “Debit” and “Credit” always match. Let’s use this to make a journal entry of the movement of money.

Transaction 1: Guests pay $30

This is the initial state from the hotel’s perspective.

Debit (Increase in Assets)	Credit (Increase in Liabilities/Equity)
Cash: $30	Deposits (or Sales): $30

Transaction 2: Manager hands $5 to clerk, records $25 as sales

Since the room charge was changed to $25, $5 is given to the clerk for “refund”.

Debit	Credit
Deposits: $30	Sales: $25 Clerk (Cash): $5

Transaction 3: Clerk’s action ($3 refund and $2 embezzlement)

This is the most important part. We record the destination of the $5 cash held by the clerk.

Debit	Credit
Refund to Guests: $3 Embezzlement Loss: $2	Clerk (Cash): $5

Final Integrated State of Balance Sheet (B/S) and Profit & Loss (P/L)

As a result of the whole process, we summarize where the cash is and under what name.

pie title Final location of the initial $30 (Assets side) "Hotel Register (Sales $25)" : 25 "Guests' Wallets (Refund $3)" : 3 "Waiter's Pocket (Embezzlement $2)" : 2

[Confirmation of Final State]

Source of funds (Guests’ expense): $30
Location of funds (Result):
- $25 in the hotel register
- $2 in the waiter’s pocket
- $3 with the guests
- Total = 25 + 2 + 3 = $30

Looking at it through the accounting “principle of matching debits and credits (T-accounts)”, the “amount paid by the guests $27 (expense)" is a "decrease on the asset side", and the act of adding the "waiter's stolen $2 (movement on the asset side)” to it is nothing but an impossible mistake of “mixing and adding debits and credits” according to accounting standards. In the business world, if an accountant reported the calculation “27 + 2 = 29” to management, it is a logical failure on the level that they would immediately be fired or suspected of accounting fraud.

6. The Cognitive Psychology Perspective: Why Do We Accept “27+2=29”?

Why do many people unconsciously accept a calculation formula that is mathematically and accountingly wrong, thinking “Hmm, I see”? That involves powerful cognitive biases built into the human brain.

1. The Bug in Mental Accounting

Behavioral economist Richard Thaler (Nobel Prize winner in Economics) proposed that humans unconsciously categorize money in their heads (“Mental Accounting”). At the end of the problem text, the “guests’ expense ($27)" and the "waiter's obtained money ($2)” are presented under the same category of “money”. The brain just extracts the “amount numbers (27 and 2)” and easily performs addition, ignoring the direction of the vectors—whether it is “money paid (negative)” or “money held (positive)”.

2. Framing Effect (Information Framework)

This is the effect where people’s decision-making and judgment change depending on how information is presented. The clever part of the problem text is **“setting the initial number of $30 as the goal"**. After being shown the calculation "27 + 2 = $29”, the brain unconsciously tries to forcefully link it to the goal (anchoring) of “it should become the original $30”. It is designed to cause intense cognitive dissonance (discomfort and confusion) by making you compare numbers that shouldn’t originally be compared, and an error of “1” arises there.

3. The Magic of Storytelling

Humans are better at understanding “stories” than mathematical formulas. While simulating the movements of the characters (guests, manager, waiter) in your head, your working memory fills up, and the cognitive resources to verify the logical validity of the final equation are depleted. The exact same technique as “misdirection”, where a magician guides the audience’s gaze to succeed in a trick, is used in this word problem.

7. History and Similar Problems of “The Missing Dollar Riddle”

This kind of paradox has existed since ancient times and has been passed down in various variations across eras and borders.

Origin of the Paradox

The exact origin of this problem is unknown, but it became widely known in America in the 1930s. At the time, it was called the “Bellboy paradox”, and the amount settings varied. It is said to reflect the mass psychology during the Great Depression in America, where the whereabouts of a mere “$1” was a major concern.

An Even More Advanced Derivative: The Missing Square Puzzle

Applying this “verbal deception” to “shapes (geometry)” is the “Missing square puzzle”, which is introduced in another article on this blog. It is an intuition bug where, when rearranging shape parts that should have the same area, a hole of 1 square (area) somehow disappears. This also uses the cognitive limit that “the human eye cannot detect slight distortions (differences in slope) of straight lines”.

8. Lessons for the Real World: What Should We Learn from the Paradox?

“The Missing Dollar Riddle” has deep lessons that are a pity to end as just a drinking party joke or a child’s quiz.

The Ability to Doubt the “Given Framework (Premise)” When we make decisions in everyday business or investments, aren’t we swallowing whole the presentation materials or sales pitches presented by someone saying “Adding this number and this number results in this”? Even if the calculation result is correct (27 + 2 is definitely 29), critical thinking asking “Does setting up that equation itself even make logical sense in the first place?” is indispensable.
The Absoluteness of Cash Flow Accounting fraud in corporate accounting and loss concealment in complex financial derivatives can be said to be highly sophisticated “Missing Dollar Riddles”. Even if one makes it look like there is profit by adding and subtracting numbers without substance, tracing the “movement of cash (cash flow)” from the root will inevitably expose the contradiction. Exactly when things feel complex, it is necessary to return to the basics of “Where did the money come from, and where did it go?”.

9. Conclusion: The $1 Was Never Missing from the Start

Finally, I would like to conclude by presenting the most concise and powerful answer to this paradox.

“The guests paid a total of $27; $25 went into the hotel register, and $2 went into the waiter's pocket. The calculation is perfectly correct. The calculation formula trying to forcefully return to the initial $30 is the very source of all the confusion.”

No matter how much our brains evolve, they are very easily deceived by the combination of a “plausible story” and “simple addition”. However, by using the powerful tools of mathematics and logic (equations and double-entry bookkeeping), we can sever that illusion and see through to the truth.

Next time, if a friend poses “The Missing Dollar Riddle” with a smug face, definitely try to reply coolly with this deep knowledge in the background, “The vectors of the numbers to add and the numbers to subtract are wrong!”

Math Paradoxes on kenji.blog

Are Emeralds Green or 'Grue'?: Goodman's New Riddle of Induction

Definition of the New Color “Grue”

Why is it a Paradox?

Will Emeralds Turn Blue?

Challenge to the “Uniformity of Nature”

How Long Is the Coast of Britain?: The Coastline Paradox

The Shorter the Ruler, the Longer the Distance

Fractal Dimension: Between 1D and 2D

Ultimate Conclusion: Length Cannot Be Defined

Returning from Space Younger than Your Brother? The Twin Paradox

The Brother Who Goes to Space, and the Brother Who Stays on Earth

The Core of the Paradox: Does It Change Depending on Who Is Looking?

Resolution: The Breakdown of “Symmetry”

The Master and the Student, A Contradictory Trial No Matter Who Wins: Paradox of the Court

The Logic of the Master, Protagoras

The Logic of the Student, Euathlus

Why Does It Contradict?

Answers From Legal Scholars

Connection to Self-Referential Paradoxes

When Words Describe Themselves: The Grelling-Nelson Paradox

Classifying Words into Two Categories

Let’s Look at Some Examples

The Fatal Question: The Emergence of the Paradox

Case 1: Assume “heterological” is “autological”

Case 2: Assume “heterological” is “heterological”

Connection to Math and Logic: A Relative of Russell’s Paradox

Why is This Paradox Important?

Your Friends Have More Friends Than You Do: The Friendship Paradox

Why do “Friends Have More Friends”?

Mathematical Proof: Variance is Key

Application: Pandemics and Vaccination

Conclusion

The Unexpected Hanging Paradox: The Day a Logically "Absolutely Impossible" Test Takes Place

1. The Teacher’s “Absolute Declaration”

2. Student A’s Proof by “Perfect Logic”

Step 1: Eliminate the Possibility of Friday

Step 2: Eliminate the Possibility of Thursday

Step 3: All Days of the Week Disappear

3. Where Did the Logic Go Wrong?

Approach 1: “Paradox of Knowledge (Epistemology)”

Approach 2: “Paradox of Self-Reference”

4. “Surprise Tests” Lurking in Daily Life

5. Conclusion

Hilbert's Grand Hotel: How to Accommodate Infinite New Guests in a Fully Booked Hotel

1. Welcome to the Ultimate Hotel

2. Case 1: How to Accommodate One New Guest

3. Case 2: How to Accommodate an Infinite Number of New Guests

4. Case 3: What if an Infinite Number of Infinite Buses Arrive?

5. Infinite Sets Have Different “Sizes” (Cantor’s Theorem)

6. Conclusion: The “Infinity” That Destroys Human Intuition

The Missing Dollar Riddle: Learning Logical Thinking and Accounting Basics from an Intuition-Deceiving Math Paradox

1. Introduction: Why Are We Deceived by Simple Addition?

2. Posing the Problem: The Missing Dollar Riddle

3. The Gap Between Intuition and the Right Answer: Why Does the Brain Bug Out?

The Core of the Fallacy: The Meaningless Calculation of “27 + 2”

4. Mathematical Clarification: Strict Proof by Equations

5. The Accounting Perspective: Shattering the Paradox with Double-Entry Bookkeeping

Transaction 1: Guests pay $30

Transaction 2: Manager hands $5 to clerk, records $25 as sales

Transaction 3: Clerk’s action ($3 refund and $2 embezzlement)

Final Integrated State of Balance Sheet (B/S) and Profit & Loss (P/L)

6. The Cognitive Psychology Perspective: Why Do We Accept “27+2=29”?

1. The Bug in Mental Accounting

2. Framing Effect (Information Framework)

3. The Magic of Storytelling

7. History and Similar Problems of “The Missing Dollar Riddle”

Origin of the Paradox

Similar Problem: The Missing 10 Yen Riddle

An Even More Advanced Derivative: The Missing Square Puzzle

8. Lessons for the Real World: What Should We Learn from the Paradox?

9. Conclusion: The $1 Was Never Missing from the Start