When Einstein Walked with Gödel: Excursions to the Edge of Thought

by Jim Holt

Some maps need four colors: that much is patent. What the four-color conjecture asserts is that there is no possible map that needs more than four colors. What would it mean to “resolve” this conjecture?