What I want clarifying is the proof of why you can never create a machine to work out such a problem.

http://www.youtube.com/watch?feature=player_detailpage&v=fsE1bFWXlJQ#t=185s
I dont understand why it would result in the program to lie. I get the concept “The barber shaves everyone who doesn;t shave themselves” but I dont understand why they are trying to explain here is the same thing.