Nautilus

How to Solve the World’s Hardest Logic Puzzle

While a doctoral student at Princeton University in 1957, studying under a founder of theoretical computer science, Raymond Smullyan would occasionally visit New York City. On one of these visits, he met a “very charming lady musician” and, on their first date, Smullyan, an incorrigible flirt, proceeded very logically—and sneakily.

“Would you please do me a favor?” he asked her. “I am to make a statement. If the statement is true, would you give me your autograph?”

Content to play along, she replied, “I don’t see why not.”

“If the statement is false,” he went

You’re reading a preview, subscribe to read more.

More from Nautilus

Nautilus7 min read
The Part-Time Climate Scientist
On a Wednesday in February 1938, Guy Stewart Callendar—a rangy, soft-spoken steam engineer, who had turned 40 just the week before—stood before a group of leading scientists, members of the United Kingdom’s Royal Meteorological Society. He had a bold
Nautilus8 min read
A Revolution in Time
In the fall of 2020, I installed a municipal clock in Anchorage, Alaska. Although my clock was digital, it soon deviated from other timekeeping devices. Within a matter of days, the clock was hours ahead of the smartphones in people’s pockets. People
Nautilus9 min read
The Marine Biologist Who Dove Right In
It’s 1969, in the middle of the Gulf of California. Above is a blazing hot sky; below, the blue sea stretches for miles in all directions, interrupted only by the presence of an oceanographic research ship. Aboard it a man walks to the railing, studi

Related