Lance Fortnow, The Golden Ticket: P, NP, and the Search for the Impossible

computer-science science-fiction

Suppose whatever we can recognize we can find. We can if P=NP.