How do you solve this riddle?
Since the lieteller can only tell lies, he will identify the truth as a lie, which we know to be false; a value cannot be itself and its negative at the same time outside of advanced quantum physics. Therefore, now that we know who to trust, we know who to ask for directions.
Here is the mathematical proof:
Let truth = x
x =/= -x by its Fundamental Trait (x cannot equal negative x)
Let Truthteller = y
Let Lieteller = z
Y can only tell things which = x, while z can only tell things which = -x
We ask what does x equal? Recall that by its Fundamental Trait, x =/= -x
Since y can only say things which = x, he will therefore identify x as equalling x. Conversely, z can only say things which = -x, thereby identifying x = -x.
We know that x =/= -x, so we now know that y is the truthteller. Before now, we weren't aware exactly who was y, but we are able to discover it through this.
QED
I propose the solution is simple: ask them to define the truth.You are leaving your home village for the first time to visit an old friend in the next town. You're walking down the path when you come to a fork in the road. Standing at the fork are two men. You ask them directions on which way to go.
The left man says, "You can only ask one of us for directions. One of us is tells naught but lies."
The right man says, "The other tells naught but truth. You may ask one of us directions, but you must first decide who to trust. To decide this, you can only ask ONE question."
You stand there at the crossroads, confused. What question do you ask?
Since the lieteller can only tell lies, he will identify the truth as a lie, which we know to be false; a value cannot be itself and its negative at the same time outside of advanced quantum physics. Therefore, now that we know who to trust, we know who to ask for directions.
Here is the mathematical proof:
Let truth = x
x =/= -x by its Fundamental Trait (x cannot equal negative x)
Let Truthteller = y
Let Lieteller = z
Y can only tell things which = x, while z can only tell things which = -x
We ask what does x equal? Recall that by its Fundamental Trait, x =/= -x
Since y can only say things which = x, he will therefore identify x as equalling x. Conversely, z can only say things which = -x, thereby identifying x = -x.
We know that x =/= -x, so we now know that y is the truthteller. Before now, we weren't aware exactly who was y, but we are able to discover it through this.
QED