Which Alice?
Which Alice?
Which Alice?
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
And That's the Beautiful Part of It!<br />
"Now look," said Humpty Dumpty, a bit irritatedly, "suppose I<br />
told you that there was a man, and he was six feet tall, and he wasn't<br />
six feet tall—what would you say?"<br />
"Obviously that there was no such man," replied <strong>Alice</strong>.<br />
"Good! And suppose I told you that there was a barber who<br />
neither shaved himself nor didn't shave himself—what would you<br />
say?"<br />
"That there was no such barber," replied <strong>Alice</strong>.<br />
"Well, that's exactly the barber of this story! Such a barber could<br />
neither shave himself nor not shave himself. Ergo, there is no such<br />
barber. That's logic for you!"<br />
This completely convinced <strong>Alice</strong>.<br />
"There is a related problem which will put this problem in a still<br />
better light," continued Humpty Dumpty. "In a certain town there<br />
are two barbers—call them Barber A and Barber B. It is given that<br />
Barber A shaves all the inhabitants who don't shave themselves, but<br />
it is not given that he doesn't shave some other inhabitants as well.<br />
As for Barber B, he never shaves any inhabitant who shaves<br />
himself, but he doesn't necessarily shave all inhabitants who don't<br />
shave themselves. Now, it is perfectly possible that Barbers A and B<br />
exist; there is no contradiction in assuming they do."<br />
"Then what's the problem?" asked <strong>Alice</strong>.<br />
"The problem has two parts: Does Barber A shave himself or<br />
doesn't he? And does Barber B shave himself or doesn't he?"<br />
<strong>Alice</strong> thought about this for a bit. "Barber A shaves himself and<br />
Barber B doesn't," answered <strong>Alice</strong>, quite proudly.<br />
"Good! Very good!" Humpty Dumpty exclaimed. "Now, can you<br />
tell me why?"<br />
"Because," replied <strong>Alice</strong>, quite confidently, "if Barber A didn't<br />
shave himself, then he would be one of those who don't shave<br />
themselves, but since he shaves all such people, he would have to<br />
shave himself. This is a contradiction. Therefore, he doesn't shave<br />
himself. As for Barber B, if he shaves himself, then he would be<br />
shaving someone who shaves himself, which he never does. Therefore,<br />
Barber B can't shave himself."<br />
"Now you're learning!" said Humpty Dumpty. "It's really lucky<br />
for you that you have such a good teacher!"<br />
95