Immutable Antinomy · Track 20 · middle

Ode to the Barber Paradox

The barber shaves all those, and only those, who do not shave themselves. Does the barber shave himself? If yes, he shouldn't. If no, he should. An ode to Russell's clean knife — the logical paradox that killed naive set theory and forced the 20th century to rebuild mathematics on sturdier ground.

Lyrics

The sign on the door is painted clear.
The rule is simple.
Everyone here understands.
My hand is steady.
The blade is keen.
I shave the carpenter, the baker, the clerk.
The men who cannot shave themselves.
I shave only the men who do not shave themselves.
A perfect service.
A closed set.
The town is tidy.
And then the mirror asks the question in the quiet of the morning.
My own face, unshaven.
Do I shave myself?
If I do, I am one who shaves himself, so I must not.
If I do not, I am one who does not, so I must.
The razor stops.
The hand trembles.
The rule eats its own beginning.
It was June, 1901.
A letter from a man named Russell.
To a man named Frege.
Not about barbers, not yet.
About a collection of collections.
A crack in the foundation stone.
He wrote that he found a contradiction.
And the whole beautiful building shivered.
This little town is that building.
This razor is that letter.
And the mirror asks the question in the quiet of the morning.
My own face, unshaven.
Do I shave myself?
If I do, I am one who shaves himself, so I must not.
If I do not, I am one who does not, so I must.
The razor stops.
The hand trembles.
The rule eats its own beginning.
This clean knife.
It was supposed to separate.
To make things neat.
Beard from cheek.
True from false.
But the blade is a question mark.
It turns on the hand that holds it.
The set of all sets that don't belong to themselves...
Does it belong to itself?
So I stand here.
In the silent shop.
The porcelain mug is empty.
The sun is coming up.
And the razor in my hand...
...waits.
For a rule that works.