Plunge into the world of paradoxes and puzzles with a "strange loop," a self-contradictory problem from which there is no escape. Two examples: the liar's paradox and the barber's paradox. Then "prove" that 1+1=1, and visit the Island of Knights and Knaves, where only the logically minded survive!
