Barber's paradox


by Edgardo
Tags: barber, paradox
Edgardo
Edgardo is offline
#1
Sep20-05, 02:26 PM
P: 685
There was once a barber. Some say that he lived in Seville. Wherever he lived, all of the men in this town either shaved themselves or were shaved by the barber. And the barber only shaved the men who did not shave themselves.

That is a nice story. But it raises the question: Did the barber shave himself?
Phys.Org News Partner Science news on Phys.org
SensaBubble: It's a bubble, but not as we know it (w/ video)
The hemihelix: Scientists discover a new shape using rubber bands (w/ video)
Microbes provide insights into evolution of human language
croxbearer
croxbearer is offline
#2
Sep21-05, 07:26 AM
P: 17
Yes. Because i suppose he is the only barber in town. And to satisfy the third sentence, he must also shave. The barber is not included in "the men"(third person) as referred in the last sentence.
DaveC426913
DaveC426913 is offline
#3
Sep21-05, 10:23 AM
DaveC426913's Avatar
P: 15,325
Part II:
A little known fact: There were actually TWO barbers in Seville (and the next nearest barber is a hundred mile train ride away in Quadalquivir).

The barber mentioned by Edguardo runs a very tight ship; his shop is spotlessly clean, as is his attire. He has perfectly groomed nails, teeth and hair - the very model of a clean, well-groomed gentleman. The other barber, on the other side of the tracks has a dirty shop, with hair on the floor. He's dressed in old clothes, with grimy nails, yellow teeth, B.O. and a terrible haircut - he's a slob.

You've just blown into town for a convention and absolutely must get a haircut. Who do you go to?

croxbearer
croxbearer is offline
#4
Sep21-05, 03:11 PM
P: 17

Barber's paradox


>>>
I will go to the second barber - the slob one. Since, there are only TWO barbers in town, and it was mentioned that he has a terrible haircut. That means, the well-groomed barber did his haircut. And also maybe, the reason why his shop was dirty is because he has lot of customers, which means he is really a good a barber, and probably he did also the haircut of the first barber.
Jeff Ford
Jeff Ford is offline
#5
Sep21-05, 03:34 PM
Jeff Ford's Avatar
P: 159
Quote Quote by Edgardo
There was once a barber. Some say that he lived in Seville. Wherever he lived, all of the men in this town either shaved themselves or were shaved by the barber. And the barber only shaved the men who did not shave themselves.

That is a nice story. But it raises the question: Did the barber shave himself?
Since the barber only shaves the men who did not shave themselves, he could not shave himself. Therefore the barber had a beard.
Edgardo
Edgardo is offline
#6
Sep22-05, 12:51 PM
P: 685
First of all,

a) the barber lives in Seville too. Therefore he should be included in the "men" mentioned in the orginal text.

Just a clue: examine the two cases with
(i) he shaves himself. What follows?
(ii) he does not shave himself. What follows?
The conclusion should be strange.

Remember, the barber is also among the "men".

I think Jeff understood the paradoxon. But to add something, the men definitely get shaved. So what's the problem with my story?



Secondly

b) Huh?!?! What's that thing about Part II?!?!?! LoL, you're changing my original question, Dave. But it's good anyway, hehe.
quark
quark is offline
#7
Sep22-05, 10:28 PM
P: 230
Never mind it. The barber is low on hormones.
Lisa!
Lisa! is offline
#8
Sep23-05, 03:37 AM
PF Gold
Lisa!'s Avatar
P: 971
Quote Quote by Edgardo
First of all,

a) the barber lives in Seville too. Therefore he should be included in the "men" mentioned in the orginal text.

Just a clue: examine the two cases with
(i) he shaves himself. What follows?
He just shaved men who did not shave themselves!



(ii) he does not shave himself. What follows?
The conclusion should be strange.
All of the men in this town were shaved anyway whether by themselves or by the barber!

But this story doesn't make sense to me:
1.Why someone can't/don't shave himself if he's able to shave others?(as you say there are some people who even aren't barber but can shave themselves!)

(2.If there are some people who can shave themselves, why they can't shave the barber?

3.Supppose the barber can't shave himself because of some reasons, so perhaps we can find someone else who's the same! I mean he can't shave himself but he can shave the barber!
4. It's important where he exactly lives! Perhaps he went to another city for shaving! )



Lol! I'm not a man, so I have no information about men's shaving!
LarrrSDonald
LarrrSDonald is offline
#9
Sep23-05, 02:52 PM
P: 69
This is kind of a more commonly (and thus badly) worded version of Russell's Antinomy, i.e.

[tex]R= \{x:x \notin x \}[/tex]
[tex]R \in R?[/tex]

By some (common) definitions it's a paradox (similar to the liar paradox mentioned in another thread). Both [tex] R \in R[/tex] and [tex] R \notin R[/tex] violates the definitions. It was a rather embarresing problem at the time (or so I understand, I was too young to care). I have no idea what resolutions were offered or if it was just determined mostly irrelevant for general appliactions - I imagine it's mostly a philosophical problem rather then a common issue with definitions.
Tide
Tide is offline
#10
Sep29-05, 02:57 AM
Sci Advisor
HW Helper
P: 3,149
The logical inconsistency that follows constitutes a proof that such a barber cannot exist. Brand the person who provided the question a liar (a Cretan??) and move on. :)
Curious3141
Curious3141 is offline
#11
Oct7-05, 10:06 PM
HW Helper
Curious3141's Avatar
P: 2,885
Quote Quote by LarrrSDonald
This is kind of a more commonly (and thus badly) worded version of Russell's Antinomy, i.e.

