An Ethiopian philosopher worked out Hume and Locke's biggest conclusions—a century earlier—while hiding in a cave.