理发师悖论

  今天上离散数学的时候老师给我们看来一个小小的故事，其实就是著名的理发师悖论，也就是罗素悖论：在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！”来找他刮脸的人络绎不绝，自然都是那些不给自己刮脸的人。可是，有一天，这位理发师从镜子里看见自己的胡子长了，他本能地抓起了剃刀，你们看他能不能给他自己刮脸呢？如果他不给自己刮脸，他就属于“不给自己刮脸的人”，他就要给自己刮脸，而如果他给自己刮脸呢？他又属于“给自己刮脸的人”，他就不该给自己刮脸。

  其实看到这个例子，我就要程序简单的模拟了一下：

public class Person {
	
	private String name;
	
	private boolean isShave;
	
	public boolean getIsShave() {
		
		return isShave;
	}
	
	public void setIsShave(boolean isShave) {
		
		this.isShave = isShave;
	}
	
	public String getName() {
		
		return name;
	}
	
	public void setName(String name) {
		
		this.name = name;
	}
}

 

public class Barber extends Person{

	public void shave(Person person) {
		
		if(person.getIsShave())
			System.out.println(this.getName() + "不可以为" + person.getName() + "剪发");
		else
			System.out.println(this.getName() + "可以为" + person.getName() + "剪发");;
	}
}

 

 

public class Test {

	public static void main(String[] args) {
		
		/**
		 * 两位顾客
		 */
		Person personA = new Person();
		personA.setName("zhangsan");
		personA.setIsShave(false);
		
		Person personB = new Person();
		personB.setName("lisi");
		personB.setIsShave(true);
		
		/**
		 * 一位理发师
		 */
		Barber barber = new Barber();
		barber.setName("barber");
		barber.setIsShave(false);
		
		/**
		 * 理发过程
		 */
		barber.shave(personA);
		barber.shave(personB);
		barber.shave(barber);
	}
}

 

  从程序的角度看，理发师为自己刮脸合理的，我们不应该说理发师如果给自己刮脸，自己就成为了给自己刮脸这类人，而与自己只给不给自己刮脸的人刮脸的理发原则，每个人都有给自己刮脸的权利，有的人不刮脸，有的人会自己刮脸，不刮脸的人会找理发师刮脸，这里我们可以理解为有两个对象，一个是客户，一个是理发师，理发师有给自己定下的原则，而在理发师给自己刮脸的过程中其实是他一个人担任了两种角色，即使客户也是理发师，从程序中可以看出，其实在执行的过程中并不会发生矛盾。