[tex]R= \{x:x \notin x \}[/tex]
[tex]R \in R?[/tex]

By some (common) definitions it's a paradox (similar to the liar paradox mentioned in another thread). Both [tex] R \in R[/tex] and [tex] R \notin R[/tex] violates the definitions. It was a rather embarresing problem at the time (or so I understand, I was too young to care). I have no idea what resolutions were offered or if it was just determined mostly irrelevant for general appliactions - I imagine it's mostly a philosophical problem rather then a common issue with definitions.
One can read more about Russell's Paradox here.

Russell himself attempted to resolve the paradox with his Theory of Types. Modern set theory - Zermelo Fraenkel (ZF) - also resolves this paradox.
mezarashi
mezarashi is offline
#12
Oct7-05, 10:13 PM
HW Helper
P: 661
Quote Quote by Edgardo
There was once a barber. Some say that he lived in Seville. Wherever he lived, all of the men in this town either shaved themselves or were shaved by the barber. And the barber only shaved the men who did not shave themselves.

That is a nice story. But it raises the question: Did the barber shave himself?
The answer is that no such barber exists. The answer is clearly indeterminate through ad absurdum. You logically reduce it to adsurdity, in which the statement will have no meaning.

1. Assume the barber does not shave.
2. Then by the said rules, he will shave himself.
3. If he shaves himself, that means that he will not shave himself, for he does not shave people who shave themselves.
4. If he does not shave himself, then by said rules he will shave himself. (this loops back to #2)

There's nothing too fancy about this. Here, I have a "paradox" of my own. Have fun.

The sentence below is true.
The sentence above is false.
amcavoy
amcavoy is offline
#13
Oct8-05, 06:15 PM
P: 669
Quote Quote by mezarashi
The answer is that no such barber exists. The answer is clearly indeterminate through ad absurdum. You logically reduce it to adsurdity, in which the statement will have no meaning.

1. Assume the barber does not shave.
2. Then by the said rules, he will shave himself.
3. If he shaves himself, that means that he will not shave himself, for he does not shave people who shave themselves.
4. If he does not shave himself, then by said rules he will shave himself. (this loops back to #2)

There's nothing too fancy about this. Here, I have a "paradox" of my own. Have fun.

The sentence below is true.
The sentence above is false.
This one goes around and around.

Alex
nnnnnnnn
nnnnnnnn is offline
#14
Oct12-05, 01:27 PM
P: 65
Quote Quote by mezarashi
The answer is that no such barber exists. The answer is clearly indeterminate through ad absurdum. You logically reduce it to adsurdity, in which the statement will have no meaning.
1. Assume the barber does not shave.
2. Then by the said rules, he will shave himself.
3. If he shaves himself, that means that he will not shave himself, for he does not shave people who shave themselves.
4. If he does not shave himself, then by said rules he will shave himself. (this loops back to #2)
There's nothing too fancy about this. Here, I have a "paradox" of my own. Have fun.
The sentence below is true.
The sentence above is false.
Well if he doesnt exist then no, he doesn't shave himself.
Lisa!
Lisa! is offline
#15
Oct12-05, 02:00 PM
PF Gold
Lisa!'s Avatar
P: 971
This thread is still alive? Where is Edgardo?
Edgardo
Edgardo is offline
#16
Oct14-05, 02:24 PM
P: 685
Hello, I am still here

As mentioned by some posters here, the paradox was discovered by the famous mathematician Bertrand Russel.

Here are some websites that explain what the problem is about (WARNING, SPOILER!):
http://plus.maths.org/issue20/xfile/
http://www.jimloy.com/logic/russell.htm

I personally found the paradox quite interesting and thought about it about an hour until I fully understood it.

Have fun!
moving finger
moving finger is offline
#17
Oct15-05, 12:27 PM
P: 1,603
the barber had had electrolysis to remove all of his facial hair, and did not need to be shaved.

MF
Edgardo
Edgardo is offline
#18
Oct15-05, 01:52 PM
P: 685
Quote Quote by moving finger
the barber had had electrolysis to remove all of his facial hair, and did not need to be shaved.
MF
Huh? Electrolysis?! What happened to him?


Register to reply

Related Discussions
1-D Box. Paradox? Quantum Physics 6
The Twin Paradox Paradox. Special & General Relativity 3
Resolving the Barber Paradox and the Russell's Paradox General Discussion 18
What is the resolution of the The Bug-Rivet Paradox paradox in special relativity? Special & General Relativity 4