Curry’s Paradox and Löb’s Theorem: When Logic Becomes Magic

Imagine a statement: “If this statement is true, then mermaids exist.”

Sounds absurd? Now let’s figure out why it is logically paradoxical.

Curry’s Paradox: Logic Against Common Sense

Let’s denote our statement as S:
S = “If S is true, then mermaids exist.”

Now let’s reason through it:

1. If S is true, then by its own definition, mermaids exist.
2. But that is exactly what S claims — so S is true.
3. Therefore, mermaids exist!

How is this possible? The root of Curry’s paradox lies in self-reference: the statement refers to itself. This logical “trick” allows us to reach a conclusion even when it is utterly implausible.

Löb’s Theorem: A Rigorous Formalization

If Curry’s paradox seems like an abstract mind game, Löb’s theorem turns this approach into a strict mathematical formulation. It states:

If the statement “provability of P implies the truth of P” is itself provable, then P is provable.

Consider an example. Suppose a logical system contains the following claim:

“If it is provable that 1+1=3, then 1+1=3.”

What can we say about this statement? It is unprovable. Why? Because 1+1=3 is false, and no consistent logical system can prove a false statement.

Now replace 1+1=3 with a true statement:

“If it is provable that 1+1=2, then 1+1=2.”

This statement is provable, because 1+1=2 is true. Löb’s theorem confirms that if its provability leads to its truth, then it is indeed provable within the theory itself.

The Connection Between Provability and Truth

Löb’s theorem explores the deep relationship between provability — the ability to rigorously justify a statement — and truth — its correspondence with reality. In formal systems built on axioms, such as Peano arithmetic, the theorem shows how contradictions analogous to Curry’s paradox can be avoided.

This is not a coincidence. The very structure of axiomatic systems constrains what can be proven, and Löb’s theorem makes that boundary precise and exploitable.

Why Does Any of This Matter?

Paradoxes like Curry’s help expose the weak points in logical systems, while Löb’s theorem provides the tools to formalize and reinforce them. These ideas extend well beyond pure mathematics — they find applications in theoretical computer science, philosophy, and even artificial intelligence.

The next time you encounter an absurd statement, remember: behind it may lie a subtle logic capable of turning your understanding of reality upside down.